[Bug tree-optimization/44336] New: [4.6 Regression] ICE: verify_ssa failed: SSA_NAME_DEF_STMT is wrong with -fipa-struct-reorg -fwhole-program

[Bug tree-optimization/44336] New: [4.6 Regression] ICE: verify_ssa failed: SSA_NAME_DEF_STMT is wrong with -fipa-struct-reorg -fwhole-program

[zsojka at seznam dot cz]

Tested revisions:
r160052 - crash
r159523 - segfault (release checking)
r159387 - OK
r158969 - OK
r158095 - OK

Compiler output:
$ gcc -O1 -fipa-struct-reorg -fwhole-program testcase.c
testcase.c: In function 'main':
testcase.c:4:3: warning: return makes integer from pointer without a cast
[enabled by default]
testcase.c:4:3: warning: function returns address of local variable [enabled by
default]
testcase.c:5:1: error: SSA_NAME_DEF_STMT is wrong
Expected definition statement:
s.0_1 = (long int) &s.1;

Actual definition statement:
s.0_1 = (long int) &s;
testcase.c:5:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

----- testcase.c -----
int main ()
{
  struct { int i; } s[1];
  return s;
}
----------------------


-- 
           Summary: [4.6 Regression] ICE: verify_ssa failed:
                    SSA_NAME_DEF_STMT is wrong with -fipa-struct-reorg -
                    fwhole-program
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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

[Bug tree-optimization/44336] [4.4/4.5/4.6 Regression] ICE: verify_ssa failed: SSA_NAME_DEF_STMT is wrong with -fipa-struct-reorg -fwhole-program

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2010-05-31 10:53 -------
Same ICE with -fipa-type-escape enabled in 4.4 and 4.5.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-05-31 10:53:15
               date|                            |
            Summary|[4.6 Regression] ICE:       |[4.4/4.5/4.6 Regression]
                   |verify_ssa failed:          |ICE: verify_ssa failed:
                   |SSA_NAME_DEF_STMT is wrong  |SSA_NAME_DEF_STMT is wrong
                   |with -fipa-struct-reorg -   |with -fipa-struct-reorg -
                   |fwhole-program              |fwhole-program
   Target Milestone|---                         |4.4.5


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

[Bug tree-optimization/44336] [4.4/4.5/4.6 Regression] ICE: verify_ssa failed: SSA_NAME_DEF_STMT is wrong with -fipa-struct-reorg -fwhole-program

[zsojka at seznam dot cz]

------- Comment #2 from zsojka at seznam dot cz  2010-06-08 14:41 -------
Created an attachment (id=20867)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20867&action=view)
different testcase

This testcase fails with similiar message:
$ gcc -O1 -fipa-struct-reorg -fwhole-program pr44336-2.c
pr44336-2.c: In function 'main':
pr44336-2.c:11:1: error: SSA_NAME_DEF_STMT is wrong
Expected definition statement:
# .MEM_4 = VDEF <.MEM_3>
    D.2721_1 = foo (s.0);

Actual definition statement:
# .MEM_3 = VDEF <.MEM_2(D)>
    D.2721_1 = foo (s);
pr44336-2.c:11:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Fails in 4.4 r158133 and 4.5 r158978 too.


-- 


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

[Bug tree-optimization/44336] [4.4/4.5 Regression] ICE: verify_ssa failed: SSA_NAME_DEF_STMT is wrong with -fipa-struct-reorg -fwhole-program

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-07-22 08:49 -------
Fixed in 4.6 (by disabling struct-reorg).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Summary|[4.4/4.5/4.6 Regression]    |[4.4/4.5 Regression] ICE:
                   |ICE: verify_ssa failed:     |verify_ssa failed:
                   |SSA_NAME_DEF_STMT is wrong  |SSA_NAME_DEF_STMT is wrong
                   |with -fipa-struct-reorg -   |with -fipa-struct-reorg -
                   |fwhole-program              |fwhole-program


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