Re: [PATCH] Add a new type attribute always_alias (PR79671)

[Florian Weimer]

On 04/05/2017 11:46 AM, Bernd Edlinger wrote:
+@item always_alias
+@cindex @code{always_alias} type attribute
+Same as @code{may_alias}, but additionally applies to instances of
+types with this attribute.

As a GCC user, I have to say that this doesn't really explain what the 
attribute does.  The C standard does not define what an “instance” of a 
type is.

Thanks,
Florian