From 5fe62b55508a9374519b363f08fc9bf32a0c5151 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Mon, 15 Jan 2018 10:27:54 +0100 Subject: 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 --- include/klee/Config/Version.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'include') diff --git a/include/klee/Config/Version.h b/include/klee/Config/Version.h index 53205160..a02ce28b 100644 --- a/include/klee/Config/Version.h +++ b/include/klee/Config/Version.h @@ -27,4 +27,10 @@ # define KLEE_LLVM_CL_VAL_END , clEnumValEnd #endif +#if LLVM_VERSION_CODE >= LLVM_VERSION(5, 0) +# define KLEE_LLVM_GOIF_TERMINATOR +#else +# define KLEE_LLVM_GOIF_TERMINATOR , NULL +#endif + #endif -- cgit 1.4.1