[Bug c++/57190] New: verify_ssa failed: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set

[Bug c++/57190] New: verify_ssa failed: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set

[dcb314 at hotmail dot com]

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

             Bug #: 57190
           Summary: verify_ssa failed: SSA_NAME_OCCURS_IN_ABNORMAL_PHI
                    should be set
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


Created attachment 30044
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30044
C++ source code

I just tried to compile the package yapet-0.8-0.5
on gcc-4.9 trunk dated 20130505 on an AMD x86_64 box.

The compiler said

passworddialog.cc:349:1: error: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set
 }
 ^
for SSA_NAME: .MEM_278 in statement:
PHI argument
.MEM_278
for PHI node
passworddialog.cc:349:1: internal compiler error: verify_ssa failed
0xc25541 verify_ssa(bool)
    ../../src/trunk/gcc/tree-ssa.c:1046
0xa01221 execute_function_todo
    ../../src/trunk/gcc/passes.c:1970
0xa01be7 execute_todo
    ../../src/trunk/gcc/passes.c:2002
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.


Preprocessed source code attached. Flag -O2 required.

[Bug tree-optimization/57190] [4.9 Regression] verify_ssa failed: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-05-07
          Component|c++                         |tree-optimization
   Target Milestone|---                         |4.9.0
            Summary|verify_ssa failed:          |[4.9 Regression] verify_ssa
                   |SSA_NAME_OCCURS_IN_ABNORMAL |failed:
                   |_PHI should be set          |SSA_NAME_OCCURS_IN_ABNORMAL
                   |                            |_PHI should be set
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-05-07 08:49:52 UTC ---
Mine.

[Bug tree-optimization/57190] [4.9 Regression] verify_ssa failed: SSA_NAME_OCCURS_IN_ABNORMAL_PHI should be set

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-05-07 11:24:00 UTC ---
Author: rguenth
Date: Tue May  7 11:23:39 2013
New Revision: 198675

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

    PR middle-end/57190
    * tree-eh.c (sink_clobbers): Properly propagate
    SSA_NAME_OCCURS_IN_ABNORMAL_PHI.

    * g++.dg/torture/pr57190.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr57190.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-eh.c