Some consistency changes to library & headers flags.
[splint-patched.git] / test / typeof.c
blob4c7714320c506f7c2ab9032e0d05572d4e855149
1 /* gcc extension: http://gcc.gnu.org/onlinedocs/gcc-3.0.3/gcc_5.html#SEC74 */
3 int main (int /*@unused{*/ argc, char /*@unused@*/ **argv) {
4 int i = 0;
5 typeof (i) j;
6 __typeof__ (int *) ip;
7 typeof (typeof (char *) [4]) y; /* char *y[4] */
9 j = 10;
10 *ip = j;
11 *y[3] = 'a';
12 printf("%d\n", *ip);
13 return 1;