/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-threadfull1-stats" } */

void foo (int nest, int print_nest)
{
  _Bool t0 = nest != 0;
  _Bool t1 = nest == print_nest;
  _Bool t2 = t0 & t1;
  if (t2)
    __builtin_puts ("x");
  nest++;
  if (nest > 2)
    __builtin_abort ();
  if (print_nest == nest)
    __builtin_puts ("y");
}

/* We should be able to thread (t2) to !(print_nest == nest) using the
   nest == print_nest relation implied by the entry block.  */
/* { dg-final { scan-tree-dump "Jumps threaded: 1" "threadfull1" } } */