about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2023-03-31 07:46:59 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2023-04-06 16:03:03 +0300
commit16010c104775d282525062843e9312b11a13a9aa (patch)
tree9fce03068e3d767a26b70b55fbefc4917500f0bf
parent0bef0499cd9bfe75fd248abecc0146128e8a67a6 (diff)
downloadklee-16010c104775d282525062843e9312b11a13a9aa.tar.gz
Disable "disabling of warnings" for LLVM >= 14
-rw-r--r--include/klee/Support/CompilerWarning.h8
1 files changed, 7 insertions, 1 deletions
diff --git a/include/klee/Support/CompilerWarning.h b/include/klee/Support/CompilerWarning.h
index ce192292..167a775b 100644
--- a/include/klee/Support/CompilerWarning.h
+++ b/include/klee/Support/CompilerWarning.h
@@ -10,6 +10,8 @@
 #ifndef KLEE_INCLUDE_KLEE_SUPPORT_COMPILERWARNING_H
 #define KLEE_INCLUDE_KLEE_SUPPORT_COMPILERWARNING_H
 
+#include "klee/Config/Version.h"
+
 // Disables different warnings
 #if defined(__GNUC__) || defined(__clang__)
 #define ENABLE_PRAGMA(X) _Pragma(#X)
@@ -18,8 +20,12 @@
 #define DISABLE_WARNING(warningName)                                           \
   ENABLE_PRAGMA(GCC diagnostic ignored #warningName)
 
+#if LLVM_VERSION_CODE >= LLVM_VERSION(14, 0)
+#define DISABLE_WARNING_DEPRECATED_DECLARATIONS
+#else
 #define DISABLE_WARNING_DEPRECATED_DECLARATIONS                                \
-  DISABLE_WARNING(-Wdeprecated-declarations)
+  DISABLE_WARNING("-Wdeprecated-declarations")
+#endif
 
 #else