[Bug middle-end/77920] New: [7 Regression] 186.crafty doesn't compile

[trippels at gcc dot gnu.org]

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

            Bug ID: 77920
           Summary: [7 Regression] 186.crafty doesn't compile
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
  Target Milestone: ---

markus@x4 crafty % cat crafty.i
int a, b;
void fn1() {
  int c;
  for (; b < 0;) {
    {
      int d = 56, e = (b >> 3) - (d >> 3) > 0 ? (b >> 3) - (d >> 3)
                                              : -((b >> 3) - (d >> 3));
      c = 1 >= e;
    }
    if (c)
      a = 0;
  }
}

markus@x4 crafty % /var/tmp/gcc_test/usr/local/bin/gcc -O2 -c crafty.i
crafty.i: In function ‘fn1’:
crafty.i:2:6: error: use operand missing for stmt
 void fn1() {
      ^~~
_2
e_7 = 7 - _2;
crafty.i:2:6: internal compiler error: verify_ssa failed
0xd7f431 verify_ssa(bool, bool)
        ../../gcc/gcc/tree-ssa.c:1158
0xa97189 execute_function_todo
        ../../gcc/gcc/passes.c:1971
0xa980fc execute_todo
        ../../gcc/gcc/passes.c:2014