about summary refs log tree commit diff homepage
path: root/lib/Module
diff options
context:
space:
mode:
authorJiri Slaby <jirislaby@gmail.com>2018-01-15 10:27:54 +0100
committerMartinNowack <martin.nowack@gmail.com>2018-10-26 13:31:07 +0100
commit5fe62b55508a9374519b363f08fc9bf32a0c5151 (patch)
tree7980eff90d0a2d598bd330064b825e729c1bc464 /lib/Module
parentad0237344606928b2600182986095320b61634fb (diff)
downloadklee-5fe62b55508a9374519b363f08fc9bf32a0c5151.tar.gz
llvm5: handle getOrInsertFunction terminator
llvm 5 does not terminate getOrInsertFunction parameters with NULL, take
care of that.

Since commit 9d54400bba7eb04bca80fce97fa170452d19eaf1.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Module')
-rw-r--r--lib/Module/Checks.cpp4
-rw-r--r--lib/Module/IntrinsicCleaner.cpp3
2 files changed, 4 insertions, 3 deletions
diff --git a/lib/Module/Checks.cpp b/lib/Module/Checks.cpp
index 9286c491..10481f14 100644
--- a/lib/Module/Checks.cpp
+++ b/lib/Module/Checks.cpp
@@ -73,7 +73,7 @@ bool DivCheckPass::runOnModule(Module &M) {
   KleeIRMetaData md(ctx);
   auto divZeroCheckFunction = cast<Function>(
       M.getOrInsertFunction("klee_div_zero_check", Type::getVoidTy(ctx),
-                            Type::getInt64Ty(ctx), NULL));
+                            Type::getInt64Ty(ctx) KLEE_LLVM_GOIF_TERMINATOR));
 
   for (auto &divInst : divInstruction) {
     llvm::IRBuilder<> Builder(divInst /* Inserts before divInst*/);
@@ -132,7 +132,7 @@ bool OvershiftCheckPass::runOnModule(Module &M) {
   KleeIRMetaData md(ctx);
   auto overshiftCheckFunction = cast<Function>(M.getOrInsertFunction(
       "klee_overshift_check", Type::getVoidTy(ctx), Type::getInt64Ty(ctx),
-      Type::getInt64Ty(ctx), NULL));
+      Type::getInt64Ty(ctx) KLEE_LLVM_GOIF_TERMINATOR));
 
   for (auto &shiftInst : shiftInstructions) {
     llvm::IRBuilder<> Builder(shiftInst);
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp
index c48952c2..ab16a265 100644
--- a/lib/Module/IntrinsicCleaner.cpp
+++ b/lib/Module/IntrinsicCleaner.cpp
@@ -210,7 +210,8 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) {
         // Intrinsic instruction "llvm.trap" found. Directly lower it to
         // a call of the abort() function.
         Function *F = cast<Function>(
-            M.getOrInsertFunction("abort", Type::getVoidTy(ctx), NULL));
+            M.getOrInsertFunction("abort", Type::getVoidTy(ctx)
+		    KLEE_LLVM_GOIF_TERMINATOR));
         F->setDoesNotReturn();
         F->setDoesNotThrow();