[Bug target/79971] New: ICE in const_binop, at fold-const.c:1554 on ARM target with saturated integers

[marxin at gcc dot gnu.org]

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

            Bug ID: 79971
           Summary: ICE in const_binop, at fold-const.c:1554 on ARM target
                    with saturated integers
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux-gnu
            Target: arm-linux-gnueabi

Following test-case:

void
a ()
{
  unsigned _Accum b;
  for (b = 0.1; b; b += 0.1uk)
    {
      _Sat unsigned _Accum b;
      for (b = 0; b <= 0.8; b = 0.1)
        ;
    }
}

ICEs on arm-linux-gnueabi (cross-compiler on x86_64-linux-gnu):

arm-linux-gnueabi-gcc -O3 arm-ice.i
arm-ice.i: In function ‘a’:
arm-ice.i:2:1: internal compiler error: in const_binop, at fold-const.c:1554
 a ()
 ^
0x8907da const_binop(tree_code, tree_node*, tree_node*, tree_node*)
        .././../gcc/fold-const.c:1553
0xee5cb8 gimple_resimplify2(gimple**, code_helper*, tree_node*, tree_node**,
tree_node* (*)(tree_node*))
        .././../gcc/gimple-match-head.c:132
0xd440dd vn_nary_build_or_lookup_1
        .././../gcc/tree-ssa-sccvn.c:1676
0xd44345 vn_nary_simplify(vn_nary_op_s*)
        .././../gcc/tree-ssa-sccvn.c:1771
0xd1db90 fully_constant_expression
        .././../gcc/tree-ssa-pre.c:1216
0xd22f25 phi_translate_1
        .././../gcc/tree-ssa-pre.c:1462
0xd20d23 phi_translate
        .././../gcc/tree-ssa-pre.c:1742
0xd20ea5 phi_translate_set
        .././../gcc/tree-ssa-pre.c:1780
0xd21d7d compute_antic_aux
        .././../gcc/tree-ssa-pre.c:2116
0xd21d7d compute_antic
        .././../gcc/tree-ssa-pre.c:2403
0xd250c0 execute
        .././../gcc/tree-ssa-pre.c:5094