This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/25245] Discriminant is left uninitialized
- From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 05 Dec 2015 11:16:52 +0000
- Subject: [Bug ada/25245] Discriminant is left uninitialized
- Auto-submitted: auto-generated
- References: <bug-25245-4 at http dot gcc dot gnu dot org/bugzilla/>
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