diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-23 05:59:18 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-23 23:23:53 +0200 |
| commit | 279d8171c795e4e2af205b00631d4a5b8f880910 (patch) | |
| tree | aa499652b70d504d4baa6adee2d319bf7461aec9 | |
| parent | e078347c520eccd957b2b45ce848e51e65dc55d5 (diff) | |
| download | sparse-279d8171c795e4e2af205b00631d4a5b8f880910.tar.gz | |
add testcases for C99 array declarators
C99 introduced some funky new array declarators, those with
'restrict' or 'static' inside the brackets.
Add some testcases for them.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -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 + */ |