File 0013-llvm50-SwitchInst-case-functions-now-retur... of Package klee

Overview Repositories Revisions Requests Users Attributes Meta

File 0013-llvm50-SwitchInst-case-functions-now-return-pointers.patch of Package klee (Revision b4f28635c1d9109076efc69c4fe35a44)

Currently displaying revision b4f28635c1d9109076efc69c4fe35a44 , Show latest

From: Jiri Slaby <jirislaby@gmail.com>
Date: Mon, 15 Jan 2018 10:38:35 +0100
Subject: llvm50: SwitchInst case functions now return pointers
Patch-mainline: no

Starting llvm 5, SwitchInst->findCaseValue() now has to be dereferenced
using ->. So do so, otherwise we see:
../lib/Core/Executor.cpp:1598:38: error: no member named 'getCaseSuccessor' in 'llvm::SwitchInst::CaseIteratorImpl<llvm::SwitchInst::CaseHandle>'; did you mean to use '->' instead of '.'?
        BasicBlock *caseSuccessor = i.getCaseSuccessor();
                                     ^

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
---
 lib/Core/Executor.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 51d36b352e5c..75af0fd09bd8 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -1673,7 +1673,11 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
       // switch to an internal rep.
       llvm::IntegerType *Ty = cast<IntegerType>(si->getCondition()->getType());
       ConstantInt *ci = ConstantInt::get(Ty, CE->getZExtValue());
+#if LLVM_VERSION_CODE >= LLVM_VERSION(5, 0)
+      unsigned index = si->findCaseValue(ci)->getSuccessorIndex();
+#else
       unsigned index = si->findCaseValue(ci).getSuccessorIndex();
+#endif
       transferToBasicBlock(si->getSuccessor(index), si->getParent(), state);
     } else {
       // Handle possible different branch targets
-- 
2.18.0

Places

File 0013-llvm50-SwitchInst-case-functions-now-return-pointers.patch of Package klee (Revision b4f28635c1d9109076efc69c4fe35a44)

Places