Searched refs:PathSensitiveBugReporter (Results 1 – 3 of 3) sorted by relevance
679 class PathSensitiveBugReporter final : public BugReporter {692 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter() function717 PathSensitiveBugReporter &BR;722 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext()726 PathSensitiveBugReporter& getBugReporter() { return BR; } in getBugReporter()727 const PathSensitiveBugReporter &getBugReporter() const { return BR; } in getBugReporter()
239 PathSensitiveBugReporter &Reporter);2476 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()2480 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()2845 PathSensitiveBugReporter &Reporter) { in findValidReport()2910 PathSensitiveBugReporter::generatePathDiagnostics( in generatePathDiagnostics()2959 void PathSensitiveBugReporter::emitReport(std::unique_ptr<BugReport> R) { in emitReport()2997 BugReport *PathSensitiveBugReporter::findReportInEquivalenceClass( in findReportInEquivalenceClass()3324 PathSensitiveBugReporter::generateDiagnosticForConsumerMap( in generateDiagnosticForConsumerMap()
172 PathSensitiveBugReporter BR;