Searched refs:PathSensitiveBugReporter (Results 1 – 3 of 3) sorted by relevance
666 class PathSensitiveBugReporter final : public BugReporter {679 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter() function704 PathSensitiveBugReporter &BR;709 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext()713 PathSensitiveBugReporter& getBugReporter() { return BR; } in getBugReporter()
224 PathSensitiveBugReporter &Reporter);2450 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()2454 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()2818 PathSensitiveBugReporter &Reporter) { in findValidReport()2868 PathSensitiveBugReporter::generatePathDiagnostics( in generatePathDiagnostics()2913 void PathSensitiveBugReporter::emitReport(std::unique_ptr<BugReport> R) { in emitReport()2951 BugReport *PathSensitiveBugReporter::findReportInEquivalenceClass( in findReportInEquivalenceClass()3270 PathSensitiveBugReporter::generateDiagnosticForConsumerMap( in generateDiagnosticForConsumerMap()
174 PathSensitiveBugReporter BR;