[Bug middle-end/35041] New: ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[Bug middle-end/35041] New: ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[alond at il dot ibm dot com]

The following testcase fails for me when compiled with -O3 -fwhole-program
-fdump-ipa-all -combine -fipa-type-escape -fipa-struct-reorg

#include <stdlib.h>

typedef struct test_struct
{
  int a;
  int b;
} type_struct;

typedef type_struct **struct_pointer2;

struct_pointer2 str1;

int main()
{
  int i, j;

  str1 = malloc (2 * sizeof (type_struct*));

  for (i=0; i<=1; i++)
    str1[i] = malloc (2 * sizeof (type_struct));

  return 0;
}

The failure is:

try11.c: In function 'main':
try11.c:23: internal compiler error: in create_general_new_stmt, at
ipa-struct-reorg.c:1323
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE in tree-ssa-ccp.c with -fipa-struct-reorg
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: alond at il dot ibm dot com


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

[Bug middle-end/35041] [4.3 Regression] ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-01-31 14:39 -------
Confirmed.  ICEs with -O -fwhole-program -fipa-type-escape -fipa-struct-reorg


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
           Priority|P3                          |P2
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-31 14:39:22
               date|                            |
            Summary|ICE in tree-ssa-ccp.c with -|[4.3 Regression] ICE in
                   |fipa-struct-reorg           |tree-ssa-ccp.c with -fipa-
                   |                            |struct-reorg
   Target Milestone|---                         |4.3.0


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

[Bug middle-end/35041] [4.3 Regression] ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2008-01-31 14:47 -------
Eh, how is this a regression?  Was struct-reorg in 4.2?


-- 


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

[Bug middle-end/35041] ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[olga at gcc dot gnu dot org]

------- Comment #3 from olga at gcc dot gnu dot org  2008-01-31 15:11 -------
(In reply to comment #2)
> Eh, how is this a regression?  Was struct-reorg in 4.2?

Of course not.

Olga


-- 

olga at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.3 Regression] ICE in     |ICE in tree-ssa-ccp.c with -
                   |tree-ssa-ccp.c with -fipa-  |fipa-struct-reorg
                   |struct-reorg                |


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

[Bug middle-end/35041] ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[olga at gcc dot gnu dot org]

------- Comment #4 from olga at gcc dot gnu dot org  2008-01-31 15:18 -------
The following test fixes the problem. Under the testing now.

Index: ipa-struct-reorg.c
===================================================================
--- ipa-struct-reorg.c  (revision 131976)
+++ ipa-struct-reorg.c  (working copy)
@@ -887,7 +887,9 @@
   tree ref = r_pos->ref;
   tree t = *tp;

-  if (t == ref)
+  if (t == ref || 
+      (TREE_CODE (t) == SSA_NAME
+       && SSA_NAME_VAR (t) == ref))
     {
       r_pos->pos = tp;
       return t;

Olga


-- 


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

[Bug middle-end/35041] ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[olga at gcc dot gnu dot org]

------- Comment #5 from olga at gcc dot gnu dot org  2008-03-13 15:40 -------
Subject: Bug 35041

Author: olga
Date: Thu Mar 13 15:40:09 2008
New Revision: 133171

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133171
Log:
2008-02-19  Alon Dayan  <alond@il.ibm.com>
            Olga Golovanevsky  <olga@il.ibm.com>

        PR tree-optimization/35041
        * gcc.dg/struct/wo_prof_double_malloc.c: New test.

2008-03-13  Alon Dayan  <alond@il.ibm.com>
            Olga Golovanevsky  <olga@il.ibm.com>

        PR tree-optimization/35041
        * ipa-struct-reorg.c (find_pos_in_stmt_1): Add another option
        to locate the right position in a statement.


Added:
    trunk/gcc/testsuite/gcc.dg/struct/wo_prof_double_malloc.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-struct-reorg.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/35041] ICE in tree-ssa-ccp.c with -fipa-struct-reorg

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-03-14 17:08 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to fail|                            |4.3.0
         Resolution|                            |FIXED
   Target Milestone|4.3.0                       |4.3.1


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