about summary refs log tree commit diff homepage
path: root/lib/Module
diff options
context:
space:
mode:
authorJiri Slaby <jirislaby@gmail.com>2017-06-07 13:32:53 +0200
committerDan Liew <delcypher@gmail.com>2017-06-12 17:07:05 +0100
commit6204a1faed8f6ed15318be8da3e8e4b5e2f2a4ac (patch)
treefa1d9d9a149cbfa496f26f133e3b44535e729ace /lib/Module
parent5289c6135b7baef600257c614ef52f9af10a22e4 (diff)
downloadklee-6204a1faed8f6ed15318be8da3e8e4b5e2f2a4ac.tar.gz
llvm: don't use clEnumValEnd for LLVM 4.0
It became unnecessary when defining options and mainly undefined.

So introduce KLEE_LLVM_CL_VAL_END as suggested by @delcypher.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Module')
-rw-r--r--lib/Module/KModule.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index 45dc34bf..6438707a 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -92,8 +92,8 @@ namespace {
                         clEnumValN(eSwitchTypeLLVM, "llvm", 
                                    "lower using LLVM"),
                         clEnumValN(eSwitchTypeInternal, "internal", 
-                                   "execute switch internally"),
-                        clEnumValEnd),
+                                   "execute switch internally")
+                        KLEE_LLVM_CL_VAL_END),
              cl::init(eSwitchTypeInternal));
   
   cl::opt<bool>