diff --git a/clang/include/clang/StaticAnalyzer/Frontend/CheckerRegistry.h b/clang/include/clang/StaticAnalyzer/Frontend/CheckerRegistry.h index 8f0c7edc58b43..8830542f27d82 100644 --- a/clang/include/clang/StaticAnalyzer/Frontend/CheckerRegistry.h +++ b/clang/include/clang/StaticAnalyzer/Frontend/CheckerRegistry.h @@ -167,7 +167,7 @@ class CheckerRegistry { } bool isDisabled(const LangOptions &LO) const { - return State == StateFromCmdLine::State_Disabled && ShouldRegister(LO); + return State == StateFromCmdLine::State_Disabled || !ShouldRegister(LO); } // Since each checker must have a different full name, we can identify diff --git a/clang/unittests/StaticAnalyzer/RegisterCustomCheckersTest.cpp b/clang/unittests/StaticAnalyzer/RegisterCustomCheckersTest.cpp index d0cf291eb2b8e..8027d3338b699 100644 --- a/clang/unittests/StaticAnalyzer/RegisterCustomCheckersTest.cpp +++ b/clang/unittests/StaticAnalyzer/RegisterCustomCheckersTest.cpp @@ -81,6 +81,66 @@ TEST(RegisterCustomCheckers, CheckLocationIncDec) { runCheckerOnCode("void f() { int *p; (*p)++; }")); } +//===----------------------------------------------------------------------===// +// Unsatisfied checker dependency +//===----------------------------------------------------------------------===// + +class PrerequisiteChecker : public Checker { +public: + void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr, + BugReporter &BR) const { + BR.EmitBasicReport(D, this, "Prerequisite", categories::LogicError, + "This is the prerequisite checker", + PathDiagnosticLocation(D, Mgr.getSourceManager()), {}); + } +}; + +void registerPrerequisiteChecker(CheckerManager &mgr) { + mgr.registerChecker(); +} + +bool shouldRegisterPrerequisiteChecker(const LangOptions &LO) { + return false; +} + +class DependentChecker : public Checker { +public: + void checkASTCodeBody(const Decl *D, AnalysisManager &Mgr, + BugReporter &BR) const { + BR.EmitBasicReport(D, this, "Dependent", categories::LogicError, + "This is the Dependent Checker", + PathDiagnosticLocation(D, Mgr.getSourceManager()), {}); + } +}; + +void registerDependentChecker(CheckerManager &mgr) { + mgr.registerChecker(); +} + +bool shouldRegisterDependentChecker(const LangOptions &LO) { + return true; +} + +void addDependentChecker(AnalysisASTConsumer &AnalysisConsumer, + AnalyzerOptions &AnOpts) { + AnOpts.CheckersAndPackages = {{"custom.Dependent", true}}; + AnalysisConsumer.AddCheckerRegistrationFn([](CheckerRegistry &Registry) { + Registry.addChecker(registerPrerequisiteChecker, + shouldRegisterPrerequisiteChecker, + "custom.Prerequisite", "Description", "", false); + Registry.addChecker(registerDependentChecker, + shouldRegisterDependentChecker, + "custom.Dependent", "Description", "", false); + Registry.addDependency("custom.Dependent", "custom.Prerequisite"); + }); +} + +TEST(RegisterDependentCheckers, RegisterChecker) { + std::string Diags; + EXPECT_TRUE(runCheckerOnCode("void f() {;}", Diags)); + EXPECT_EQ(Diags, ""); +} + } // namespace } // namespace ento } // namespace clang