From 3929c711543f9ed3a51d137717cd13eb07b59d7f Mon Sep 17 00:00:00 2001 From: Artem Dergachev Date: Tue, 20 Aug 2019 02:15:50 +0000 Subject: [analyzer] NFC: Rename GRBugReporter to PathSensitiveBugReporter. The GR prefix is super ancient. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@369320 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../StaticAnalyzer/Core/BugReporter/BugReporter.h | 21 +++++++++++---------- .../StaticAnalyzer/Core/PathSensitive/ExprEngine.h | 6 +++--- 2 files changed, 14 insertions(+), 13 deletions(-) (limited to 'include') diff --git a/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h b/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h index 046847b7db..3e9749c0d2 100644 --- a/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h +++ b/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h @@ -405,7 +405,7 @@ public: /// The base class is used for generating path-insensitive class BugReporter { public: - enum Kind { BaseBRKind, GRBugReporterKind }; + enum Kind { BasicBRKind, PathSensitiveBRKind }; private: using BugTypesTy = llvm::ImmutableSet; @@ -437,7 +437,7 @@ protected: public: BugReporter(BugReporterData& d) - : BugTypes(F.getEmptySet()), kind(BaseBRKind), D(d) {} + : BugTypes(F.getEmptySet()), kind(BasicBRKind), D(d) {} virtual ~BugReporter(); /// Generate and flush diagnostics for all bug reports. @@ -504,14 +504,14 @@ private: }; /// GRBugReporter is used for generating path-sensitive reports. -class GRBugReporter : public BugReporter { +class PathSensitiveBugReporter : public BugReporter { ExprEngine& Eng; public: - GRBugReporter(BugReporterData& d, ExprEngine& eng) - : BugReporter(d, GRBugReporterKind), Eng(eng) {} + PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) + : BugReporter(d, PathSensitiveBRKind), Eng(eng) {} - ~GRBugReporter() override = default; + ~PathSensitiveBugReporter() override = default; /// getGraph - Get the exploded graph created by the analysis engine /// for the analyzed method or function. @@ -534,7 +534,7 @@ public: /// classof - Used by isa<>, cast<>, and dyn_cast<>. static bool classof(const BugReporter* R) { - return R->getKind() == GRBugReporterKind; + return R->getKind() == PathSensitiveBRKind; } }; @@ -551,18 +551,19 @@ public: }; class BugReporterContext { - GRBugReporter &BR; + PathSensitiveBugReporter &BR; NodeMapClosure NMC; virtual void anchor(); public: - BugReporterContext(GRBugReporter &br, InterExplodedGraphMap &Backmap) + BugReporterContext(PathSensitiveBugReporter &br, + InterExplodedGraphMap &Backmap) : BR(br), NMC(Backmap) {} virtual ~BugReporterContext() = default; - GRBugReporter& getBugReporter() { return BR; } + PathSensitiveBugReporter& getBugReporter() { return BR; } const ExplodedGraph &getGraph() const { return BR.getGraph(); } diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h index 2629d7121d..eb20b7d6cc 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h @@ -145,9 +145,9 @@ private: ObjCNoReturn ObjCNoRet; /// The BugReporter associated with this engine. It is important that - /// this object be placed at the very end of member variables so that its - /// destructor is called before the rest of the ExprEngine is destroyed. - GRBugReporter BR; + /// this object be placed at the very end of member variables so that its + /// destructor is called before the rest of the ExprEngine is destroyed. + PathSensitiveBugReporter BR; /// The functions which have been analyzed through inlining. This is owned by /// AnalysisConsumer. It can be null. -- cgit v1.2.1