12   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has zero size}}  in check_zero_sized_VLA()  local
17 …int vla[x]; // expected-warning{{Declared variable-length array (VLA) uses a garbage value as its …  in check_uninit_sized_VLA()  local
22   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in vla_allocate_signed()  local
26   int vla[x]; // no-warning  in vla_allocate_unsigned()  local
39   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_3()  local
44   int vla[x]; // no-warning  in check_negative_sized_VLA_4()  local
49   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_5()  local
54   int vla[x]; // no-warning  in check_negative_sized_VLA_6()  local
59   int vla[x + 2]; // no-warning  in check_negative_sized_VLA_7()  local
64   int vla[x - 2]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_8()  local
69   int vla[x]; // no-warning  in check_negative_sized_VLA_9()  local
74   int vla[x]; // expected-warning{{Declared variable-length array (VLA) has negative size}}  in check_negative_sized_VLA_10_sub()  local
84   int vla[x]; // no-warning  in check_negative_sized_VLA_11_sub()  local
109   int vla[10][x]; // expected-warning{{Declared variable-length array (VLA) has zero size}}  in check_zero_sized_VLA_multi1()  local
116   int vla[y][x]; // expected-warning{{Declared variable-length array (VLA) has zero size}}  in check_zero_sized_VLA_multi2()  local