[Bug ada/15851] pragma Volatile not respected for variables with default value

[sam at gcc dot gnu dot org]

------- 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