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