diff options
3 files changed, 8 insertions, 1 deletions
diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h index f0591780b75..c34056c955b 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h @@ -15,7 +15,8 @@ #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTEXPR_H #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTEXPR_H -#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h" +#include "clang/Basic/TargetInfo.h" +#include "llvm/ADT/FoldingSet.h" namespace clang { namespace ento { diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h index bdd3505d621..f01c5b9284b 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h @@ -15,8 +15,12 @@ #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTSOLVER_H #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTSOLVER_H +#include "clang/AST/Expr.h" +#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h" +#include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h" #include "clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h" #include "clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h" +#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h" namespace clang { namespace ento { diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h index 6780dac7516..e5e3844e886 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h @@ -15,6 +15,8 @@ #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTSORT_H #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SMTSORT_H +#include "clang/Basic/TargetInfo.h" + namespace clang { namespace ento { |
