https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25245
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |ebotcazou at gcc dot gnu.org
Resolution|--- |FIXED
Target Milestone|--- |4.8.0
Summary|Discriminant is left |Discriminant is left
|uninitialized. |uninitialized
Known to fail| |
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
uninitialized_field.adb:85:08: warning: controlled object "Encoding_A1a" must
not be overlaid
uninitialized_field.adb:85:08: warning: Program_Error will be raised at run
time
uninitialized_field.adb:86:08: warning: controlled object "Encoding_A2a" must
not be overlaid
uninitialized_field.adb:86:08: warning: Program_Error will be raised at run
time
uninitialized_field.adb:87:08: warning: controlled object "Encoding_A1b" must
not be overlaid
uninitialized_field.adb:87:08: warning: Program_Error will be raised at run
time
uninitialized_field.adb:88:08: warning: controlled object "Encoding_A2b" must
not be overlaid
uninitialized_field.adb:88:08: warning: Program_Error will be raised at run
time
uninitialized_field.adb:89:08: warning: controlled object "Encoding_B1c" must
not be overlaid
uninitialized_field.adb:89:08: warning: Program_Error will be raised at run
time
uninitialized_field.adb:90:08: warning: controlled object "Encoding_B2c" must
not be overlaid
uninitialized_field.adb:90:08: warning: Program_Error will be raised at run
time
gnatbind -x uninitialized_field.ali
gnatlink uninitialized_field.ali
eric@polaris:~/build/gcc/native> ./uninitialized_field
raised PROGRAM_ERROR : uninitialized_field.adb:85 overlaid controlled object
