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

[Bernd Edlinger <bernd.edlinger@hotmail.de>]

On 04/05/17 17:23, Richard Biener wrote:
> On April 5, 2017 4:50:32 PM GMT+02:00, Florian Weimer <fweimer@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.
>

you mean you like to name it __attribute__((typeless_storage)) ?

I wanted to say it behaves mostly like __attribute__((may_alias))
except that may_alias only has an effect on pointers and references
but not when accessing an object directly, (I hope you know what
I mean).


Bernd.


> Richard.
>
>>
>> Thanks,
>> Florian
>