Lines Matching refs:Handler
68 static void warnInvalidLock(ThreadSafetyHandler &Handler, in warnInvalidLock() argument
77 Handler.handleInvalidLockExp(Loc); in warnInvalidLock()
140 ThreadSafetyHandler &Handler) const = 0;
143 ThreadSafetyHandler &Handler) const = 0;
147 ThreadSafetyHandler &Handler) const = 0;
866 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
868 Handler.handleMutexHeldEndOfScope(getKind(), toString(), loc(), JoinLoc, in handleRemovalFromIntersection()
874 ThreadSafetyHandler &Handler) const override { in handleLock()
875 Handler.handleDoubleLock(entry.getKind(), entry.toString(), loc(), in handleLock()
882 ThreadSafetyHandler &Handler) const override { in handleUnlock()
925 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
932 Handler.handleMutexHeldEndOfScope(UnderlyingMutex.Cap.getKind(), in handleRemovalFromIntersection()
940 ThreadSafetyHandler &Handler) const override { in handleLock()
944 &Handler); in handleLock()
946 unlock(FSet, FactMan, UnderlyingMutex.Cap, entry.loc(), &Handler); in handleLock()
953 ThreadSafetyHandler &Handler) const override { in handleUnlock()
958 ThreadSafetyHandler *TSHandler = FullyRemove ? nullptr : &Handler; in handleUnlock()
975 ThreadSafetyHandler *Handler) const { in lock()
977 if (Handler) in lock()
978 Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact->loc(), in lock()
988 SourceLocation loc, ThreadSafetyHandler *Handler) const { in unlock()
993 } else if (Handler) { in unlock()
997 Handler->handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), loc, PrevLoc); in unlock()
1011 ThreadSafetyHandler &Handler; member in __anon721e4a080a11::ThreadSafetyAnalyzer
1021 : Arena(&Bpa), SxBuilder(Arena), Handler(H), GlobalBeforeSet(Bset) {} in ThreadSafetyAnalyzer()
1162 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()
1169 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation()); in checkBeforeAfter()
1260 Handler.handleNegativeNotHeld(Entry->getKind(), Entry->toString(), in addLock()
1266 if (Handler.issueBetaWarnings() && in addLock()
1275 Cp->handleLock(FSet, FactMan, *Entry, Handler); in addLock()
1294 Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc, in removeLock()
1302 Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(), in removeLock()
1306 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler); in removeLock()
1319 warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind()); in getMutexIDs()
1331 warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind()); in getMutexIDs()
1585 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexNotHeld()
1595 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexNotHeld()
1608 Analyzer->Handler.handleNegativeNotHeld(D, Cp.toString(), Loc); in warnIfMutexNotHeld()
1622 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), in warnIfMutexNotHeld()
1626 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), in warnIfMutexNotHeld()
1633 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), in warnIfMutexNotHeld()
1645 warnInvalidLock(Analyzer->Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexHeld()
1653 Analyzer->Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(), in warnIfMutexHeld()
1720 Analyzer->Handler.handleNoMutexHeld(D, POK, AK, Loc); in checkAccess()
1758 Analyzer->Handler.handleNoMutexHeld(D, PtPOK, AK, Exp->getExprLoc()); in checkPtAccess()
2150 Handler.handleExclusiveAndShared(B.getKind(), B.toString(), B.loc(), in join()
2192 EntryLEK, Handler); in intersectAndWarn()
2204 ExitLEK, Handler); in intersectAndWarn()
2258 Handler.enterFunction(CurrentFunction); in runAnalysis()
2486 Handler.leaveFunction(CurrentFunction); in runAnalysis()
2495 ThreadSafetyHandler &Handler, in runThreadSafetyAnalysis() argument
2499 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis()