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