This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH: `__norestrict' type qualifier
>>>>> "amylaar" == Joern Rennecke <amylaar@cygnus.co.uk> writes:
amylaar> Could we drop this __nonrestrict / __typealias thing and
amylaar> instead just say that gcc will implement pointer to unions
amylaar> so that they just work as desired?
GCC already implements union pointers this way.
The whole point of __typealias (a.k.a. "the type qualifier formerly
known as __norestrict") is to provide syntax for type-punning which is
(primarily) more convenient to use and (secondarily) guaranteed to
raise an error on other compilers.
There was some notion that this keyword might be proposed as an
extension to the standard, but it looks like it will be hard enough to
precisely define it semantics just for GCC, never mind the general
case...
- Pat