diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-23 23:07:26 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-23 23:12:15 +0200 |
commit | 8702f4e5e4090bfd67bdac2962e4d65f6e07bc36 (patch) | |
tree | 008c2d0ecb4a3e944f0d424d8fb31f0d1a177831 | |
parent | 4c6cbe557c48205f9b3d2aae4c166cd66446b240 (diff) | |
download | sparse-8702f4e5e4090bfd67bdac2962e4d65f6e07bc36.tar.gz |
add testcase for comma in array declarator
Comma expressions are not allowed for the size in an array
declarator. Add a testcase for this.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | validation/abstract-array-declarator.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/validation/abstract-array-declarator.c b/validation/abstract-array-declarator.c new file mode 100644 index 00000000..f230e586 --- /dev/null +++ b/validation/abstract-array-declarator.c @@ -0,0 +1,12 @@ +void f77(int a[1, 2]); +void c99(int a[(1, 2)]); + +/* + * check-name: abstract-array-declarator + * check-known-to-fail + * + * check-error-start +abstract-array-declarator.c:1:17: error: Expected ] in abstract_array_declarator +abstract-array-declarator.c:1:17: error: got , + * check-error-end + */ |