diff options
author | Ben Dooks <ben.dooks@codethink.co.uk> | 2018-10-30 10:36:26 +0000 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-05 12:56:10 +0200 |
commit | efc02e9ee225d1327be004181da74f59f2aa2c11 (patch) | |
tree | 04803b041d535bde1eecd7aab2be20be38290721 /validation/varargs-format-tests.c | |
parent | 375690b61e8ec4735b19bcead756ba526edab57e (diff) | |
download | sparse-efc02e9ee225d1327be004181da74f59f2aa2c11.tar.gz |
evaluate: check variadic argument types against format stringformat-check
The variadic argument code did not check any of the variadic arguments
as it did not previously know the possible type. Now we have the possible
formatting information stored in the ctype, we can do some checks on the
printf formatting types.
Signed-off-by: Ben Dooks <ben.dooks@codethink.co.uk>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/varargs-format-tests.c')
-rw-r--r-- | validation/varargs-format-tests.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/varargs-format-tests.c b/validation/varargs-format-tests.c index 4d80a9ce..659bbe94 100644 --- a/validation/varargs-format-tests.c +++ b/validation/varargs-format-tests.c @@ -46,7 +46,6 @@ static void test4(int i, unsigned int u) /* * check-name: variadic formatting tests for width/precisions * check-command: sparse -Wformat $file - * check-known-to-fail * * check-error-start varargs-format-tests.c:10:12: warning: cannot evaluate type '%3$*2$-d' |