scheck: predefine __SYMBOLIC_CHECKER__

It can be useful to use the same testcase for the symbolic checker
and normal sparse (or test-linearize) processing.

So, there must be a mean to somehow ignore the assertions used
for the symbolic checker when it's not used (since these are otherwise
not known to sparse).

Resolve this by adding a predefine, __SYMBOLIC_CHECKER__, to the
symbolic checker.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>

1 files changed, 1 insertions, 0 deletions

diff --git a/scheck.c b/scheck.c
index 6752b9d9..754fe76f 100644
--- a/scheck.c
+++ b/scheck.c
@@ -352,6 +352,7 @@ int main(int argc, char **argv)
 	sparse_initialize(argc, argv, &filelist);
 
 	declare_builtins(0, builtins_scheck);
+	predefine_strong("__SYMBOLIC_CHECKER__");
 
 	// Expand, linearize and check.
 	FOR_EACH_PTR(filelist, file) {