1  /* { dg-do run } */
       2  /* { dg-additional-options "-fdisable-rtl-init-regs" } */
       3  
       4  static _Bool
       5  foo (_Bool a, _Bool b)
       6  {
       7    int x = a && ! b;
       8    return x != 0;
       9  }
      10  
      11  int y = 1;
      12  int main()
      13  {
      14    _Bool x;
      15    if (foo (x, y))
      16      __builtin_abort ();
      17    return 0;
      18  }