------- Comment #3 from baldrick at gcc dot gnu dot org 2007-05-09 14:42 ------- > The code is as intended here, and GCC notion of aliasing is not sufficient > to fullfill Ada needs in this case.
Are you sure? gcc got more sophisticated wrt aliasing in the gcc 4 series. What exactly does Ada need that gcc cannot provide? > Just to clarify a little: it's a (questionable) implementation choice, the > GCC 4 aliasing machinery would now make it possible to get rid of the "hack". That was my impression too, but perhaps Arnaud has a tricky example for which it doesn't suffice. Volatile really pessimizes code - so better to get rid of it if possible. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31877
