gcc/testsuite/gcc.dg/tree-ssa/pr107195-1.c

   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 }