From: Artem Dergachev Date: Thu, 18 Apr 2019 23:24:50 +0000 (+0000) Subject: [analyzer] NFC: Make reusable unittest mocks reusable. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f9275e59d1d1c8ec7b0fd54994d481bfffa7cc47;p=clang [analyzer] NFC: Make reusable unittest mocks reusable. Put them in a header for other Analyzer unittests to include. Differential Revision: https://reviews.llvm.org/D60739 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@358720 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/unittests/StaticAnalyzer/Reusables.h b/unittests/StaticAnalyzer/Reusables.h new file mode 100644 index 0000000000..aede503acb --- /dev/null +++ b/unittests/StaticAnalyzer/Reusables.h @@ -0,0 +1,58 @@ +//===- unittests/StaticAnalyzer/Reusables.h -------------------------------===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +#include "clang/ASTMatchers/ASTMatchFinder.h" +#include "clang/Frontend/CompilerInstance.h" +#include "clang/CrossTU/CrossTranslationUnit.h" +#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h" + +namespace clang { +namespace ento { + +// Find a declaration in the current AST by name. +template +const T *findDeclByName(const Decl *Where, StringRef Name) { + using namespace ast_matchers; + auto Matcher = decl(hasDescendant(namedDecl(hasName(Name)).bind("d"))); + auto Matches = match(Matcher, *Where, Where->getASTContext()); + assert(Matches.size() == 1 && "Ambiguous name!"); + const T *Node = selectFirst("d", Matches); + assert(Node && "Name not found!"); + return Node; +} + +// A re-usable consumer that constructs ExprEngine out of CompilerInvocation. +class ExprEngineConsumer : public ASTConsumer { +protected: + CompilerInstance &C; + +private: + // We need to construct all of these in order to construct ExprEngine. + CheckerManager ChkMgr; + cross_tu::CrossTranslationUnitContext CTU; + PathDiagnosticConsumers Consumers; + AnalysisManager AMgr; + SetOfConstDecls VisitedCallees; + FunctionSummariesTy FS; + +protected: + ExprEngine Eng; + +public: + ExprEngineConsumer(CompilerInstance &C) + : C(C), ChkMgr(C.getASTContext(), *C.getAnalyzerOpts()), CTU(C), + Consumers(), + AMgr(C.getASTContext(), C.getDiagnostics(), Consumers, + CreateRegionStoreManager, CreateRangeConstraintManager, &ChkMgr, + *C.getAnalyzerOpts()), + VisitedCallees(), FS(), + Eng(CTU, AMgr, &VisitedCallees, &FS, ExprEngine::Inline_Regular) {} +}; + +} // namespace ento +} // namespace clang diff --git a/unittests/StaticAnalyzer/SymbolReaperTest.cpp b/unittests/StaticAnalyzer/SymbolReaperTest.cpp index 8242656570..5d9af3196d 100644 --- a/unittests/StaticAnalyzer/SymbolReaperTest.cpp +++ b/unittests/StaticAnalyzer/SymbolReaperTest.cpp @@ -6,13 +6,8 @@ // //===----------------------------------------------------------------------===// -#include "clang/ASTMatchers/ASTMatchFinder.h" -#include "clang/Frontend/CompilerInstance.h" -#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h" -#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h" -#include "clang/CrossTU/CrossTranslationUnit.h" -#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h" -#include "clang/StaticAnalyzer/Frontend/AnalysisConsumer.h" +#include "Reusables.h" + #include "clang/Tooling/Tooling.h" #include "gtest/gtest.h" @@ -20,50 +15,6 @@ namespace clang { namespace ento { namespace { -using namespace ast_matchers; - -// A re-usable consumer that constructs ExprEngine out of CompilerInvocation. -// TODO: Actually re-use it when we write our second test. -class ExprEngineConsumer : public ASTConsumer { -protected: - CompilerInstance &C; - -private: - // We need to construct all of these in order to construct ExprEngine. - CheckerManager ChkMgr; - cross_tu::CrossTranslationUnitContext CTU; - PathDiagnosticConsumers Consumers; - AnalysisManager AMgr; - SetOfConstDecls VisitedCallees; - FunctionSummariesTy FS; - -protected: - ExprEngine Eng; - - // Find a declaration in the current AST by name. This has nothing to do - // with ExprEngine but turns out to be handy. - // TODO: There's probably a better place for it. - template - const T *findDeclByName(const Decl *Where, StringRef Name) { - auto Matcher = decl(hasDescendant(namedDecl(hasName(Name)).bind("d"))); - auto Matches = match(Matcher, *Where, Eng.getContext()); - assert(Matches.size() == 1 && "Ambiguous name!"); - const T *Node = selectFirst("d", Matches); - assert(Node && "Name not found!"); - return Node; - } - -public: - ExprEngineConsumer(CompilerInstance &C) - : C(C), ChkMgr(C.getASTContext(), *C.getAnalyzerOpts()), CTU(C), - Consumers(), - AMgr(C.getASTContext(), C.getDiagnostics(), Consumers, - CreateRegionStoreManager, CreateRangeConstraintManager, &ChkMgr, - *C.getAnalyzerOpts()), - VisitedCallees(), FS(), - Eng(CTU, AMgr, &VisitedCallees, &FS, ExprEngine::Inline_Regular) {} -}; - class SuperRegionLivenessConsumer : public ExprEngineConsumer { void performTest(const Decl *D) { const auto *FD = findDeclByName(D, "x"); @@ -99,7 +50,7 @@ public: } }; -class SuperRegionLivenessAction: public ASTFrontendAction { +class SuperRegionLivenessAction : public ASTFrontendAction { public: SuperRegionLivenessAction() {} std::unique_ptr CreateASTConsumer(CompilerInstance &Compiler,