/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-gimple -mbranch-cost=0" } */

extern int doo (void);

int
foo (_Bool a, _Bool b)
{
  if (a && b)
   return doo ();
  return 0;
}

/* { dg-final { scan-tree-dump-times "if " 2 "gimple" } } */
/* { dg-final { scan-tree-dump-not " & " "gimple" } } */
/* { dg-final { cleanup-tree-dump "gimple" } } */