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
