From 36c9fe87bb38d20850ca50d60facd019af54aa30 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Mon, 17 Aug 2009 00:54:57 +0000 Subject: Update for LLVM API change. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@79217 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Core/Executor.cpp') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index c69570ae..35238793 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1337,7 +1337,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { if (!isVoidReturn) { const Type *t = caller->getType(); - if (t != Type::VoidTy) { + if (t != Type::getVoidTy(getGlobalContext())) { // may need to do coercion due to bitcasts Expr::Width from = result->getWidth(); Expr::Width to = Expr::getWidthForLLVMType(t); @@ -2623,7 +2623,7 @@ void Executor::callExternalFunction(ExecutionState &state, } const Type *resultType = target->inst->getType(); - if (resultType != Type::VoidTy) { + if (resultType != Type::getVoidTy(getGlobalContext())) { ref e = ConstantExpr::fromMemory((void*) args, Expr::getWidthForLLVMType(resultType)); bindLocal(target, state, e); -- cgit 1.4.1