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