[Bug ada/18727] ACATS c43214c fails at runtime

[baldrick at free dot fr]

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