Re: [PATCH 1/2] compiler_attributes.h: define __no_profile, add to noinstr
From: Miguel Ojeda
Date: Sat Jun 19 2021 - 07:32:30 EST
On Sat, Jun 19, 2021 at 1:26 PM Miguel Ojeda
<miguel.ojeda.sandonis@xxxxxxxxx> wrote:
>
> I am not sure if it is best or not to have the GCC link in order to be
> consistent with the rest of the links (they are for the docs only). Do
> we know if GCC going to implement it soon?
i.e. if GCC does not implement it yet we use elsewhere this kind of
marker instead:
* Optional: not supported by gcc
The first of its kind, normally it is clang/icc there ;-)
We could nevertheless have the link there, something like:
* Optional: not supported by GCC
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80223
Cheers,
Miguel