[klee-dev] Effect of --optimize

[Frank Busse]

Hi,


On Thu, 23 Sep 2021 21:32:10 +0100
Eduardo R B Marques <ebmarques at 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