xref: /illumos-gate/usr/src/tools/smatch/src/validation/abstract-array-declarator-static.c (revision f37b3cbb6f67aaea5eec1c335bdc7bf432867d64)
1 
2 extern void f1(int g[static 1]);
3 extern void f2(int g[static restrict 1]);
4 extern void f3(int g[restrict static 1]);
5 extern void f4(int g[static restrict static 1]);	/* duplicate static error */
6 extern void f5(int g[restrict static static 1]);	/* duplicate static error */
7 
8 /*
9  * check-name: abstract array declarator static
10  * check-error-start
11 abstract-array-declarator-static.c:5:38: error: duplicate array static declarator
12 abstract-array-declarator-static.c:6:38: error: duplicate array static declarator
13  * check-error-end
14  */
15