diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-03-18 13:15:46 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-03-18 13:15:46 +0000 |
| commit | c86988637c411a80556e26e07037dc6dcfade4d3 (patch) | |
| tree | 60847b667a206383b58526991d8bbc688c74caf1 /lib/Core/Executor.cpp | |
| parent | 925bbe4d40cd1a40b95e6304e540223ba4680549 (diff) | |
| download | klee-c86988637c411a80556e26e07037dc6dcfade4d3.tar.gz | |
Patch and test case by Jiri Slaby to handle "initializing globals when
a global has an undef fill of holes inside structures." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@177285 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 3f90c426..fa5835d3 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -361,7 +361,7 @@ void Executor::initializeGlobalObject(ExecutionState &state, ObjectState *os, initializeGlobalObject(state, os, cds->getElementAsConstant(i), offset + i*elementSize); #endif - } else { + } else if (!isa<UndefValue>(c)) { unsigned StoreBits = targetData->getTypeStoreSizeInBits(c->getType()); ref<ConstantExpr> C = evalConstant(c); |