From e42a614b850ce3f1ea008e2d0ba02c387eb0dccd Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Wed, 24 Jun 2009 14:51:24 +0000
Subject: Update for LLVM API change.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74075 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Core/Executor.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib/Core')

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 {
-- 
cgit 1.4.1