[Bug ada/19414] New: ACATS cxb4003 - valgrind detects wrong code (invalid read)

[baldrick at free dot fr]

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