This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/18727] ACATS c43214c fails at runtime
- From: "baldrick at free dot fr" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 12 Jan 2005 22:43:27 -0000
- Subject: [Bug ada/18727] ACATS c43214c fails at runtime
- References: <20041129203909.18727.laurent@guerby.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From baldrick at free dot fr 2005-01-12 22:43 -------
valgrind detects wrong code:
RUN c43214c
==21414== Memcheck, a memory error detector for x86-linux.
==21414== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al.
==21414== Using valgrind-2.3.0.CVS, a program supervision framework for
x86-linux.
==21414== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.
==21414== For more details, rerun with: -v
==21414==
,.,. C43214C ACATS 2.5 05-01-11 16:34:43
---- C43214C CONSTRAINED ARRAY FORMAL GENERIC PARAMETER.
==21414== Conditional jump or move depends on uninitialised value(s)
==21414== at 0x805B4E3: _ada_c43214c (c43214c.adb:53)
==21414== by 0x8049DFC: main (b~c43214c.adb:149)
==21414==
==21414== Conditional jump or move depends on uninitialised value(s)
==21414== at 0x805B4E5: _ada_c43214c (c43214c.adb:53)
==21414== by 0x8049DFC: main (b~c43214c.adb:149)
* C43214C ARRAY DOES NOT CONTAIN THE CORRECT VALUES.
**** C43214C FAILED ****************************.
==21414==
==21414== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 13 from 1)
==21414== malloc/free: in use at exit: 10280 bytes in 2 blocks.
==21414== malloc/free: 11 allocs, 9 frees, 11762 bytes allocated.
==21414== For a detailed leak analysis, rerun with: --leak-check=yes
==21414== For counts of detected errors, rerun with: -v
FAIL: c43214c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18727