[Bug tree-optimization/82422] [8 Regression][graphite] ICE in set_codegen_error, at graphite-isl-ast-to-gimple.c:248

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
I've got one another ICE:

$ cat ice.c
static int a[];
int b[1];
int c;
static void
d (int *f, int *g)
{
  int e;
  for (e = 0; e < 2; e++)
    g[e] = 1;
  for (e = 0; e < 2; e++)
    g[e] = f[e] + f[e + 1];
}
void
h ()
{
  for (;; c += 8)
    d (&a[c], b);
}

$ /home/marxin/Programming/gcc2/objdir/gcc/xgcc -B
/home/marxin/Programming/gcc2/objdir/gcc/ -floop-parallelize-all -O1 -mavx512vl
ice.c
during GIMPLE pass: graphite
ice.c: In function ‘h’:
ice.c:14:1: internal compiler error: in set_codegen_error, at
graphite-isl-ast-to-gimple.c:216
 h ()
 ^
0x5cb6d5 translate_isl_ast_to_gimple::set_codegen_error()
        ../../gcc/graphite-isl-ast-to-gimple.c:215
0x13252d5 translate_isl_ast_to_gimple::set_codegen_error()
        ../../gcc/graphite-isl-ast-to-gimple.c:215
0x13252d5 translate_isl_ast_to_gimple::get_rename_from_scev(tree_node*,
gimple**, loop*, basic_block_def*, basic_block_def*, vec<tree_node*, va_heap,
vl_ptr>)
        ../../gcc/graphite-isl-ast-to-gimple.c:1097
0x1325a14
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:1245
0x1327850
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:1313
0x1328274
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:803
0x1328545 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:617
0x13287a2 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:720
0x13288a5 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:832
0x1328d8a graphite_regenerate_ast_isl(scop*)
        ../../gcc/graphite-isl-ast-to-gimple.c:1559
0x13238ae graphite_transform_loops()
        ../../gcc/graphite.c:442
0x1324820 graphite_transforms
        ../../gcc/graphite.c:486
0x1324820 execute
        ../../gcc/graphite.c:563

$ /home/marxin/Programming/gcc2/objdir/gcc/xgcc -v
Using built-in specs.
COLLECT_GCC=/home/marxin/Programming/gcc2/objdir/gcc/xgcc
Target: x86_64-pc-linux-gnu
Configured with: ../configure --enable-languages=c,c++ --disable-bootstrap
--disable-libsanitizer --disable-multilib
Thread model: posix
gcc version 8.0.0 20171009 (experimental) (GCC)