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 __anon3cf8d6650a11::ThreadSafetyAnalyzer
1026 : Arena(&Bpa), SxBuilder(Arena), Handler(H), GlobalBeforeSet(Bset) {} in ThreadSafetyAnalyzer()
1168 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()
1175 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation()); in checkBeforeAfter()
1313 Handler.handleNegativeNotHeld(DiagKind, Entry->toString(), in addLock()
1319 if (Handler.issueBetaWarnings() && in addLock()
1328 Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind); in addLock()
1348 Handler.handleUnmatchedUnlock(DiagKind, Cp.toString(), UnlockLoc, PrevLoc); in removeLock()
1355 Handler.handleIncorrectUnlockKind(DiagKind, Cp.toString(), LDat->kind(), in removeLock()
1359 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler, in removeLock()
1373 warnInvalidLock(Handler, nullptr, D, Exp, ClassifyDiagnostic(Attr)); in getMutexIDs()
1385 warnInvalidLock(Handler, nullptr, D, Exp, ClassifyDiagnostic(Attr)); in getMutexIDs()
1638 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexNotHeld()
1648 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexNotHeld()
1661 Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc); in warnIfMutexNotHeld()
1675 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1679 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1686 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1696 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexHeld()
1704 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexHeld()
1760 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc); in checkAccess()
1799 Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK, in checkPtAccess()
2207 Handler.handleExclusiveAndShared("mutex", B.toString(), B.loc(), A.loc()); in join()
2248 EntryLEK, Handler); in intersectAndWarn()
2260 ExitLEK, Handler); in intersectAndWarn()
2314 Handler.enterFunction(CurrentFunction); in runAnalysis()
2568 Handler.leaveFunction(CurrentFunction); in runAnalysis()
2577 ThreadSafetyHandler &Handler, in runThreadSafetyAnalysis() argument
2581 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis()