about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2009-06-24 14:51:24 +0000
committerDaniel Dunbar <daniel@zuster.org>2009-06-24 14:51:24 +0000
commite42a614b850ce3f1ea008e2d0ba02c387eb0dccd (patch)
tree033cdccad30b424049f225d6b7ea2adcda2cf76a /lib
parent1242378931c01cdf97dd5fe374719465ef5f0bf4 (diff)
downloadklee-e42a614b850ce3f1ea008e2d0ba02c387eb0dccd.tar.gz
Update for LLVM API change.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74075 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Executor.cpp5
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 005499eb..aca9dd2a 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -1412,8 +1412,9 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
     if (ConstantExpr *CE = dyn_cast<ConstantExpr>(cond)) {
       // Somewhat gross to create these all the time, but fine till we
       // switch to an internal rep.
-      ConstantInt *ci = ConstantInt::get(si->getCondition()->getType(),
-                                         CE->getZExtValue());
+      ConstantInt *ci = 
+        ConstantInt::get(cast<IntegerType>(si->getCondition()->getType()),
+                         CE->getZExtValue());
       unsigned index = si->findCaseValue(ci);
       transferToBasicBlock(si->getSuccessor(index), si->getParent(), state);
     } else {