[Bug ada/34496] [4.2/4.3 Regression] prefixed notation allows changing the value of a constant

[ludovic at ludovic-brenta dot org]

------- Comment #3 from ludovic at ludovic-brenta dot org  2008-03-20 01:01 
-------
Still present in 4.3.0:

$ gnatmake -gnat05 test1
gcc-4.3 -c -gnat05 test1.adb
gnatbind -x test1.ali
gnatlink test1.ali

$ ./test1
 3

raised STORAGE_ERROR : stack overflow (or erroneous memory access)

I am not concerned about the stack overflow because the program is illegal
anyway.


-- 

ludovic at ludovic-brenta dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |UNCONFIRMED
      Known to fail|                            |4.2.2 4.3.0
            Summary|[4.2 Regression] prefixed   |[4.2/4.3 Regression]
                   |notation allows changing the|prefixed notation allows
                   |value of a constant         |changing the value of a
                   |                            |constant


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34496