[Bug tree-optimization/103189] New: [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[Bug tree-optimization/103189] New: [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

            Bug ID: 103189
           Summary: [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc.
                    FAIL
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ro at gcc dot gnu.org
                CC: ebotcazou at gcc dot gnu.org
  Target Milestone: ---
            Target: sparc*-sun-solaris2.11

Between 20211109 (78dd0de956cbc5a021d3c5e3eb39308c3207936e) and 20211110
(86ffc845b2d0bff59832dcf3cf6518f1358e30ac),
several tests regressed on Solaris/SPARC (32 and 64-bit):

+FAIL: g++.dg/tree-ssa/pta-delete-1.C  -std=gnu++14 execution test
+FAIL: g++.dg/tree-ssa/pta-delete-1.C  -std=gnu++17 execution test
+FAIL: g++.dg/tree-ssa/pta-delete-1.C  -std=gnu++2a execution test
+FAIL: g++.dg/tree-ssa/pta-delete-1.C  -std=gnu++98 execution test

+FAIL: gcc.dg/torture/pr45967-2.c   -O2  execution test
+FAIL: gcc.dg/torture/pr45967-2.c   -O2 -flto  execution test
+FAIL: gcc.dg/torture/pr45967-2.c   -O2 -flto -flto-partition=none  execution
test
+FAIL: gcc.dg/torture/pr45967-2.c   -Os  execution test
+FAIL: gcc.dg/torture/pr45967-3.c   -O2  execution test
+FAIL: gcc.dg/torture/pr45967-3.c   -O2 -flto  execution test
+FAIL: gcc.dg/torture/pr45967-3.c   -O2 -flto -flto-partition=none  execution
test
+FAIL: gcc.dg/torture/pr45967-3.c   -Os  execution test
+FAIL: gcc.dg/torture/pr45967.c   -O2  execution test
+FAIL: gcc.dg/torture/pr45967.c   -O2 -flto  execution test
+FAIL: gcc.dg/torture/pr45967.c   -O2 -flto -flto-partition=none  execution
test
+FAIL: gcc.dg/torture/pr45967.c   -O3 -fomit-frame-pointer -funroll-loops
-fpeel-loops -ftracer -finline-functions  execution test
+FAIL: gcc.dg/torture/pr45967.c   -O3 -g  execution test
+FAIL: gcc.dg/torture/pr45967.c   -Os  execution test

In both cases, the tests abort, but running under gdb this makes no sense:

* pta-delete-1.C:

Thread 2 received signal SIGABRT, Aborted.
[Switching to Thread 1 (LWP 1)]
0xfec5344c in __lwp_sigqueue () from /lib/libc.so.1
(gdb) where
#0  0xfec5344c in __lwp_sigqueue () from /lib/libc.so.1
#1  0xfeb9028c in raise () from /lib/libc.so.1
#2  0xfeb60578 in abort () from /lib/libc.so.1
#3  0x00010e1c in main () at
/vol/gcc/src/hg/master/local/gcc/testsuite/g++.dg/tree-ssa/pta-delete-1.C:23

  yet gdb shows that y = 2 at this point.

* pr45967.c:

Thread 2 received signal SIGABRT, Aborted.
[Switching to Thread 1 (LWP 1)]
0xfec5344c in __lwp_sigqueue () from /lib/libc.so.1
(gdb) where
#0  0xfec5344c in __lwp_sigqueue () from /lib/libc.so.1
#1  0xfeb9028c in raise () from /lib/libc.so.1
#2  0xfeb60578 in abort () from /lib/libc.so.1
#3  0x00010c94 in main () at
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/torture/pr45967.c:19

  Again, the test aborts although gdb shows i = 1.

Unless someone has an idea what might have caused this, I'll have to run a
reghunt.

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
           Priority|P3                          |P1
                 CC|                            |hubicka at gcc dot gnu.org

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[hubicka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

--- Comment #1 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
I wonder if you can attach .optimized dumps of valid revision and broken one. 
It may be related to modref/PTA changes.

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

--- Comment #2 from Rainer Orth <ro at gcc dot gnu.org> ---
I'd started a reghunt already, thus the late reply.  The culprit rev is

commit d70ef65692fced7ab72e0aceeff7407e5a34d96d
Author: Jan Hubicka <jh@suse.cz>
Date:   Wed Nov 10 13:08:41 2021 +0100

    Make EAF flags more regular (and expressive)

I'm attaching the dumps.

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

--- Comment #3 from Rainer Orth <ro at gcc dot gnu.org> ---
Created attachment 51769
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51769&action=edit
good pr45967.c.250t.optimized

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

--- Comment #4 from Rainer Orth <ro at gcc dot gnu.org> ---
Created attachment 51770
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51770&action=edit
bad pr45967.c.250t.optimized

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Depends on|                            |103182

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
PR 103182 records pr45967-2.c failure.  I suspect they are all the same issue.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103182
[Bug 103182] [12 Regression] Recent change causes code correctness regression

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[hubicka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189
Bug 103189 depends on bug 103182, which changed state.

Bug 103182 Summary: [12 Regression] Recent change causes code correctness regression
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103182

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

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[hubicka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-11-13
             Status|UNCONFIRMED                 |WAITING
     Ever confirmed|0                           |1

--- Comment #6 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
I hope this is fixed now. Can you please re-test

[Bug tree-optimization/103189] [12 regression] g++.dg/tree-ssa/pta-delete-1.C etc. FAIL

[ro at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103189

Rainer Orth <ro at gcc dot gnu.org> changed:

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

--- Comment #7 from Rainer Orth <ro at gcc dot gnu.org> ---
The failures were gone in last night's bootstrap.