> > On Nov 28, 2005, at 3:13 AM, Robert Dewar wrote: > >> Possibly, but I think the more interesting observation is listed in > >> parenthesis: Can a volatile access ever alias a non-volatile access? > > > > I think the answer is no, Certainly Ada has compile time rules > > carefully written to make this impossible. > > gcc is not just an Ada compiler. Clearly, the answer has to be yes > to support GNU C.
While it is true that GCC is not just an Ada compiler but I think we should follow a sane set of rules for GNU C which might mean following Ada's rules for this case. What is GNU C if it is not well documented? -- Pinski
