diff options
author | DonĂ¡t Nagy <donat.nagy@ericsson.com> | 2025-05-26 21:29:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-05-26 21:29:09 +0200 |
commit | 73c49293220bb36e430d9c840568d45c886bd2ab (patch) | |
tree | d9ab862530357ce5e2f70d8a152ce88df65478c6 /clang/lib/StaticAnalyzer | |
parent | 24b97756decb7bf0e26dcf0e30a7a9aaf27f417c (diff) | |
download | llvm-73c49293220bb36e430d9c840568d45c886bd2ab.zip llvm-73c49293220bb36e430d9c840568d45c886bd2ab.tar.gz llvm-73c49293220bb36e430d9c840568d45c886bd2ab.tar.bz2 |
[NFC][analyzer] Rename getTagDescription to getDebugName (#141511)
Co-authored-by: Balazs Benics <benicsbalazs@gmail.com>
Diffstat (limited to 'clang/lib/StaticAnalyzer')
5 files changed, 10 insertions, 11 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp index 95a9582..15d73fb 100644 --- a/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp @@ -41,7 +41,7 @@ public: void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const; /// Identifies this checker family for debugging purposes. - StringRef getTagDescription() const override { return "DivZeroChecker"; } + StringRef getDebugTag() const override { return "DivZeroChecker"; } }; } // end anonymous namespace diff --git a/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp index 67429ee..6c27f58 100644 --- a/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp @@ -55,7 +55,7 @@ public: void checkPreCall(const CallEvent &Call, CheckerContext &C) const; /// Identifies this checker family for debugging purposes. - StringRef getTagDescription() const override { return "VirtualCallChecker"; } + StringRef getDebugTag() const override { return "VirtualCallChecker"; } private: void registerCtorDtorCallInState(bool IsBeginFunction, diff --git a/clang/lib/StaticAnalyzer/Core/Checker.cpp b/clang/lib/StaticAnalyzer/Core/Checker.cpp index f5a07f5..00c829f 100644 --- a/clang/lib/StaticAnalyzer/Core/Checker.cpp +++ b/clang/lib/StaticAnalyzer/Core/Checker.cpp @@ -18,7 +18,7 @@ using namespace ento; int ImplicitNullDerefEvent::Tag; -StringRef CheckerBase::getTagDescription() const { return getName(); } +StringRef CheckerBase::getDebugTag() const { return getName(); } void CheckerBackend::printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const {} @@ -29,4 +29,4 @@ CheckerProgramPointTag::CheckerProgramPointTag(StringRef CheckerName, CheckerProgramPointTag::CheckerProgramPointTag(const CheckerBase *Checker, StringRef Msg) - : SimpleProgramPointTag(Checker->getTagDescription(), Msg) {} + : SimpleProgramPointTag(Checker->getDebugTag(), Msg) {} diff --git a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp index 4c37b65..c82f7b5 100644 --- a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp @@ -138,7 +138,7 @@ namespace { std::string checkerScopeName(StringRef Name, const CheckerBackend *Checker) { if (!llvm::timeTraceProfilerEnabled()) return ""; - StringRef CheckerTag = Checker ? Checker->getTagDescription() : "<unknown>"; + StringRef CheckerTag = Checker ? Checker->getDebugTag() : "<unknown>"; return (Name + ":" + CheckerTag).str(); } @@ -721,12 +721,12 @@ void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst, "while the {2} checker also tried to evaluate the same call. At " "most one checker supposed to evaluate a call.", toString(Call), evaluatorChecker, - EvalCallChecker.Checker->getTagDescription()); + EvalCallChecker.Checker->getDebugTag()); llvm_unreachable(AssertionMessage.c_str()); } #endif if (evaluated) { - evaluatorChecker = EvalCallChecker.Checker->getTagDescription(); + evaluatorChecker = EvalCallChecker.Checker->getDebugTag(); Dst.insert(checkDst); #ifdef NDEBUG break; // on release don't check that no other checker also evals. @@ -797,9 +797,8 @@ void CheckerManager::runCheckersForPrintStateJson(raw_ostream &Out, if (TempBuf.empty()) continue; - Indent(Out, Space, IsDot) - << "{ \"checker\": \"" << CT.second->getTagDescription() - << "\", \"messages\": [" << NL; + Indent(Out, Space, IsDot) << "{ \"checker\": \"" << CT.second->getDebugTag() + << "\", \"messages\": [" << NL; Indent(Out, InnerSpace, IsDot) << '\"' << TempBuf.str().trim() << '\"' << NL; Indent(Out, Space, IsDot) << "]}"; diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index 1afd4b5..518e4bb 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -4029,7 +4029,7 @@ struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits { OtherNode->getLocation().printJson(Out, /*NL=*/"\\l"); Out << ", \"tag\": "; if (const ProgramPointTag *Tag = OtherNode->getLocation().getTag()) - Out << '\"' << Tag->getTagDescription() << '\"'; + Out << '\"' << Tag->getDebugTag() << '\"'; else Out << "null"; Out << ", \"node_id\": " << OtherNode->getID() << |