RUN c64106a
==4601== Memcheck, a memory error detector for x86-linux.
==4601== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al.
==4601== Using valgrind-2.3.0.CVS, a program supervision framework for
x86-linux.
==4601== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.
==4601== For more details, rerun with: -v
==4601==
,.,. C64106A ACATS 2.5 05-01-11 16:41:51
---- C64106A CHECK USE OF ACTUAL CONSTRAINTS BY UNCONSTRAINED FORMAL
PARAMETERS.
==4601== Source and destination overlap in memcpy(0x52BFC6EC, 0x52BFC6EC, 28)
==4601== at 0x1B906AC5: memcpy (mac_replace_strmem.c:113)
==4601== by 0x805B772: _ada_c64106a (c64106a.adb:88)
==4601== by 0x8049DFC: main (b~c64106a.adb:149)
==4601==
==4601== Source and destination overlap in memcpy(0x52BFC664, 0x52BFC664, 28)
==4601== at 0x1B906AC5: memcpy (mac_replace_strmem.c:113)
==4601== by 0x805BB4C: _ada_c64106a (c64106a.adb:235)
==4601== by 0x8049DFC: main (b~c64106a.adb:149)
==== C64106A PASSED ============================.
==4601==
==4601== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 13 from 1)
==4601== malloc/free: in use at exit: 10280 bytes in 2 blocks.
==4601== malloc/free: 12 allocs, 10 frees, 11810 bytes allocated.
==4601== For a detailed leak analysis, rerun with: --leak-check=yes
==4601== For counts of detected errors, rerun with: -v
PASS: c64106a
--
Summary: ACATS c64106a - valgrind detects wrong code (overlapping
memcpy)
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=19410
