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