forked from OSchip/llvm-project
59 lines
2.0 KiB
C
59 lines
2.0 KiB
C
|
//===- 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 <typename T>
|
||
|
|
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<T>("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
|