On 05/04/17 20:46 +0000, 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.
This says that an object behaves like a type, which is a category error. Don't you mean that a type declared with this attribute behaves like a character type w.r.t aliasing semantics? Or an object of a type with this attribute behaves like an object of character type w.r.t aliasing semantics.
