From 0c0e1045b4f784e0f72fd1286a97c7701152d412 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Fri, 20 Jul 2018 10:06:29 +0200 Subject: llvm5: CallSite.paramHasAttr is indexed from 0 Since LLVM 5 commit 1f8f0490690b, CallSite.paramHasAttr is indexed from 0, so make sure we use correct indexing in klee. And use CallSite.hasRetAttr for return attributes. Signed-off-by: Jiri Slaby --- lib/Core/Executor.cpp | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'lib/Core') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 24211453..2e5b864c 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1531,7 +1531,11 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { CallSite(cast(caller))); // XXX need to check other param attrs ? - bool isSExt = cs.paramHasAttr(0, llvm::Attribute::SExt); +#if LLVM_VERSION_CODE >= LLVM_VERSION(5, 0) + bool isSExt = cs.hasRetAttr(llvm::Attribute::SExt); +#else + bool isSExt = cs.paramHasAttr(0, llvm::Attribute::SExt); +#endif if (isSExt) { result = SExtExpr::create(result, to); } else { @@ -1829,7 +1833,11 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { if (from != to) { // XXX need to check other param attrs ? +#if LLVM_VERSION_CODE >= LLVM_VERSION(5, 0) + bool isSExt = cs.paramHasAttr(i, llvm::Attribute::SExt); +#else bool isSExt = cs.paramHasAttr(i+1, llvm::Attribute::SExt); +#endif if (isSExt) { arguments[i] = SExtExpr::create(arguments[i], to); } else { -- cgit 1.4.1