allocate.h: Stop needlessly returning a void value in __DO_ALLOCATOR
[smatch.git] / validation / init-char-array.c
blob556d515063a432256c070f6cdfaa1bf5d4ea202f
1 /*
2 * for array of char {<string>} gets special treatment in initializer.
3 */
4 static char *s[] = {"aaaaaaaaa"};
5 static char t[][10] = {"aaaaaaaaa"};
6 static char u[] = {"aaaaaaaaa"};
7 static char v[] = "aaaaaaaaa";
8 static void f(void)
10 char x[1/(sizeof(s) == sizeof(char *))];
11 char y[1/(sizeof(u) == 10)];
12 char z[1/(sizeof(v) == 10)];
13 char w[1/(sizeof(t) == 10)];