diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-11-04 19:22:17 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-11-06 15:48:43 -0500 |
| commit | 4bbcda1a6467863ff6585b09f2b289198a8637dc (patch) | |
| tree | 332ef45da950f8435a06e83c23ebb2edc33c81b3 /test | |
| parent | 548e51daca5d53127b1ba5988048a23b8cd6c17b (diff) | |
| download | klee-4bbcda1a6467863ff6585b09f2b289198a8637dc.tar.gz | |
fix: actually set -O0 in test/concrete/CMakeLists.txt
`-O0` has to be used in conjunction with, not instead of `-Xclang -disable-O0-optnone`
Diffstat (limited to 'test')
| -rw-r--r-- | test/Concrete/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/lit.site.cfg.in | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/test/Concrete/CMakeLists.txt b/test/Concrete/CMakeLists.txt index 7fad17b9..0f565bed 100644 --- a/test/Concrete/CMakeLists.txt +++ b/test/Concrete/CMakeLists.txt @@ -7,7 +7,7 @@ # #===------------------------------------------------------------------------===# if (${LLVM_VERSION_MAJOR} GREATER 4) - set(OZERO_OPT "-Xclang -disable-O0-optnone") + set(OZERO_OPT "-O0 -Xclang -disable-O0-optnone") else() set(OZERO_OPT "-O0") endif() diff --git a/test/lit.site.cfg.in b/test/lit.site.cfg.in index 6bb0e297..5f3c777a 100644 --- a/test/lit.site.cfg.in +++ b/test/lit.site.cfg.in @@ -21,6 +21,8 @@ config.llvmgxx = "@LLVMCXX@" config.cc = "@NATIVE_CC@" config.cxx = "@NATIVE_CXX@" +# NOTE: any changes to compiler flags also have to be applied to +# test/Concrete/CMakeLists.txt config.O0opt = "-O0" if @LLVM_VERSION_MAJOR@ >= 5: config.O0opt += " -Xclang -disable-O0-optnone" |