--- Comment #1 from charlet at gcc dot gnu dot org 2007-05-09 13:37 ---
The code is as intended here, and GCC notion of aliasing is not sufficient
to fullfill Ada needs in this case.
Arno
--
charlet at gcc dot gnu dot org changed:
What|Removed |Ad
--- Comment #2 from ebotcazou at gcc dot gnu dot org 2007-05-09 14:08
---
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".
--
ebotcazou at gcc dot gnu dot org changed:
--- 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
--- Comment #4 from baldrick at gcc dot gnu dot org 2007-05-10 10:11
---
I'm reopening this as an enhancement request. I agree that the
code currently produced is correct, i.e. executes as required
by the RM. However it is suboptimal and in my opinion (and
apparently in Eric's opinion
--- Comment #5 from ebotcazou at gcc dot gnu dot org 2007-11-02 07:55
---
The current interpretation is final.
--
ebotcazou at gcc dot gnu dot org changed:
What|Removed |Added
---