From 15806a1f68178a278c7a297b163d5692fe71cbf2 Mon Sep 17 00:00:00 2001 From: Luc Van Oostenryck Date: Sat, 17 Apr 2021 14:50:03 +0200 Subject: 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 --- scheck.c | 1 + 1 file changed, 1 insertion(+) 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) { -- cgit 1.2.3-korg