Searched refs:PathSensitiveBugReporter (Results 1 – 3 of 3) sorted by relevance
664 class PathSensitiveBugReporter final : public BugReporter {677 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter() function702 PathSensitiveBugReporter &BR;707 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext()711 PathSensitiveBugReporter& getBugReporter() { return BR; } in getBugReporter()
226 PathSensitiveBugReporter &Reporter);2458 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()2462 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()2826 PathSensitiveBugReporter &Reporter) { in findValidReport()2876 PathSensitiveBugReporter::generatePathDiagnostics( in generatePathDiagnostics()2921 void PathSensitiveBugReporter::emitReport(std::unique_ptr<BugReport> R) { in emitReport()2959 BugReport *PathSensitiveBugReporter::findReportInEquivalenceClass( in findReportInEquivalenceClass()3276 PathSensitiveBugReporter::generateDiagnosticForConsumerMap( in generateDiagnosticForConsumerMap()
172 PathSensitiveBugReporter BR;