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 -O0 -Xclang -disable-O0-optnone?

Or upgrade to -O1 and use -O1 -Xclang -disable-llvm-passes?

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