[Bug middle-end/35260] New: ICE in ipa-type-escape.c with -fipa-struct-reorg -fipa-type-escape

[Bug middle-end/35260] New: ICE in ipa-type-escape.c with -fipa-struct-reorg -fipa-type-escape

[alond at il dot ibm dot com]

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

#include <stdlib.h>

typedef struct str
{
  int a;
  int b;
} str_type;

int main()
{
  str_type *struct1 = malloc (3 * sizeof (str_type));

  struct1[1].a = 4;

  return 0;
}

The failure is:

try3.c:16: internal compiler error: tree check: expected ssa_name, have
integer_cst in is_array_access_through_pointer_and_index, at
ipa-type-escape.c:1011
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


It seems that the problem occurs when the first access to the array, is not 
an access to its first member.
For example - the next testcase will not fail:

#include <stdlib.h>

typedef struct str
{
  int a;
  int b;
} str_type;

int main()
{
  str_type *struct1 = malloc (3 * sizeof (str_type));

  struct1[0].a = 3;
  struct1[1].a = 4;

  return 0;
}


-- 
           Summary: ICE in ipa-type-escape.c with -fipa-struct-reorg -fipa-
                    type-escape
           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
 GCC build triplet: powerpc-suse-linux
  GCC host triplet: powerpc-suse-linux
GCC target triplet: powerpc-suse-linux


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

[Bug middle-end/35260] ICE in ipa-type-escape.c with -fipa-struct-reorg -fipa-type-escape

[bje at gcc dot gnu dot org]

------- Comment #1 from bje at gcc dot gnu dot org  2009-04-21 05:02 -------
Confirmed in mainline.


-- 


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

[Bug middle-end/35260] ICE in ipa-type-escape.c with -fipa-struct-reorg -fipa-type-escape

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WONTFIX
   Target Milestone|---                         |4.7.0

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-19 04:53:18 UTC ---
These options/passes were removed by:
2011-03-23  Richard Guenther  <rguenther@suse.de>

        * Makefile.in (IPA_TYPE_ESCAPE_H): Remove.
        (OBJS-archive): Remove ipa-struct-reorg.o and ipa-type-escape.o.
        (tree-ssa-alias.o): Do not depend on IPA_TYPE_ESCAPE_H.
        (alias.o): Likewise.
...

So closing as won't fix.