xref: /illumos-gate/usr/src/tools/smatch/src/validation/comma.c (revision e82490700e19f1b8a2cef6102f4726144d281988)
1 static char a[sizeof(char *) + 1];
2 static char b[1/(sizeof(a) - sizeof(0,a))];
3 static void f(void)
4 {
5         int c[42];
6         typeof((void)0,c) d;
7         d = c;
8 }
9 /*
10  * check-name: Comma and array decay
11  * check-description: arguments of comma should degenerate
12  */
13