RUN c460010
==29485== Memcheck, a memory error detector for x86-linux.
==29485== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al.
==29485== Using valgrind-2.3.0.CVS, a program supervision framework for
x86-linux.
==29485== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.
==29485== For more details, rerun with: -v
==29485==
,.,. C460010 ACATS 2.5 05-01-11 16:37:49
---- C460010 Check that Constraint_Error is not raised if an array
aggregate without an others choice is assigned to an
object of a constrained array subtype, and the length of
each dimension of the aggregate equals the length of the
corresponding dimension of the target object.
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805B7A7: c460010__equals.433 (c460010_2.adb:5)
==29485== by 0x805BBB8: _ada_c460010 (c460010.adb:37)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Use of uninitialised value of size 4
==29485== at 0x805B7A7: c460010__equals.433 (c460010_2.adb:5)
==29485== by 0x805BBB8: _ada_c460010 (c460010.adb:37)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805BBBB: _ada_c460010 (c460010.adb:37)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805B8D0: c460010__equals.609 (c460010_2.adb:5)
==29485== by 0x805BEBB: _ada_c460010 (c460010.adb:126)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Use of uninitialised value of size 4
==29485== at 0x805B8D0: c460010__equals.609 (c460010_2.adb:5)
==29485== by 0x805BEBB: _ada_c460010 (c460010.adb:126)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805B8DC: c460010__equals.609 (c460010_2.adb:5)
==29485== by 0x805BEBB: _ada_c460010 (c460010.adb:126)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805B907: c460010__equals.721 (c460010_2.adb:5)
==29485== by 0x805C19C: _ada_c460010 (c460010.adb:169)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805C19F: _ada_c460010 (c460010.adb:169)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805B95A: c460010__equals.794 (c460010_2.adb:5)
==29485== by 0x805C56E: _ada_c460010 (c460010.adb:212)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==29485==
==29485== Conditional jump or move depends on uninitialised value(s)
==29485== at 0x805B966: c460010__equals.794 (c460010_2.adb:5)
==29485== by 0x805C56E: _ada_c460010 (c460010.adb:212)
==29485== by 0x8049E1B: main (b~c460010.adb:157)
==== C460010 PASSED ============================.
==29485==
==29485== ERROR SUMMARY: 22 errors from 10 contexts (suppressed: 13 from 1)
==29485== malloc/free: in use at exit: 10280 bytes in 2 blocks.
==29485== malloc/free: 11 allocs, 9 frees, 11762 bytes allocated.
==29485== For a detailed leak analysis, rerun with: --leak-check=yes
==29485== For counts of detected errors, rerun with: -v
PASS: c460010
--
Summary: ACATS c460010 - valgrind detects wrong code
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=19409
