rosenberg: strip away some casting (eliminates a false positive)
[smatch.git] / validation / bad-array-designated-initializer.c
blobfb7d91f8b3f68ad073ca753dcc55c42ae22a1065
1 static int a[] = {
2 [0] = 0, // OK
3 [\0] = 1, // KO
4 };
5 /*
6 * check-name: Bad array designated initializer
8 * check-error-start
9 bad-array-designated-initializer.c:3:10: error: Expected constant expression
10 bad-array-designated-initializer.c:3:10: error: Expected } at end of initializer
11 bad-array-designated-initializer.c:3:10: error: got \
12 * check-error-end