Searched refs:PathSensitiveBugReporter (Results 1 – 3 of 3) sorted by relevance
657 class PathSensitiveBugReporter final : public BugReporter {670 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter() function695 PathSensitiveBugReporter &BR;700 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext()704 PathSensitiveBugReporter& getBugReporter() { return BR; } in getBugReporter()
224 PathSensitiveBugReporter &Reporter);2432 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()2436 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()2800 PathSensitiveBugReporter &Reporter) { in findValidReport()2850 PathSensitiveBugReporter::generatePathDiagnostics( in generatePathDiagnostics()2895 void PathSensitiveBugReporter::emitReport(std::unique_ptr<BugReport> R) { in emitReport()2933 BugReport *PathSensitiveBugReporter::findReportInEquivalenceClass( in findReportInEquivalenceClass()3244 PathSensitiveBugReporter::generateDiagnosticForConsumerMap( in generateDiagnosticForConsumerMap()
174 PathSensitiveBugReporter BR;