https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38332
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
CC| |ebotcazou at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |4.8.0
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
gcc -c test1.adb
test1.adb:12:24: warning: incorrect value for discriminant "K"
test1.adb:12:24: warning: "Constraint_Error" will be raised at run time
