Lines Matching refs:Handler

70 static void warnInvalidLock(ThreadSafetyHandler &Handler,  in warnInvalidLock()  argument
79 Handler.handleInvalidLockExp(Kind, Loc); in warnInvalidLock()
139 ThreadSafetyHandler &Handler) const = 0;
141 const FactEntry &entry, ThreadSafetyHandler &Handler,
145 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(), entry.loc()); in handleLock()
882 bool FullyRemove, ThreadSafetyHandler &Handler, in handleUnlock() argument
928 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
936 Handler.handleMutexHeldEndOfScope( in handleRemovalFromIntersection()
944 ThreadSafetyHandler &Handler, in handleLock() argument
950 lock(FSet, FactMan, UnderCp, entry.kind(), entry.loc(), &Handler, in handleLock()
953 unlock(FSet, FactMan, UnderCp, entry.loc(), &Handler, DiagKind); in handleLock()
959 bool FullyRemove, ThreadSafetyHandler &Handler, in handleUnlock() argument
967 ThreadSafetyHandler *TSHandler = FullyRemove ? nullptr : &Handler; in handleUnlock()
983 LockKind kind, SourceLocation loc, ThreadSafetyHandler *Handler, in lock() argument
989 } else if (Handler) { in lock()
990 Handler->handleDoubleLock(DiagKind, Cp.toString(), loc); in lock()
995 SourceLocation loc, ThreadSafetyHandler *Handler, in unlock() argument
1001 } else if (Handler) { in unlock()
1002 Handler->handleUnmatchedUnlock(DiagKind, Cp.toString(), loc); in unlock()
1016 ThreadSafetyHandler &Handler; member in __anonef2eab400a11::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()
1299 Handler.handleNegativeNotHeld(DiagKind, Entry->toString(), in addLock()
1305 if (Handler.issueBetaWarnings() && in addLock()
1314 Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind); in addLock()
1331 Handler.handleUnmatchedUnlock(DiagKind, Cp.toString(), UnlockLoc); in removeLock()
1338 Handler.handleIncorrectUnlockKind(DiagKind, Cp.toString(), in removeLock()
1342 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler, in removeLock()
1356 warnInvalidLock(Handler, nullptr, D, Exp, ClassifyDiagnostic(Attr)); in getMutexIDs()
1368 warnInvalidLock(Handler, nullptr, D, Exp, ClassifyDiagnostic(Attr)); in getMutexIDs()
1621 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexNotHeld()
1631 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexNotHeld()
1644 Analyzer->Handler.handleMutexNotHeld("", D, POK, Cp.toString(), in warnIfMutexNotHeld()
1659 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1663 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1670 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Cp.toString(), in warnIfMutexNotHeld()
1680 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, DiagKind); in warnIfMutexHeld()
1688 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexHeld()
1744 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK, AK, Loc); in checkAccess()
1783 Analyzer->Handler.handleNoMutexHeld("mutex", D, PtPOK, AK, in checkPtAccess()
2202 Handler.handleExclusiveAndShared("mutex", LDat2->toString(), in intersectAndWarn()
2215 Handler); in intersectAndWarn()
2226 Handler); in intersectAndWarn()
2280 Handler.enterFunction(CurrentFunction); in runAnalysis()
2541 Handler.leaveFunction(CurrentFunction); in runAnalysis()
2550 ThreadSafetyHandler &Handler, in runThreadSafetyAnalysis() argument
2554 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis()