diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-19 18:23:46 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-23 23:25:35 +0200 |
| commit | 06ce9117090be44b6b1b5b34c074f6605f1d9a7d (patch) | |
| tree | 2ce74370d4540a03cff482ab901625a2b8f289e1 /validation | |
| parent | 279d8171c795e4e2af205b00631d4a5b8f880910 (diff) | |
| download | sparse-dev-06ce9117090be44b6b1b5b34c074f6605f1d9a7d.tar.gz | |
simplify & fix parsing of array declarators
Any type qualifier is valid inside an abstract-array-declarator
but currently only 'restrict' is accepted. Also the parsing of
this is somehow more complex than needed and done by comparing
the identifiers instead of being driven by the keyword table.
So, simplify & fix the parsing of these declarators by:
1) using the keyword type KW_QUALIFIER to identify all type
qualifier at once.
2) add a new keyword type just for 'static'
3) folding the helper abstract_array_static_declarator() into
the main function: abstract_array_declarator().
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/abstract-array-declarator-quals.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/abstract-array-declarator-quals.c b/validation/abstract-array-declarator-quals.c index 85a35a2a..e69df902 100644 --- a/validation/abstract-array-declarator-quals.c +++ b/validation/abstract-array-declarator-quals.c @@ -18,5 +18,4 @@ void ok7(int a[const volatile restrict static N]); /* * check-name: abstract-array-declarator-quals - * check-known-to-fail */ |