Searched refs:GRBugReporter (Results 1 – 3 of 3) sorted by relevance
513 class GRBugReporter : public BugReporter {517 GRBugReporter(BugReporterData& d, ExprEngine& eng) in GRBugReporter() function520 ~GRBugReporter() override;558 GRBugReporter &BR;564 BugReporterContext(GRBugReporter &br, InterExplodedGraphMap &Backmap) in BugReporterContext()569 GRBugReporter& getBugReporter() { return BR; } in getBugReporter()
353 PathDiagnosticBuilder(GRBugReporter &br, in PathDiagnosticBuilder()2230 GRBugReporter::~GRBugReporter() = default;2234 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph()2237 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager()2598 GRBugReporter &Reporter) { in findValidReport()2645 GRBugReporter::generatePathDiagnostics( in generatePathDiagnostics()
147 GRBugReporter BR;