xref: /illumos-gate/usr/src/tools/smatch/src/validation/init-char-array.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
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)
9 {
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)];
14 }
15 
16 /*
17  * check-name: char array initializers
18  */
19