diff options
-rw-r--r-- | validation/abstract-array-declarator-quals.c | 22 | ||||
-rw-r--r-- | validation/abstract-array-declarator-star.c | 9 |
2 files changed, 31 insertions, 0 deletions
diff --git a/validation/abstract-array-declarator-quals.c b/validation/abstract-array-declarator-quals.c new file mode 100644 index 00000000..85a35a2a --- /dev/null +++ b/validation/abstract-array-declarator-quals.c @@ -0,0 +1,22 @@ +#define N 2 + +void ok1(int []); +void ok2(int [N]); +void ok3(int [const volatile restrict]); +void ok4(int [const volatile restrict N]); +void ok5(int [static N]); +void ok6(int [static const volatile restrict N]); +void ok7(int [const volatile restrict static N]); + +void ok1(int a[]); +void ok2(int a[N]); +void ok3(int a[const volatile restrict]); +void ok4(int a[const volatile restrict N]); +void ok5(int a[static N]); +void ok6(int a[static const volatile restrict N]); +void ok7(int a[const volatile restrict static N]); + +/* + * check-name: abstract-array-declarator-quals + * check-known-to-fail + */ diff --git a/validation/abstract-array-declarator-star.c b/validation/abstract-array-declarator-star.c new file mode 100644 index 00000000..fdbdff19 --- /dev/null +++ b/validation/abstract-array-declarator-star.c @@ -0,0 +1,9 @@ +void ok8(int [*]); + +void ok8(int a[*]); +void ok9(int a[const volatile restrict *]); + +/* + * check-name: abstract-array-declarator-star + * check-known-to-fail + */ |