------- Comment #2 from sam at gcc dot gnu dot org 2007-11-28 21:26 -------
Given that you provide no address for V1 and V2 and given that they are local
variables, there is no way they could be modified from outside (since you have
no way to know where the compiler would place them if it indeed placed them
somewhere, for example on the stack). Since you cannot distinguish any
difference between the code actually generated and the one you expect, I think
GNAT is right here.
If you think otherwise, please reopen this bug or comment on it.
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sam at gcc dot gnu dot org
Status|NEW |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15851
