From 81ff90b3fc4f38abea2ab9472924dcdf0d1f10fe Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Mon, 27 Mar 2023 15:21:51 +0100 Subject: Support disabling compiler warnings; Use with external headers --- lib/Module/Optimize.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib/Module/Optimize.cpp') diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp index c982b73d..35b9805a 100644 --- a/lib/Module/Optimize.cpp +++ b/lib/Module/Optimize.cpp @@ -18,6 +18,9 @@ #include "klee/Config/Version.h" #include "klee/Support/OptionCategories.h" +#include "klee/Support/CompilerWarning.h" +DISABLE_WARNING_PUSH +DISABLE_WARNING_DEPRECATED_DECLARATIONS #include "llvm/Analysis/GlobalsModRef.h" #include "llvm/Analysis/Passes.h" #include "llvm/Analysis/LoopPass.h" @@ -35,7 +38,7 @@ #include "llvm/Transforms/Scalar.h" #include "llvm/Transforms/Scalar/GVN.h" #include "llvm/Transforms/Utils.h" - +DISABLE_WARNING_POP using namespace llvm; -- cgit 1.4.1