1 //=== AnalysisBasedWarnings.cpp - Sema warnings based on libAnalysis ------===//
10 // Together they are used by Sema to issue warnings based on inexpensive
127   // the majority of warnings in headers are false positives.  These  in CheckUnreachable()
1017 /// as a warning. If a particular use is one we omit warnings for, returns
1439   // Sort by first use so that we emit the warnings in a deterministic order.  in diagnoseRepeatedUseOfWeak()
1468   // Iterate through the sorted problems and emit warnings for each.  in diagnoseRepeatedUseOfWeak()
1541     // multiple warnings.  in operator ()()
1675   // Report all of the warnings we've gathered for the given block.
1682   // Discard all of the warnings we've gathered for the given block.
1729       // We shouldn't report these warnings on blocks immediately  in handleNeverCalled()
1798   DiagList Warnings;  member in clang::threadSafety::__anon9476153b1111::ThreadSafetyReporter
1866     Warnings.sort(SortDiagBySourceLocation(S.getSourceManager()));  in emitDiagnostics()
1867     for (const auto &Diag : Warnings) {  in emitDiagnostics()
1877     Warnings.emplace_back(std::move(Warning), getNotes());  in handleInvalidLockExp()
1886     Warnings.emplace_back(std::move(Warning),  in handleUnmatchedUnlock()
1899     Warnings.emplace_back(std::move(Warning),  in handleIncorrectUnlockKind()
1909     Warnings.emplace_back(std::move(Warning),  in handleDoubleLock()
1937     Warnings.emplace_back(std::move(Warning),  in handleMutexHeldEndOfScope()
1949     Warnings.emplace_back(std::move(Warning), getNotes(Note));  in handleExclusiveAndShared()
1961     Warnings.emplace_back(std::move(Warning), getNotes());  in handleNoMutexHeld()
2002         Warnings.emplace_back(std::move(Warning), getNotes(Note, VNote));  in handleMutexNotHeld()
2004         Warnings.emplace_back(std::move(Warning), getNotes(Note));  in handleMutexNotHeld()
2035         Warnings.emplace_back(std::move(Warning), getNotes(Note));  in handleMutexNotHeld()
2037         Warnings.emplace_back(std::move(Warning), getNotes());  in handleMutexNotHeld()
2046     Warnings.emplace_back(std::move(Warning), getNotes());  in handleNegativeNotHeld()
2053     Warnings.emplace_back(std::move(Warning), getNotes());  in handleNegativeNotHeld()
2060     Warnings.emplace_back(std::move(Warning), getNotes());  in handleFunExcludesLock()
2067     Warnings.emplace_back(std::move(Warning), getNotes());  in handleLockAcquiredBefore()
2073     Warnings.emplace_back(std::move(Warning), getNotes());  in handleBeforeAfterCycle()
2098   DiagList Warnings;  member in clang::consumed::__anon9476153b1211::ConsumedWarningsHandler
2105     Warnings.sort(SortDiagBySourceLocation(S.getSourceManager()));  in emitDiagnostics()
2106     for (const auto &Diag : Warnings) {  in emitDiagnostics()
2118     Warnings.emplace_back(std::move(Warning), OptionalNotes());  in warnLoopStateMismatch()
2130     Warnings.emplace_back(std::move(Warning), OptionalNotes());  in warnParamReturnTypestateMismatch()
2139     Warnings.emplace_back(std::move(Warning), OptionalNotes());  in warnParamTypestateMismatch()
2147     Warnings.emplace_back(std::move(Warning), OptionalNotes());  in warnReturnTypestateForUnconsumableType()
2156     Warnings.emplace_back(std::move(Warning), OptionalNotes());  in warnReturnTypestateMismatch()
2165     Warnings.emplace_back(std::move(Warning), OptionalNotes());  in warnUseOfTempInInvalidState()
2174     Warnings.emplace_back(std::move(Warning), OptionalNotes());  in warnUseInInvalidState()
2402 //  warnings on a function, method, or block.
2516     // exit if having uncompilable errors or ignoring all warnings:  in IssueWarnings()
2546   // Emit per-function analysis-based warnings that require the whole-TU  in IssueWarnings()
2560   // We avoid doing analysis-based warnings when there are errors for  in IssueWarnings()
2806   llvm::errs() << "\n*** Analysis Based Warnings Stats:\n";  in PrintStats()