This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] handle expressions in __builtin_has_attribute (PR 88383)
On Thu, Dec 13, 2018 at 09:03:57PM -0700, Martin Sebor wrote:
> It's as good as the design of GCC attributes allows. Based on
No.
> the manual a function declaration like
>
> __attribute__ ((alloc_size (1), malloc))
> void* allocate (unsigned);
>
> should have those two attributes applied to it. Yet, alloc_size
> is actually applied to its type (but not to its decl) while malloc
> to the function's decl but not its type (bug 88397).
>
> I'm pretty sure most users still expect the following to pass:
>
> _Static_assert (__builtin_has_attribute (allocate, alloc_size));
> _Static_assert (__builtin_has_attribute (allocate, malloc));
Users shouldn't expect this. If anything, we should document what
attributes are type attributes and which attributes are declaration
attributes.
With the way you're proposing, users could check the type attributes
simply through __typeof/decltype etc., but couldn't test solely the
declaration attributes.
Jakub