[Bug tree-optimization/86479] New: [9 Regression] [graphite] ICE in gimplify_modify_expr, at gimplify.c:5756

["asolokha at gmx dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 86479
           Summary: [9 Regression] [graphite] ICE in gimplify_modify_expr,
                    at gimplify.c:5756
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-9.0.0-alpha20180708 snapshot (r262505) ICEs when compiling the following
snippet w/ -O2 (-O3, -Ofast) -floop-nest-optimize -fnon-call-exceptions
-fno-guess-branch-probability -fno-tree-loop-im:

long int uf;

void
m7 (long int *aw, long int ws)
{
  long int *e5 = &ws;

  if (ws < 1)
    {
      int cq = 0;

      while (cq < 1)
        {
          int *ng;
          int *ud;

          *e5 *= uf < 0;

          for (*ng = 0; *ng < 2; ++*ng)
            {
            }

          ws /= cq;
          *aw *= ws;

          for (*ud = 0; *ud < 2; ++*ud)
            {
            }
        }
    }

  if (ws < 2)
    e5 = &uf;

  *e5 = 0;
}

% gcc-9.0.0-alpha20180708 -O2 -floop-nest-optimize -fnon-call-exceptions
-fno-guess-branch-probability -fno-tree-loop-im -c ks550ciw.c
during GIMPLE pass: graphite
In function 'm7':
cc1: internal compiler error: in gimplify_modify_expr, at gimplify.c:5756
0x60ff28 gimplify_modify_expr
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:5755
0xa311ba gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:11434
0xa33666 gimplify_stmt(tree_node**, gimple**)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:6618
0xa3871e gimplify_cond_expr
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:4087
0xa31140 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:11391
0xa33666 gimplify_stmt(tree_node**, gimple**)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:6618
0xa38115 gimplify_cond_expr
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:3984
0xa31140 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:11391
0xa2f542 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify.c:12157
0xa40b2c force_gimple_operand_1(tree_node*, gimple**, bool (*)(tree_node*),
tree_node*)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/gimplify-me.c:78
0x143e9e1
translate_isl_ast_to_gimple::graphite_copy_stmts_from_block(basic_block_def*,
basic_block_def*, vec<tree_node*, va_heap, vl_ptr>)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite-isl-ast-to-gimple.c:1221
0x143feda
translate_isl_ast_to_gimple::copy_bb_and_scalar_dependences(basic_block_def*,
edge_def*, vec<tree_node*, va_heap, vl_ptr>)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite-isl-ast-to-gimple.c:1270
0x1440631
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*> > >&)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite-isl-ast-to-gimple.c:830
0x1440d25 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*> > >&)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite-isl-ast-to-gimple.c:859
0x1441107 graphite_regenerate_ast_isl(scop*)
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite-isl-ast-to-gimple.c:1505
0x143d3d4 graphite_transform_loops()
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite.c:413
0x143d7d0 graphite_transforms
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite.c:475
0x143d7d0 execute
       
/var/tmp/portage/sys-devel/gcc-9.0.0_alpha20180708/work/gcc-9-20180708/gcc/graphite.c:552