Lines Matching refs:Handler
69 static void warnInvalidLock(ThreadSafetyHandler &Handler, in warnInvalidLock() argument
78 Handler.handleInvalidLockExp(Kind, Loc); in warnInvalidLock()
143 ThreadSafetyHandler &Handler) const = 0;
145 const FactEntry &entry, ThreadSafetyHandler &Handler,
149 bool FullyRemove, ThreadSafetyHandler &Handler,
867 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
869 Handler.handleMutexHeldEndOfScope("mutex", toString(), loc(), JoinLoc, in handleRemovalFromIntersection()
875 ThreadSafetyHandler &Handler, in handleLock() argument
877 Handler.handleDoubleLock(DiagKind, entry.toString(), loc(), entry.loc()); in handleLock()
882 bool FullyRemove, ThreadSafetyHandler &Handler, in handleUnlock() argument
924 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
932 Handler.handleMutexHeldEndOfScope( in handleRemovalFromIntersection()
940 ThreadSafetyHandler &Handler, in handleLock() argument
946 lock(FSet, FactMan, UnderCp, entry.kind(), entry.loc(), &Handler, in handleLock()
949 unlock(FSet, FactMan, UnderCp, entry.loc(), &Handler, DiagKind); in handleLock()
955 bool FullyRemove, ThreadSafetyHandler &Handler, in handleUnlock() argument
963 ThreadSafetyHandler *TSHandler = FullyRemove ? nullptr : &Handler; in handleUnlock()
979 LockKind kind, SourceLocation loc, ThreadSafetyHandler *Handler, in lock() argument
982 if (Handler) in lock()
983 Handler->handleDoubleLock(DiagKind, Cp.toString(), Fact->loc(), loc); in lock()
992 SourceLocation loc, ThreadSafetyHandler *Handler, in unlock() argument
998 } else if (Handler) { in unlock()
1002 Handler->handleUnmatchedUnlock(DiagKind, Cp.toString(), loc, PrevLoc); in unlock()
1016 ThreadSafetyHandler &Handler; member in __anon68dfda3c0a11::ThreadSafetyAnalyzer
1026 : Arena(&Bpa), SxBuilder(Arena), Handler(H), GlobalBeforeSet(Bset) {} in ThreadSafetyAnalyzer()
1166 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()
1173 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation()); in checkBeforeAfter()
1311 Handler.handleNegativeNotHeld(DiagKind, Entry->toString(), in addLock()
1317 if (Handler.issueBetaWarnings() && in addLock()
1326 Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind); in addLock()
1346 Handler.handleUnmatchedUnlock(DiagKind, Cp.toString(), UnlockLoc, PrevLoc); in removeLock()
1353 Handler.handleIncorrectUnlockKind(DiagKind, Cp.toString(), LDat->kind(), in removeLock()
1357 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler, in removeLock()
1371 warnInvalidLock(Handler, nullptr, D, Exp, ClassifyDiagnostic(Attr)); in getMutexIDs()
1383 warnInvalidLock(Handler, nullptr, D, Exp, ClassifyDiagnostic(Attr)); in getMutexIDs()
1636 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexNotHeld()
1646 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexNotHeld()
1659 Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc); in warnIfMutexNotHeld()
1673 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1677 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1684 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1694 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexHeld()
1702 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexHeld()
1758 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc); in checkAccess()
1797 Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK, in checkPtAccess()
2218 Handler.handleExclusiveAndShared("mutex", LDat2.toString(), LDat2.loc(), in intersectAndWarn()
2232 Handler); in intersectAndWarn()
2243 Handler); in intersectAndWarn()
2297 Handler.enterFunction(CurrentFunction); in runAnalysis()
2551 Handler.leaveFunction(CurrentFunction); in runAnalysis()
2560 ThreadSafetyHandler &Handler, in runThreadSafetyAnalysis() argument
2564 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis()