[Bug middle-end/50079] New: [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[Bug middle-end/50079] New: [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[danglin at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

             Bug #: 50079
           Summary: [4.7 Regression] FAIL: g++.dg/init/copy7.C execution
                    test
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: danglin@gcc.gnu.org
              Host: hppa2.0w-hp-hpux11.11
            Target: hppa2.0w-hp-hpux11.11
             Build: hppa2.0w-hp-hpux11.11


Executing on host: /test/gnu/gcc/objdir/gcc/testsuite/g++/../../g++
-B/test/gnu/gcc/objdir/gcc/testsuite/g++/../../
/test/gnu/gcc/gcc/gcc/testsuite/g++.dg/init/copy7.C  -nostdinc++
-I/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++-v3/include/hppa2.0w-hp-hpux11.11
-I/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/libstdc++-v3/include
-I/test/gnu/gcc/gcc/libstdc++-v3/libsupc++
-I/test/gnu/gcc/gcc/libstdc++-v3/include/backward
-I/test/gnu/gcc/gcc/libstdc++-v3/testsuite/util -fmessage-length=0   -ansi
-pedantic-errors -Wno-long-long   
-L/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/./libstdc++-v3/src/.libs 
-B/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/./libstdc++-v3/src/.libs 
-L/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/./libstdc++-v3/src/.libs  -lm   -o
./copy7.exe    (timeout = 300)
PASS: g++.dg/init/copy7.C (test for excess errors)
Setting LD_LIBRARY_PATH to
.:/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/./libstdc++-v3/src/.libs:/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/./libstdc++-v3/src/.libs:/test/gnu/gcc/objdir/gcc:.:/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/./libstdc++-v3/src/.libs:/test/gnu/gcc/objdir/hppa2.0w-hp-hpux11.11/./libstdc++-v3/src/.libs:/test/gnu/gcc/objdir/gcc
FAIL: g++.dg/init/copy7.C execution test

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[danglin at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

--- Comment #1 from John David Anglin <danglin at gcc dot gnu.org> 2011-08-14 19:16:06 UTC ---
Breakpoint 1, memcpy (dest=0x40001ab0, src=0x40001ab0, n=81) at
/test/gnu/gcc/gcc/gcc/testsuite/g++.dg/init/copy7.C:9
9      if (dest == src)
(gdb) p/x $r26
$1 = 0x40001ab0
(gdb) p/x $r25
$2 = 0x40001ab0
(gdb) bt
#0  memcpy (dest=0x40001ab0, src=0x40001ab0, n=81) at
/test/gnu/gcc/gcc/gcc/testsuite/g++.dg/init/copy7.C:9
#1  0x000031ac in f (a1=0x40001ab0, a2=0x40001ab0) at
/test/gnu/gcc/gcc/gcc/testsuite/g++.dg/init/copy7.C:33
#2  0x0000320c in main () at
/test/gnu/gcc/gcc/gcc/testsuite/g++.dg/init/copy7.C:38

Maybe this is c++ bug.

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|hppa2.0w-hp-hpux11.11       |hppa2.0w-hp-hpux11.11
                   |                            |powerpc-apple-darwin9
                   |                            |arm-unknown-eabi
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-08-14
                 CC|                            |rguenther at suse dot de
               Host|hppa2.0w-hp-hpux11.11       |hppa2.0w-hp-hpux11.11
                   |                            |powerpc-apple-darwin9
                   |                            |arm-unknown-eabi
     Ever Confirmed|0                           |1
              Build|hppa2.0w-hp-hpux11.11       |hppa2.0w-hp-hpux11.11
                   |                            |powerpc-apple-darwin9
                   |                            |arm-unknown-eabi

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2011-08-14 20:50:59 UTC ---
I also see the failure on powerpc-apple-darwin9 at revision 177733, see also
http://gcc.gnu.org/ml/gcc-patches/2011-08/msg01103.html for arm-unknown-eabi
(likely revision 177625).

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING
   Target Milestone|---                         |4.7.0
      Known to fail|                            |3.4.0

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-08-15 10:40:58 UTC ---
As I said, please re-check after

2011-08-12  Richard Guenther  <rguenther@suse.de>

        * call.c (build_over_call): Instead of memcpy use an
        assignment of two MEM_REFs.

Please also verify if the C testcase

extern void abort();
extern void *
memcpy(void *dest, void *src, __SIZE_TYPE__ n)
{
  if (dest == src)
    abort();
  else
    {
      __SIZE_TYPE__ i;
      for (i = 0; i < n; i++)
        ((char *)dest)[i] = ((const char*)src)[i];
    }
}

struct A
{
  double d[10];
};

struct B
{
  struct A a;
  char bc;
};

struct B b;

void f(struct B *a1, struct B* a2)
{
  *a1 = *a2;
}

int main()
{
  f(&b,&b);
}

fails the same way (it would then even before the patch exposing the C++
testsuite failure).

I believe the testcase is broken, in that GCCs behavior of using memcpy
for block-moves dates back to date 1.

C testcase that also abort()s on x86_64 since at least 3.4.0:

extern void abort();
extern void *
memcpy(void *dest, void *src, __SIZE_TYPE__ n)
{
  if (dest == src)
    abort();
  else
    {
      __SIZE_TYPE__ i;
      for (i = 0; i < n; i++)
        ((char *)dest)[i] = ((const char*)src)[i];
    }
}

struct A
{
  double d[1024];
};

struct B
{
  struct A a;
  char bc;
} __attribute__((packed));

struct B b;

void f(struct B *a1, struct B* a2)
{
  *a1 = *a2;
}

int main()
{
  f(&b,&b);
}

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2011-08-15 10:57:58 UTC ---
> As I said, please re-check after [revision 177691]

See comment #2: "I also see the failure on powerpc-apple-darwin9 at revision
177733".

The test in comment #3 aborts:

[karma] f90/bug% gcc47 pr50079.c -v
Using built-in specs.
COLLECT_GCC=gcc47
COLLECT_LTO_WRAPPER=/opt/gcc/gcc4.7w/libexec/gcc/powerpc-apple-darwin9/4.7.0/lto-wrapper
Target: powerpc-apple-darwin9
Configured with: ../work/configure --prefix=/opt/gcc/gcc4.7w
--target=powerpc-apple-darwin9 --host=powerpc-apple-darwin9
--build=powerpc-apple-darwin9
--enable-languages=c,c++,fortran,objc,obj-c++,java,lto --with-gmp=/sw
--with-libiconv-prefix=/usr --with-system-zlib --with-cloog=/sw --enable-lto
--enable-cloog-backend=isl
Thread model: posix
gcc version 4.7.0 20110814 (experimental) [trunk revision 177751p2] (GCC) 
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.5.8' '-v'
 /opt/gcc/gcc4.7w/libexec/gcc/powerpc-apple-darwin9/4.7.0/cc1 -quiet -v
-D__DYNAMIC__ pr50079.c -fPIC -quiet -dumpbase pr50079.c
-mmacosx-version-min=10.5.8 -auxbase pr50079 -version -o /var/tmp//ccAS3xYZ.s
GNU C (GCC) version 4.7.0 20110814 (experimental) [trunk revision 177751p2]
(powerpc-apple-darwin9)
    compiled by GNU C version 4.7.0 20110814 (experimental) [trunk revision
177751p2], GMP version 5.0.2, MPFR version 3.0.1, MPC version 0.9
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
ignoring nonexistent directory
"/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/../../../../powerpc-apple-darwin9/include"
#include "..." search starts here:
#include <...> search starts here:
 /opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/include
 /usr/local/include
 /opt/gcc/gcc4.7w/include
 /opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/include-fixed
 /usr/include
 /System/Library/Frameworks
 /Library/Frameworks
End of search list.
GNU C (GCC) version 4.7.0 20110814 (experimental) [trunk revision 177751p2]
(powerpc-apple-darwin9)
    compiled by GNU C version 4.7.0 20110814 (experimental) [trunk revision
177751p2], GMP version 5.0.2, MPFR version 3.0.1, MPC version 0.9
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 30fbe59d4242d377410c2604eba961d5
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.5.8' '-v'
 as -arch ppc -o /var/tmp//cc3dz18R.o /var/tmp//ccAS3xYZ.s
COMPILER_PATH=/opt/gcc/gcc4.7w/libexec/gcc/powerpc-apple-darwin9/4.7.0/:/opt/gcc/gcc4.7w/libexec/gcc/powerpc-apple-darwin9/4.7.0/:/opt/gcc/gcc4.7w/libexec/gcc/powerpc-apple-darwin9/:/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/:/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/
LIBRARY_PATH=/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/:/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/../../../:/usr/lib/
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.5.8' '-v'
 /opt/gcc/gcc4.7w/libexec/gcc/powerpc-apple-darwin9/4.7.0/collect2 -dynamic
-arch ppc -macosx_version_min 10.5.8 -weak_reference_mismatches non-weak -o
a.out -lcrt1.10.5.o -L/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0
-L/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/../../..
/var/tmp//cc3dz18R.o -lgcc_s.10.5 -lgcc_ext.10.5 -lgcc -lSystemStubs -lSystem
-v
collect2 version 4.7.0 20110814 (experimental) [trunk revision 177751p2]
/usr/bin/ld -dynamic -arch ppc -macosx_version_min 10.5.8
-weak_reference_mismatches non-weak -o a.out -lcrt1.10.5.o
-L/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0
-L/opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0/../../..
/var/tmp//cc3dz18R.o -lgcc_s.10.5 -lgcc_ext.10.5 -lgcc -lSystemStubs -lSystem
-v
@(#)PROGRAM:ld  PROJECT:ld64-85.2.1
Library search paths:
    /opt/gcc/gcc4.7w/lib/gcc/powerpc-apple-darwin9/4.7.0
    /opt/gcc/gcc4.7w/lib
    /usr/lib
    /usr/local/lib
Framework search paths:
    /Library/Frameworks/
    /System/Library/Frameworks/
[karma] f90/bug% a.out 
Abort

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |ASSIGNED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2011-08/msg01252.htm
                   |                            |l
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-08-15 12:43:50 UTC ---
Patch posted.

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-28 10:52:51 UTC ---
Btw, for the truly anal folks with a memcpy implementation that breaks with
src == dest we can add a target hook that specifies to use memmove for
block move expansion instead of memcpy (or guard the latter with a
if (src != dest) on those targets).  Stupid targets/implementations should
not pay the penalty of a test-and-branch.

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org

--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-10-28 11:07:10 UTC ---
This fails on SPARC too.

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

--- Comment #8 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-11-03 15:17:08 UTC ---
Author: rguenth
Date: Thu Nov  3 15:16:57 2011
New Revision: 180829

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180829
Log:
2011-11-03  Richard Guenther  <rguenther@suse.de>

    PR middle-end/50079
    * g++.dg/init/copy7.C: Remove testcase.

Removed:
    trunk/gcc/testsuite/g++.dg/init/copy7.C
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/50079] [4.7 Regression] FAIL: g++.dg/init/copy7.C execution test

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50079

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #9 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-11-03 15:17:20 UTC ---
Fixed.