debug: add __smatch_type() which prints the type of the argument
[smatch.git] / validation / init-char-array.c
blob5ede9bdcdd852052f9426b371b16f529d4b024ee
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)];
17 * check-name: char array initializers