mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-04-01 12:43:47 +00:00
[analyzer] Fix an bug where statically linked, but not registered checkers weren't recognized
My last patch, D56989, moved the validation of whether a checker exists into its constructor, but we do support statically linked (and non-plugin) checkers that were do not have an entry in Checkers.td. However, the handling of this happens after the creation of the CheckerRegistry object. This patch fixes this bug by moving even this functionality into CheckerRegistry's constructor. llvm-svn: 352284
This commit is contained in:
parent
6162fba57c
commit
98217adb87
@ -81,8 +81,11 @@ namespace ento {
|
||||
/// "core.builtin", or the full name "core.builtin.NoReturnFunctionChecker".
|
||||
class CheckerRegistry {
|
||||
public:
|
||||
CheckerRegistry(ArrayRef<std::string> plugins, DiagnosticsEngine &diags,
|
||||
AnalyzerOptions &AnOpts, const LangOptions &LangOpts);
|
||||
CheckerRegistry(
|
||||
ArrayRef<std::string> plugins, DiagnosticsEngine &diags,
|
||||
AnalyzerOptions &AnOpts, const LangOptions &LangOpts,
|
||||
ArrayRef<std::function<void(CheckerRegistry &)>>
|
||||
checkerRegistrationFns = {});
|
||||
|
||||
/// Initialization functions perform any necessary setup for a checker.
|
||||
/// They should include a call to CheckerManager::registerChecker.
|
||||
|
@ -33,10 +33,8 @@ std::unique_ptr<CheckerManager> ento::createCheckerManager(
|
||||
DiagnosticsEngine &diags) {
|
||||
auto checkerMgr = llvm::make_unique<CheckerManager>(context, opts);
|
||||
|
||||
CheckerRegistry allCheckers(plugins, diags, opts, context.getLangOpts());
|
||||
|
||||
for (const auto &Fn : checkerRegistrationFns)
|
||||
Fn(allCheckers);
|
||||
CheckerRegistry allCheckers(plugins, diags, opts, context.getLangOpts(),
|
||||
checkerRegistrationFns);
|
||||
|
||||
allCheckers.initializeManager(*checkerMgr);
|
||||
allCheckers.validateCheckerOptions();
|
||||
|
@ -91,10 +91,11 @@ CheckerRegistry::getMutableCheckersForCmdLineArg(StringRef CmdLineArg) {
|
||||
return { it, it + size };
|
||||
}
|
||||
|
||||
CheckerRegistry::CheckerRegistry(ArrayRef<std::string> plugins,
|
||||
DiagnosticsEngine &diags,
|
||||
AnalyzerOptions &AnOpts,
|
||||
const LangOptions &LangOpts)
|
||||
CheckerRegistry::CheckerRegistry(
|
||||
ArrayRef<std::string> plugins, DiagnosticsEngine &diags,
|
||||
AnalyzerOptions &AnOpts, const LangOptions &LangOpts,
|
||||
ArrayRef<std::function<void(CheckerRegistry &)>>
|
||||
checkerRegistrationFns)
|
||||
: Diags(diags), AnOpts(AnOpts), LangOpts(LangOpts) {
|
||||
|
||||
// Register builtin checkers.
|
||||
@ -137,6 +138,13 @@ CheckerRegistry::CheckerRegistry(ArrayRef<std::string> plugins,
|
||||
registerPluginCheckers(*this);
|
||||
}
|
||||
|
||||
// Register statically linked checkers, that aren't generated from the tblgen
|
||||
// file, but rather passed their registry function as a parameter in
|
||||
// checkerRegistrationFns.
|
||||
|
||||
for (const auto &Fn : checkerRegistrationFns)
|
||||
Fn(*this);
|
||||
|
||||
// Sort checkers for efficient collection.
|
||||
// FIXME: Alphabetical sort puts 'experimental' in the middle.
|
||||
// Would it be better to name it '~experimental' or something else
|
||||
|
Loading…
x
Reference in New Issue
Block a user