Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
67 changes: 30 additions & 37 deletions clang/include/clang/StaticAnalyzer/Core/CheckerManager.h
Original file line number Diff line number Diff line change
Expand Up @@ -185,13 +185,11 @@ class CheckerManager {
StringRef OptionName,
StringRef ExpectedValueDesc) const;

using CheckerRef = CheckerBase *;
using CheckerTag = const void *;
using CheckerDtor = CheckerFn<void ()>;

//===----------------------------------------------------------------------===//
// Checker registration.
//===----------------------------------------------------------------------===//
//===--------------------------------------------------------------------===//
// Checker registration.
//===--------------------------------------------------------------------===//

/// Used to register checkers.
/// All arguments are automatically passed through to the checker
Expand All @@ -200,25 +198,25 @@ class CheckerManager {
/// \returns a pointer to the checker object.
template <typename CHECKER, typename... AT>
CHECKER *registerChecker(AT &&... Args) {
CheckerTag tag = getTag<CHECKER>();
CheckerRef &ref = CheckerTags[tag];
assert(!ref && "Checker already registered, use getChecker!");

CHECKER *checker = new CHECKER(std::forward<AT>(Args)...);
checker->Name = CurrentCheckerName;
CheckerDtors.push_back(CheckerDtor(checker, destruct<CHECKER>));
CHECKER::_register(checker, *this);
ref = checker;
return checker;
CheckerTag Tag = getTag<CHECKER>();
std::unique_ptr<CheckerBase> &Ref = CheckerTags[Tag];
assert(!Ref && "Checker already registered, use getChecker!");

std::unique_ptr<CHECKER> Checker =
std::make_unique<CHECKER>(std::forward<AT>(Args)...);
Checker->Name = CurrentCheckerName;
CHECKER::_register(Checker.get(), *this);
Ref = std::move(Checker);
return static_cast<CHECKER *>(Ref.get());
}

template <typename CHECKER>
CHECKER *getChecker() {
CheckerTag tag = getTag<CHECKER>();
assert(CheckerTags.count(tag) != 0 &&
"Requested checker is not registered! Maybe you should add it as a "
"dependency in Checkers.td?");
return static_cast<CHECKER *>(CheckerTags[tag]);
CheckerTag Tag = getTag<CHECKER>();
std::unique_ptr<CheckerBase> &Ref = CheckerTags[Tag];
assert(Ref && "Requested checker is not registered! Maybe you should add it"
" as a dependency in Checkers.td?");
return static_cast<CHECKER *>(Ref.get());
}

template <typename CHECKER> bool isRegisteredChecker() {
Expand Down Expand Up @@ -462,9 +460,9 @@ class CheckerManager {
unsigned int Space = 0,
bool IsDot = false) const;

//===----------------------------------------------------------------------===//
//===--------------------------------------------------------------------===//
// Internal registration functions for AST traversing.
//===----------------------------------------------------------------------===//
//===--------------------------------------------------------------------===//

// Functions used by the registration mechanism, checkers should not touch
// these directly.
Expand All @@ -478,9 +476,9 @@ class CheckerManager {

void _registerForBody(CheckDeclFunc checkfn);

//===----------------------------------------------------------------------===//
// Internal registration functions for path-sensitive checking.
//===----------------------------------------------------------------------===//
//===--------------------------------------------------------------------===//
// Internal registration functions for path-sensitive checking.
//===--------------------------------------------------------------------===//

using CheckStmtFunc = CheckerFn<void (const Stmt *, CheckerContext &)>;

Expand Down Expand Up @@ -582,9 +580,9 @@ class CheckerManager {

void _registerForEndOfTranslationUnit(CheckEndOfTranslationUnit checkfn);

//===----------------------------------------------------------------------===//
// Internal registration functions for events.
//===----------------------------------------------------------------------===//
//===--------------------------------------------------------------------===//
// Internal registration functions for events.
//===--------------------------------------------------------------------===//

using EventTag = void *;
using CheckEventFunc = CheckerFn<void (const void *event)>;
Expand All @@ -611,20 +609,15 @@ class CheckerManager {
Checker(&event);
}

//===----------------------------------------------------------------------===//
// Implementation details.
//===----------------------------------------------------------------------===//
//===--------------------------------------------------------------------===//
// Implementation details.
//===--------------------------------------------------------------------===//

private:
template <typename CHECKER>
static void destruct(void *obj) { delete static_cast<CHECKER *>(obj); }

template <typename T>
static void *getTag() { static int tag; return &tag; }

llvm::DenseMap<CheckerTag, CheckerRef> CheckerTags;

std::vector<CheckerDtor> CheckerDtors;
llvm::DenseMap<CheckerTag, std::unique_ptr<CheckerBase>> CheckerTags;

struct DeclCheckerInfo {
CheckDeclFunc CheckFn;
Expand Down
8 changes: 4 additions & 4 deletions clang/lib/StaticAnalyzer/Frontend/CreateCheckerManager.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@
//
//===----------------------------------------------------------------------===//

#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
#include <memory>
Expand Down Expand Up @@ -40,10 +41,9 @@ CheckerManager::CheckerManager(AnalyzerOptions &AOptions,
Registry.initializeRegistry(*this);
}

CheckerManager::~CheckerManager() {
for (const auto &CheckerDtor : CheckerDtors)
CheckerDtor();
}
// This is declared here to ensure that the destructors of `CheckerBase` and
// `CheckerRegistryData` are available.
CheckerManager::~CheckerManager() = default;

} // namespace ento
} // namespace clang