aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
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:20:30 +0200
commite078347c520eccd957b2b45ce848e51e65dc55d5 (patch)
tree6049a0a8fdbee12e07cf22b14393f64894b0544f /validation
parent8702f4e5e4090bfd67bdac2962e4d65f6e07bc36 (diff)
downloadsparse-dev-e078347c520eccd957b2b45ce848e51e65dc55d5.tar.gz
do not accept comma expressions in array declarator
Comma expressions are not allowed for the size in an array declarator. So, change the parsing of these expressions to only accept assignment-expressions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
-rw-r--r--validation/abstract-array-declarator.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/abstract-array-declarator.c b/validation/abstract-array-declarator.c
index f230e586..ca182373 100644
--- a/validation/abstract-array-declarator.c
+++ b/validation/abstract-array-declarator.c
@@ -3,7 +3,6 @@ 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