[Bug tree-optimization/81003] New: [8 Regression] ICE: tree check: expected ssa_name, have integer_cst in optimize_range_tests_to_bit_test, at tree-ssa-reassoc.c:2782

[asolokha at gmx dot com]

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

            Bug ID: 81003
           Summary: [8 Regression] ICE: tree check: expected ssa_name,
                    have integer_cst in optimize_range_tests_to_bit_test,
                    at tree-ssa-reassoc.c:2782
           Product: gcc
           Version: 8.0
            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-alpha20170604 snapshot ICEs when compiling the following snippet w/
-O2 (-Os, -O3, -Ofast):

unsigned int wb, ku;

void
px (void)
{
  for (ku = 0; ku < 13; ku += 2)
    wb &= !!ku;
}

% gcc-8.0.0-alpha20170604 -O2 -c x3ir8l1z.c
during GIMPLE pass: reassoc
x3ir8l1z.c: In function 'px':
x3ir8l1z.c:4:1: internal compiler error: tree check: expected ssa_name, have
integer_cst in optimize_range_tests_to_bit_test, at tree-ssa-reassoc.c:2782
 px (void)
 ^~