[Bug ada/18455] incorrect execution

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
            Summary|Legal rejected in gnat      |incorrect execution
                   |3.15p, RM 3.10(15);         |
                   |incorrect execution in gcc  |
                   |3.4.2                       |


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