https://gcc.gnu.org/bugzilla/show_bug.cgi?id=16212
Alexandre Oliva <aoliva at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |aoliva at gcc dot gnu.org
Resolution|--- |FIXED
--- Comment #6 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
This is fixed in the trunk. It says:
$ ./xgcc -B./ -Iada/rts/ -c -O1
/l/tmp/build/gcc/trunk/obj-x86_64-linux-gnu/gcc/test_251265.adb
test_251265.adb:5:12: choice given in case statement is not static
test_251265.adb:5:25: warning: value not in range of type "Standard.Integer"
test_251265.adb:5:25: warning: "Constraint_Error" will be raised at run time
test_251265.adb:5:25: expression raises exception, cannot be static (RM
4.9(34))
$ ./xgcc --version
xgcc (GCC) 5.0.0 20150102 (experimental) [trunk revision
ae61c50:a5fe274:4df12aa29efd9950b5bcbe15c207e61e11c16435]
