implied: Preserve ->hard_max for fake history states
[smatch.git] / validation / abstract-array-declarator-static.c
blob92f06bdc6d99f5adb47a67f05ee98cc617812406
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 */
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