------- 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
