Re: [PATCH 1/2] compiler_attributes.h: define __no_profile, add to noinstr

Miguel Ojeda
2021-06-19T11:32:27Z

On Sat, Jun 19, 2021 at 1:26 PM Miguel Ojeda
<miguel.ojeda.sandonis@gmail.com> 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