1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  int g(void);
       5  int h(int a, _Bool c)
       6  {
       7    if (a != 0 && c)
       8      return g();
       9    return 1;
      10  }
      11  
      12  /* { dg-final { scan-assembler "\tccmp\t" } } */