Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
-O0 is not a recommended option for clang #902
According to https://bugs.llvm.org/show_bug.cgi?id=35950#c10, we should not be using -O0 on its own. So what do you suggest?
Stay with -O0 and extend it to
Or upgrade to -O1 and use
The latter currently causes test failures, as it seems. The former is being built right now at https://travis-ci.org/klee/klee/builds/383711164?utm_source=github_status&utm_medium=notification
As a note this is a fun comparision between the options on our