aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-07-23 23:07:26 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-07-23 23:12:15 +0200
commit8702f4e5e4090bfd67bdac2962e4d65f6e07bc36 (patch)
tree008c2d0ecb4a3e944f0d424d8fb31f0d1a177831
parent4c6cbe557c48205f9b3d2aae4c166cd66446b240 (diff)
downloadsparse-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.c12
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
+ */