On 04/05/2017 09:46 PM, Bernd Edlinger wrote:
> It does the same as may_alias but additionally objects
> declared with that type have alias set 0, I just don't
> know if I have yet found the right words so that it can
> be understood. Based on the feedback I have now written:
>
> +@item typeless_storage
> +@cindex @code{typeless_storage} type attribute
> +An object declared with a type with this attribute behaves like a
> +character type with respect to aliasing semantics.
I think including an example of what becomes valid with
such types but wouldn't be valid both without any
attribute and also with may_alias would help.
Thanks,
Pedro Alves
