@@ -138,7 +138,7 @@ namespace {
138138std::string checkerScopeName (StringRef Name, const  CheckerBackend *Checker) {
139139  if  (!llvm::timeTraceProfilerEnabled ())
140140    return  " " 
141-   StringRef CheckerTag = Checker ? Checker->getTagDescription () : " <unknown>" 
141+   StringRef CheckerTag = Checker ? Checker->getDebugTag () : " <unknown>" 
142142  return  (Name + " :" str ();
143143}
144144
@@ -721,12 +721,12 @@ void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
721721            " while the {2} checker also tried to evaluate the same call. At " 
722722            " most one checker supposed to evaluate a call." 
723723            toString (Call), evaluatorChecker,
724-             EvalCallChecker.Checker ->getTagDescription ());
724+             EvalCallChecker.Checker ->getDebugTag ());
725725        llvm_unreachable (AssertionMessage.c_str ());
726726      }
727727#endif 
728728      if  (evaluated) {
729-         evaluatorChecker = EvalCallChecker.Checker ->getTagDescription ();
729+         evaluatorChecker = EvalCallChecker.Checker ->getDebugTag ();
730730        Dst.insert (checkDst);
731731#ifdef  NDEBUG
732732        break ; //  on release don't check that no other checker also evals.
@@ -797,9 +797,8 @@ void CheckerManager::runCheckersForPrintStateJson(raw_ostream &Out,
797797    if  (TempBuf.empty ())
798798      continue ;
799799
800-     Indent (Out, Space, IsDot)
801-         << " { \" checker\" : \" " second ->getTagDescription ()
802-         << " \" , \" messages\" : [" 
800+     Indent (Out, Space, IsDot) << " { \" checker\" : \" " second ->getDebugTag ()
801+                               << " \" , \" messages\" : [" 
803802    Indent (Out, InnerSpace, IsDot)
804803        << ' \" ' str ().trim () << ' \" ' 
805804    Indent (Out, Space, IsDot) << " ]}" 
0 commit comments