unreachable code: don't warn about empty statements
[smatch.git] / validation / comma.c
blob374948efbc14a7252ad3ffaadb089aa0114b18a9
1 static char a[sizeof(char *) + 1];
2 static char b[1/(sizeof(a) - sizeof(0,a))];
3 static void f(void)
5 int c[42];
6 typeof((void)0,c) d;
7 d = c;
9 /*
10 * check-name: Comma and array decay
11 * check-description: arguments of comma should degenerate