8   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has zero size}}  in check_zero_sized_VLA()  local
13 …int vla[x]; // expected-warning{{Declared variable-length array (VLA) uses a garbage value as its …  in check_uninit_sized_VLA()  local
18   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in vla_allocate_signed()  local
22   int vla[x]; // no-warning  in vla_allocate_unsigned()  local
35   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_3()  local
40   int vla[x]; // no-warning  in check_negative_sized_VLA_4()  local
45   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_5()  local
50   int vla[x]; // no-warning  in check_negative_sized_VLA_6()  local
55   int vla[x + 2]; // no-warning  in check_negative_sized_VLA_7()  local
60   int vla[x - 2]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_8()  local
65   int vla[x]; // no-warning  in check_negative_sized_VLA_9()  local
70   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_10_sub()  local
80   int vla[x]; // no-warning  in check_negative_sized_VLA_11_sub()  local