1  /* { dg-do run } */
       2  
       3  int a, b, c, d;
       4  unsigned e;
       5  int main() {
       6    c = e = -((a && 1) ^ ~(b || 0));
       7    if (e < -1)
       8      d = c;
       9    if (!d)
      10      __builtin_abort();
      11    return 0;
      12  }