From a0163772ee748796160ac8c2ae3b1376fef2bcf2 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin_nowack@tu-dresden.de>
Date: Thu, 2 Nov 2017 10:19:07 +0100
Subject: Fixed handling of constant vectors with complex data

---
 lib/Core/ExecutorUtil.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

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) &&
-- 
cgit 1.4.1