Searched refs:PathSensitiveBugReporter (Results 1 – 3 of 3) sorted by relevance
683 class PathSensitiveBugReporter final : public BugReporter {697 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter() function722 PathSensitiveBugReporter &BR;727 BugReporterContext(PathSensitiveBugReporter &br) : BR(br) {} in BugReporterContext()731 PathSensitiveBugReporter& getBugReporter() { return BR; } in getBugReporter()732 const PathSensitiveBugReporter &getBugReporter() const { return BR; } in getBugReporter()
233 PathSensitiveBugReporter &Reporter);2519 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()2523 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager()2889 PathSensitiveBugReporter &Reporter) { in findValidReport()2955 PathSensitiveBugReporter::generatePathDiagnostics( in generatePathDiagnostics()3004 void PathSensitiveBugReporter::emitReport(std::unique_ptr<BugReport> R) { in emitReport()3042 BugReport *PathSensitiveBugReporter::findReportInEquivalenceClass( in findReportInEquivalenceClass()3371 PathSensitiveBugReporter::generateDiagnosticForConsumerMap( in generateDiagnosticForConsumerMap()
172 PathSensitiveBugReporter BR;