[Bug tree-optimization/81227] New: [8 Regression] ICE in get_single_symbol, at tree-vrp.c:799

[marxin at gcc dot gnu.org]

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

            Bug ID: 81227
           Summary: [8 Regression] ICE in get_single_symbol, at
                    tree-vrp.c:799
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

Starting from r247781 we ICE on:

$ gcc gcc/gcc/testsuite/gcc.c-torture/compile/pr80443.c -fwrapv -O3

during GIMPLE pass: evrp
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/pr80443.c: In
function ‘foo’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/pr80443.c:20:1:
internal compiler error: in get_single_symbol, at tree-vrp.c:799
 }
 ^
0xe1ae8e get_single_symbol
        ../../gcc/tree-vrp.c:799
0xe1d611 compare_values_warnv
        ../../gcc/tree-vrp.c:1041
0xe1df87 compare_values
        ../../gcc/tree-vrp.c:1159
0xe1df87 set_value_range
        ../../gcc/tree-vrp.c:257
0xe22c83 extract_range_for_var_from_comparison_expr
        ../../gcc/tree-vrp.c:1527
0xe234c8 evrp_dom_walker::try_find_new_range(tree_node*, tree_node*, tree_code,
tree_node*)
        ../../gcc/tree-vrp.c:10853
0xe38002 evrp_dom_walker::before_dom_children(basic_block_def*)
        ../../gcc/tree-vrp.c:10930
0x12b4aaa dom_walker::walk(basic_block_def*)
        ../../gcc/domwalk.c:265
0xe1cdd5 execute_early_vrp
        ../../gcc/tree-vrp.c:11274
0xe1cdd5 execute
        ../../gcc/tree-vrp.c:11549