diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-16 14:06:56 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-19 15:37:46 +0000 |
| commit | 51597914293ac0080f984efcca0e702cff35605f (patch) | |
| tree | a287b279a8e06e365b228b77f2deeea436010af1 /lib/Core | |
| parent | 2558d3e34b4e0a47a1fe224683604ddaec96f69c (diff) | |
| download | klee-51597914293ac0080f984efcca0e702cff35605f.tar.gz | |
Add support to assign debug instructions to optimised code
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/Executor.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 82fe2356..7a676cc3 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -597,7 +597,11 @@ void Executor::initializeGlobalObject(ExecutionState &state, ObjectState *os, for (unsigned i=0, e=cds->getNumElements(); i != e; ++i) initializeGlobalObject(state, os, cds->getElementAsConstant(i), offset + i*elementSize); +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 8) } else if (!isa<UndefValue>(c) && !isa<MetadataAsValue>(c)) { +#else + } else if (!isa<UndefValue>(c)) { +#endif unsigned StoreBits = targetData->getTypeStoreSizeInBits(c->getType()); ref<ConstantExpr> C = evalConstant(c); |