RUN c761010
==10616== Memcheck, a memory error detector for x86-linux.
==10616== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al.
==10616== Using valgrind-2.3.0.CVS, a program supervision framework for
x86-linux.
==10616== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.
==10616== For more details, rerun with: -v
==10616==
,.,. C761010_1 ACATS 2.5 05-01-11 16:44:04
---- C761010_1 Check that Adjust is not called when aggregates are used
to initialize objects.
- C761010_1 Finalize called - case O.
- C761010_1 Finalize called - case N.
- C761010_1 Finalize called - case R.
- C761010_1 Finalize called - case Q.
==10616== Conditional jump or move depends on uninitialised value(s)
==10616== at 0x805C01A: c761010_1__var_strings__Oeq
(c761010_1-var_strings.adb:31)
==10616== by 0x805C1CD: c761010_1__var_strings__check_equal
(c761010_1-var_strings.adb:56)
==10616== by 0x805D414: c761010_1__var_strings__types___elabb
(c761010_1-var_strings-types.adb:94)
==10616== by 0x8049DDF: adainit (b~c761010.adb:126)
==10616==
==10616== Conditional jump or move depends on uninitialised value(s)
==10616== at 0x805C01C: c761010_1__var_strings__Oeq
(c761010_1-var_strings.adb:31)
==10616== by 0x805C1CD: c761010_1__var_strings__check_equal
(c761010_1-var_strings.adb:56)
==10616== by 0x805D414: c761010_1__var_strings__types___elabb
(c761010_1-var_strings-types.adb:94)
==10616== by 0x8049DDF: adainit (b~c761010.adb:126)
- C761010_1 Finalize called - case L.
- C761010_1 Finalize called - case K.
no further errors
--
Summary: ACATS c761010 - valgrind detects wrong code (Conditional
jump or move depends on uninitialised value)
Product: gcc
Version: tree-ssa
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19413
