Hi,
On Thu, 23 Sep 2021 21:32:10 +0100 Eduardo R B Marques <ebmarq...@fc.up.pt> wrote: > (btw clang also removes the call to match irrelevant with -O2, I am > going to check there is an option to disable that kind of > optimisation within clang as well, I suppose there is one ). Could you try the full list of flags: -Xclang -disable-llvm-passes -D__NO_STRING_INLINES -D_FORTIFY_SOURCE=0 -U__OPTIMIZE__ Esp. "-U__OPTIMIZE__" is important. Kind regards, Frank _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev