On April 5, 2017 4:50:32 PM GMT+02:00, Florian Weimer <fwei...@redhat.com>
wrote:
>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.
I don't like the name. I'd name it 'typeless_storage' and document that when
storage is accessed with a type with this attribute it it behaves like a
character type with respect to semantics.
Richard.
>
>Thanks,
>Florian
