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