From mboxrd@z Thu Jan 1 00:00:00 1970 From: patl@cag.lcs.mit.edu (Patrick J. LoPresti) To: gcc@gcc.cygnus.com Cc: rms@gnu.org, jamie.lokier@cern.ch Subject: Re: [dax@gurulabs.com: PATCH: `__norestrict' type qualifier (fwd)] Date: Thu, 30 Sep 1999 18:02:00 -0000 Message-ID: References: <199909120800.EAA04240@psilocin.gnu.org> <19990912212818.C26524@pcep-jamie.cern.ch> X-SW-Source: 1999-09n/msg00539.html Message-ID: <19990930180200.8Txdb2cUnGARjmv7q3UDPbbsmdMjpWxXvlMZ0GDhyms@z> As author of that patch, here is my $0.02. First, as Richard Henderson pointed out when we discussed this before, `__typealias' is a better name than `__norestrict'. An informal description of the behavior meshes nicely with Mark Mitchell's informal description of the alias analysis rules; namely, that this type qualifier allows access to the same memory through different types of pointer. Jamie's precise specification, which amounts to saying that `__typealias' is shorthand for "the union hack", should also be given in the documentation and used to resolve any arguments about the behavior of the extension. Jamie's spec could also be used to propose this type qualifier to the standards bodies. I am willing to do whatever work the GCC maintainers want to make my patch acceptable to them, assuming they are amenable to the idea at all. Are they? - Pat