[Bug tree-optimization/83435] New: [8 Regression] ICE in set_value_range, at tree-vrp.c:211

[asolokha at gmx dot com]

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

            Bug ID: 83435
           Summary: [8 Regression] ICE in set_value_range, at
                    tree-vrp.c:211
           Product: gcc
           Version: 7.2.1
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-8.0.0-alpha20171210 snapshot (r255534) ICEs when compiling the following
snippet w/ -O1 (-Os, -O2, -O3, -Ofast) -ftree-parallelize-loops=2
-floop-parallelize-all:

int yj, ax;

void
gf (signed char mp)
{
  int *dh = &yj;

  for (;;)
    {
      signed char sb;

      for (sb = 0; sb < 1; sb -= 8)
        {
        }

      mp &= mp <= sb;
      if (mp == 0)
        dh = &ax;
      mp = 0;
      *dh = 0;
    }
}

% gcc-8.0.0-alpha20171210 -O1 -ftree-parallelize-loops=2 -floop-parallelize-all
-c jv3h3lvo.c
during GIMPLE pass: dom
jv3h3lvo.c: In function 'gf':
jv3h3lvo.c:4:1: internal compiler error: in set_value_range, at tree-vrp.c:211
 gf (signed char mp)
 ^~
0x7645b3 set_value_range(value_range*, value_range_type, tree_node*,
tree_node*, bitmap_head*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/tree-vrp.c:211
0xf7944d vr_values::extract_range_for_var_from_comparison_expr(tree_node*,
tree_code, tree_node*, tree_node*, value_range*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/vr-values.c:634
0x13eb9a0 evrp_range_analyzer::try_find_new_range(tree_node*, tree_node*,
tree_code, tree_node*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/gimple-ssa-evrp-analyze.c:87
0x13ec7d6
evrp_range_analyzer::record_ranges_from_incoming_edge(basic_block_def*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/gimple-ssa-evrp-analyze.c:196
0x13ecd1a evrp_range_analyzer::enter(basic_block_def*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/gimple-ssa-evrp-analyze.c:73
0xe17a06 dom_opt_dom_walker::before_dom_children(basic_block_def*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/tree-ssa-dom.c:1411
0x13d2147 dom_walker::walk(basic_block_def*)
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/domwalk.c:308
0xe1801f execute
       
/var/tmp/portage/sys-devel/gcc-8.0.0_alpha20171210/work/gcc-8-20171210/gcc/tree-ssa-dom.c:704