[Bug ada/25245] Discriminant is left uninitialized

[ebotcazou at gcc dot gnu.org]

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