[PATCH] Add support for GCC's __builtin_extract_return_addr function.
[smatch.git] / validation / init-char-array.c
blob390f29d4ea914194895c739e2cd71aae6408d731
1 /*
2 * for array of char {<string>} gets special treatment in initializer.
3 */
4 char *s[] = {"aaaaaaaaa"};
5 char t[][10] = {"aaaaaaaaa"};
6 char u[] = {"aaaaaaaaa"};
7 char v[] = "aaaaaaaaa";
8 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)];