aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-06-04 10:59:25 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-06-04 23:24:42 +0200
commit2b2e96ab37568f68085be64ba8c2b9e7d71de088 (patch)
treed355459b50dc8ce58c1014104cdbed56dab53cc3 /validation
parent1dd127244b7e1908215843d4ebcff465e70f6156 (diff)
downloadsparse-dev-2b2e96ab37568f68085be64ba8c2b9e7d71de088.tar.gz
dyn-macro: use a table to expand __DATE__, __FILE__, ...
GCC consider these macros as being defined, sparse doesn't. Also sparse uses a sequence of comparisons, one for each of __DATE__, __FILE__, ..., which is not ideal. Fix this by defining and using a table to associate to the corresponding symbol a method doing the expansion. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
-rw-r--r--validation/preprocessor/dynamic.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/preprocessor/dynamic.c b/validation/preprocessor/dynamic.c
index 3622be8d..a829542f 100644
--- a/validation/preprocessor/dynamic.c
+++ b/validation/preprocessor/dynamic.c
@@ -17,7 +17,6 @@ counter
/*
* check-name: dynamic-macros
* check-command: sparse -E $file
- * check-known-to-fail
*
* check-output-start