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