diff options
| author | Martin Nowack <martin_nowack@tu-dresden.de> | 2017-11-02 10:19:07 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-02-18 12:49:41 +0000 |
| commit | a0163772ee748796160ac8c2ae3b1376fef2bcf2 (patch) | |
| tree | 88ac165858207a53d5c1af5d995a2e2f840413e1 /lib | |
| parent | ffce29c6b6ddf0c002f9e95498571f9e4a6e27bc (diff) | |
| download | klee-a0163772ee748796160ac8c2ae3b1376fef2bcf2.tar.gz | |
Fixed handling of constant vectors with complex data
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Core/ExecutorUtil.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp index 92dee5ac..61d6cf18 100644 --- a/lib/Core/ExecutorUtil.cpp +++ b/lib/Core/ExecutorUtil.cpp @@ -104,8 +104,8 @@ namespace klee { llvm::SmallVector<ref<Expr>, 8> kids; const size_t numOperands = cv->getNumOperands(); kids.reserve(numOperands); - for (unsigned i = 0; i < numOperands; ++i) { - kids.push_back(evalConstant(cv->getOperand(i), ki)); + for (unsigned i = numOperands; i != 0; --i) { + kids.push_back(evalConstant(cv->getOperand(i - 1), ki)); } ref<Expr> res = ConcatExpr::createN(numOperands, kids.data()); assert(isa<ConstantExpr>(res) && |