Searched refs:PathSensitiveBugReporter (Results 1 – 3 of 3) sorted by relevance
668 class PathSensitiveBugReporter final : public BugReporter {681 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter() function706 PathSensitiveBugReporter &BR;711 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext()715 PathSensitiveBugReporter& getBugReporter() { return BR; } in getBugReporter()
229 PathSensitiveBugReporter &Reporter);2462 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()2466 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()2829 PathSensitiveBugReporter &Reporter) { in findValidReport()2879 PathSensitiveBugReporter::generatePathDiagnostics( in generatePathDiagnostics()2928 void PathSensitiveBugReporter::emitReport(std::unique_ptr<BugReport> R) { in emitReport()2966 BugReport *PathSensitiveBugReporter::findReportInEquivalenceClass( in findReportInEquivalenceClass()3282 PathSensitiveBugReporter::generateDiagnosticForConsumerMap( in generateDiagnosticForConsumerMap()
172 PathSensitiveBugReporter BR;