1  // { dg-do run }
       2  // { dg-options "-O1" }
       3  
       4  int a, b;
       5  int main() {
       6    int c = 0;
       7    long d;
       8    for (; b < 1; b++) {
       9      (c && d) & 3 || a;
      10      d = c;
      11      c = -1;
      12      if (d)
      13        __builtin_abort();
      14    }
      15    return 0;
      16  }