RUN cxb4003 ==3253== Memcheck, a memory error detector for x86-linux. ==3253== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. ==3253== Using valgrind-2.3.0.CVS, a program supervision framework for x86-linux. ==3253== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. ==3253== For more details, rerun with: -v ==3253== ,.,. CXB4003 ACATS 2.5 05-01-11 17:16:32 ---- CXB4003 Check that function Valid, with various Display_Format parameters, produces correct results. ==3253== Invalid read of size 1 ==3253== at 0x80523DB: interfaces__cobol__valid_numeric (i-cobol.adb:646) ==3253== by 0x805C9BD: cxb4003__test_block__display_format__valid.418 (i-cobol.adb:1008) ==3253== by 0x805E3C1: _ada_cxb4003 (cxb4003.adb:226) ==3253== by 0x8049E08: main (b~cxb4003.adb:152) ==3253== Address 0x1BA4F678 is 0 bytes after a block of size 8 alloc'd ==3253== at 0x1B9055B4: malloc (vg_replace_malloc.c:130) ==3253== by 0x804F2ED: __gnat_malloc (s-memory.adb:92) ==3253== by 0x805D041: _ada_cxb4003 (cxb4003.adb:116) ==3253== by 0x8049E08: main (b~cxb4003.adb:152) ==3253== ==3253== Invalid read of size 1 ==3253== at 0x8052439: interfaces__cobol__valid_numeric (i-cobol.adb:650) ==3253== by 0x805C9BD: cxb4003__test_block__display_format__valid.418 (i-cobol.adb:1008) ==3253== by 0x805E514: _ada_cxb4003 (cxb4003.adb:258) ==3253== by 0x8049E08: main (b~cxb4003.adb:152) ==3253== Address 0x1BA4FD28 is 0 bytes after a block of size 8 alloc'd ==3253== at 0x1B9055B4: malloc (vg_replace_malloc.c:130) ==3253== by 0x804F2ED: __gnat_malloc (s-memory.adb:92) ==3253== by 0x805D7FB: _ada_cxb4003 (cxb4003.adb:148) ==3253== by 0x8049E08: main (b~cxb4003.adb:152) ==3253== ==3253== Invalid read of size 1 ==3253== at 0x8052471: interfaces__cobol__valid_numeric (i-cobol.adb:655) ==3253== by 0x805C9BD: cxb4003__test_block__display_format__valid.418 (i-cobol.adb:1008) ==3253== by 0x805E664: _ada_cxb4003 (cxb4003.adb:291) ==3253== by 0x8049E08: main (b~cxb4003.adb:152) ==3253== Address 0x1BA50408 is 0 bytes after a block of size 8 alloc'd ==3253== at 0x1B9055B4: malloc (vg_replace_malloc.c:130) ==3253== by 0x804F2ED: __gnat_malloc (s-memory.adb:92) ==3253== by 0x805E058: _ada_cxb4003 (cxb4003.adb:182) ==3253== by 0x8049E08: main (b~cxb4003.adb:152) ==== CXB4003 PASSED ============================. ==3253== ==3253== ERROR SUMMARY: 3 errors from 3 contexts (suppressed: 13 from 1) ==3253== malloc/free: in use at exit: 11568 bytes in 83 blocks. ==3253== malloc/free: 92 allocs, 9 frees, 13050 bytes allocated. ==3253== For a detailed leak analysis, rerun with: --leak-check=yes ==3253== For counts of detected errors, rerun with: -v PASS: cxb4003
-- Summary: ACATS cxb4003 - valgrind detects wrong code (invalid read) 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=19414