[Bug tree-optimization/80167] New: [6/7 Regression] ICE in translate_isl_ast_to_gimple::is_valid_rename at gcc/graphite-isl-ast-to-gimple.c:1139

["marxin at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 80167
           Summary: [6/7 Regression] ICE in
                    translate_isl_ast_to_gimple::is_valid_rename at
                    gcc/graphite-isl-ast-to-gimple.c:1139
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---

Started with r229889, we ICE on:

$ cat /tmp/tmpium7rf86.i
typedef struct
{
  short a;
  short b;
  short c
} d;
d e[];
f[8];
g (d *i)
{
  int h = 0;
  for (; h < 28; h++)
    e[h].a = e[h].b = i[h].a;
  h = 0;
  for (; h < 8; h++)
    f[h] = i[h].b + i[h].c;
  h = 0;
  for (; h < 8; h++)
    f[h] = i[h].b;
}

$ gcc -O2 -fno-tree-pta -floop-nest-optimize /tmp/tmpium7rf86.i
/tmp/tmpium7rf86.i:6:1: warning: no semicolon at end of struct or union
 } d;
 ^
/tmp/tmpium7rf86.i:8:1: warning: data definition has no type or storage class
 f[8];
 ^
/tmp/tmpium7rf86.i:8:1: warning: type defaults to ‘int’ in declaration of ‘f’
[-Wimplicit-int]
/tmp/tmpium7rf86.i:9:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
 g (d *i)
 ^
/tmp/tmpium7rf86.i:7:3: warning: array ‘e’ assumed to have one element
 d e[];
   ^
/tmp/tmpium7rf86.i: In function ‘g’:
/tmp/tmpium7rf86.i:13:21: warning: iteration 1 invokes undefined behavior
[-Waggressive-loop-optimizations]
     e[h].a = e[h].b = i[h].a;
              ~~~~~~~^~~~~~~~
/tmp/tmpium7rf86.i:12:3: note: within this loop
   for (; h < 28; h++)
   ^~~
/tmp/tmpium7rf86.i:9:1: internal compiler error: Segmentation fault
 g (d *i)
 ^
0xf444d0 crash_signal
        ../../gcc/toplev.c:337
0xa3734c dominated_by_p(cdi_direction, basic_block_def const*, basic_block_def
const*)
        ../../gcc/dominance.c:1117
0x19649cb translate_isl_ast_to_gimple::is_valid_rename(tree_node*,
basic_block_def*, basic_block_def*, phi_node_kind, tree_node*,
basic_block_def*) const
        ../../gcc/graphite-isl-ast-to-gimple.c:1139
0x1964b95 translate_isl_ast_to_gimple::get_rename(basic_block_def*, tree_node*,
basic_block_def*, phi_node_kind) const
        ../../gcc/graphite-isl-ast-to-gimple.c:1179
0x19666d1 translate_isl_ast_to_gimple::rename_uses(gimple*,
gimple_stmt_iterator*, basic_block_def*, loop*, vec<tree_node*, va_heap,
vl_ptr>)
        ../../gcc/graphite-isl-ast-to-gimple.c:1676
0x1968d0d
translate_isl_ast_to_gimple::graphite_copy_stmts_from_block(basic_block_def*,
basic_block_def*, vec<tree_node*, va_heap, vl_ptr>)
        ../../gcc/graphite-isl-ast-to-gimple.c:2572
0x19694a5
translate_isl_ast_to_gimple::copy_bb_and_scalar_dependences(basic_block_def*,
edge_def*, vec<tree_node*, va_heap, vl_ptr>)
        ../../gcc/graphite-isl-ast-to-gimple.c:2785
0x1964171
translate_isl_ast_to_gimple::translate_isl_ast_node_user(isl_ast_node*,
edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:904
0x1964545 translate_isl_ast_to_gimple::translate_isl_ast(loop*, isl_ast_node*,
edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:1008
0x1964400 translate_isl_ast_to_gimple::translate_isl_ast_node_if(loop*,
isl_ast_node*, edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:972
0x1964528 translate_isl_ast_to_gimple::translate_isl_ast(loop*, isl_ast_node*,
edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:1005
0x196428b translate_isl_ast_to_gimple::translate_isl_ast_node_block(loop*,
isl_ast_node*, edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:933
0x1964566 translate_isl_ast_to_gimple::translate_isl_ast(loop*, isl_ast_node*,
edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:1012
0x196385d translate_isl_ast_to_gimple::translate_isl_ast_for_loop(loop*,
isl_ast_node*, edge_def*, tree_node*, tree_node*, tree_node*, std::map<isl_id*,
tree_node*, std::less<isl_id*>, std::allocator<std::pair<isl_id* const,
tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:653
0x1963dc1 translate_isl_ast_to_gimple::translate_isl_ast_node_for(loop*,
isl_ast_node*, edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:815
0x1964504 translate_isl_ast_to_gimple::translate_isl_ast(loop*, isl_ast_node*,
edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:1001
0x196428b translate_isl_ast_to_gimple::translate_isl_ast_node_block(loop*,
isl_ast_node*, edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:933
0x1964566 translate_isl_ast_to_gimple::translate_isl_ast(loop*, isl_ast_node*,
edge_def*, std::map<isl_id*, tree_node*, std::less<isl_id*>,
std::allocator<std::pair<isl_id* const, tree_node*> > >&)
        ../../gcc/graphite-isl-ast-to-gimple.c:1012
0x1969eb6 graphite_regenerate_ast_isl(scop*)
        ../../gcc/graphite-isl-ast-to-gimple.c:3019
0x1960e66 graphite_transform_loops()
        ../../gcc/graphite.c:330