Searched refs:Reporter (Results 1 – 2 of 2) sorted by relevance
2362 threadSafety::ThreadSafetyReporter Reporter(S, FL, FEL); in IssueWarnings() local2364 Reporter.setIssueBetaWarnings(true); in IssueWarnings()2366 Reporter.setVerbose(true); in IssueWarnings()2368 threadSafety::runThreadSafetyAnalysis(AC, Reporter, in IssueWarnings()2370 Reporter.emitDiagnostics(); in IssueWarnings()2409 CalledOnceCheckReporter Reporter(S, IPData->CalledOnceData); in IssueWarnings() local2411 AC, Reporter, in IssueWarnings()
224 PathSensitiveBugReporter &Reporter);2818 PathSensitiveBugReporter &Reporter) { in findValidReport() argument2820 BugPathGetter BugGraph(&Reporter.getGraph(), bugReports); in findValidReport()2838 BugReporterContext BRC(Reporter); in findValidReport()2845 if (Reporter.getAnalyzerOptions().ShouldCrosscheckWithZ3) { in findValidReport()