[Bug middle-end/56188] New: [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[Bug middle-end/56188] New: [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[schwab@linux-m68k.org]

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

             Bug #: 56188
           Summary: [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c
                    scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL
                    )?}"
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: schwab@linux-m68k.org
            Target: powerpc-*-*


Only fails with -m32.

Executing on host: /daten/gcc/gcc-20130202/Build/gcc/xgcc
-B/daten/gcc/gcc-20130202/Build/gcc/
/daten/gcc/gcc-20130202/gcc/testsuite/gcc.dg/ipa/ipa-pta-10.c 
-fno-diagnostics-show-caret   -O2 -fipa-pta -fdump-ipa-pta-details  -lm   -m32
-o ./ipa-pta-10.exe    (timeout = 300)
spawn /daten/gcc/gcc-20130202/Build/gcc/xgcc
-B/daten/gcc/gcc-20130202/Build/gcc/
/daten/gcc/gcc-20130202/gcc/testsuite/gcc.dg/ipa/ipa-pta-10.c
-fno-diagnostics-show-caret -O2 -fipa-pta -fdump-ipa-pta-details -lm -m32 -o
./ipa-pta-10.exe
PASS: gcc.dg/ipa/ipa-pta-10.c (test for excess errors)
Setting LD_LIBRARY_PATH to
:/daten/gcc/gcc-20130202/Build/gcc:/daten/gcc/gcc-20130202/Build/gcc/64:/daten/gcc/gcc-20130202/Build/powerpc64-linux/./libsanitizer/asan/.libs::/daten/gcc/gcc-20130202/Build/gcc:/daten/gcc/gcc-20130202/Build/gcc/64:/daten/gcc/gcc-20130202/Build/powerpc64-linux/./libsanitizer/asan/.libs:/daten/gcc/gcc-20130202/Build/powerpc64-linux/libstdc++-v3/src/.libs:/daten/gcc/gcc-20130202/Build/powerpc64-linux/libmudflap/.libs:/daten/gcc/gcc-20130202/Build/powerpc64-linux/libsanitizer/.libs:/daten/gcc/gcc-20130202/Build/powerpc64-linux/libssp/.libs:/daten/gcc/gcc-20130202/Build/powerpc64-linux/libgomp/.libs:/daten/gcc/gcc-20130202/Build/powerpc64-linux/libitm/.libs:/daten/gcc/gcc-20130202/Build/powerpc64-linux/libatomic/.libs:/daten/gcc/gcc-20130202/Build/./gcc:/daten/gcc/gcc-20130202/Build/./prev-gcc
spawn [open ...]
PASS: gcc.dg/ipa/ipa-pta-10.c execution test
FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED
)?(NONLOCAL )?}"

$ grep ^ESCAPED ipa-pta-10.c.053i.pta
ESCAPED = *ESCAPED
ESCAPED = ESCAPED + UNKNOWN
ESCAPED = { NULL ESCAPED NONLOCAL foo.varargs i }

[Bug middle-end/56188] [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[schwab@linux-m68k.org]

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

--- Comment #1 from Andreas Schwab <schwab@linux-m68k.org> 2013-02-03 11:52:12 UTC ---
Created attachment 29341
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29341
ipa-pta-10.c.053i.pta

[Bug middle-end/56188] [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-02-04
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.8.0
     Ever Confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-04 09:49:15 UTC ---
Mine.  Any know revision this worked properly?

[Bug middle-end/56188] [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[schwab@linux-m68k.org]

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

--- Comment #3 from Andreas Schwab <schwab@linux-m68k.org> 2013-02-04 09:56:27 UTC ---
Last successful run was
<http://gcc.gnu.org/ml/gcc-testresults/2013-01/msg01378.html>.

[Bug middle-end/56188] [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-04 11:58:50 UTC ---
ok, the difference is that in the working case we have

Equivalence classes for Direct node node id 28:_10 are pointer: 11, location:0
Equivalence classes for Direct node node id 34:derefaddrtmp are pointer: 18,
location:0

while in the non-working case

Equivalence classes for Direct node node id 28:_10 are pointer: 18, location:0
Equivalence classes for Direct node node id 34:derefaddrtmp are pointer: 18,
location:0

Bisecting points to rev. 195646.  I have a fix.

[Bug middle-end/56188] [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-04 13:31:35 UTC ---
Author: rguenth
Date: Mon Feb  4 13:31:28 2013
New Revision: 195713

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195713
Log:
2013-02-04  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/56188
    * tree-ssa-structalias.c (label_visit): Consider case with
    initially non-empty points-to set.
    (perform_var_substitution): Dump node mapping and clean up.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-structalias.c

[Bug middle-end/56188] [4.8 regression] FAIL: gcc.dg/ipa/ipa-pta-10.c scan-ipa-dump pta "ESCAPED = { (ESCAPED )?(NONLOCAL )?}"

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-04 13:32:11 UTC ---
Fixed.