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;
865 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
867 Handler.handleMutexHeldEndOfScope(getKind(), toString(), loc(), JoinLoc, in handleRemovalFromIntersection()
873 ThreadSafetyHandler &Handler) const override { in handleLock()
874 Handler.handleDoubleLock(entry.getKind(), entry.toString(), loc(), in handleLock()
881 ThreadSafetyHandler &Handler) const override { in handleUnlock()
924 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
931 Handler.handleMutexHeldEndOfScope(UnderlyingMutex.Cap.getKind(), in handleRemovalFromIntersection()
939 ThreadSafetyHandler &Handler) const override { in handleLock()
943 &Handler); in handleLock()
945 unlock(FSet, FactMan, UnderlyingMutex.Cap, entry.loc(), &Handler); in handleLock()
952 ThreadSafetyHandler &Handler) const override { in handleUnlock()
957 ThreadSafetyHandler *TSHandler = FullyRemove ? nullptr : &Handler; in handleUnlock()
974 ThreadSafetyHandler *Handler) const { in lock()
976 if (Handler) in lock()
977 Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact->loc(), in lock()
987 SourceLocation loc, ThreadSafetyHandler *Handler) const { in unlock()
992 } else if (Handler) { in unlock()
996 Handler->handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), loc, PrevLoc); in unlock()
1010 ThreadSafetyHandler &Handler; member in __anonfc9fb0060a11::ThreadSafetyAnalyzer
1022 : Arena(&Bpa), SxBuilder(Arena), Handler(H), GlobalBeforeSet(Bset) {} in ThreadSafetyAnalyzer()
1176 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()
1183 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation()); in checkBeforeAfter()
1274 Handler.handleNegativeNotHeld(Entry->getKind(), Entry->toString(), in addLock()
1280 if (Handler.issueBetaWarnings() && in addLock()
1289 Cp->handleLock(FSet, FactMan, *Entry, Handler); in addLock()
1308 Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc, in removeLock()
1316 Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(), in removeLock()
1320 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler); in removeLock()
1333 warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind()); in getMutexIDs()
1345 warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind()); in getMutexIDs()
1598 warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexNotHeld()
1608 Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(), in warnIfMutexNotHeld()
1621 Handler.handleNegativeNotHeld(D, Cp.toString(), Loc); in warnIfMutexNotHeld()
1635 Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc, in warnIfMutexNotHeld()
1639 Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc); in warnIfMutexNotHeld()
1645 Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc); in warnIfMutexNotHeld()
1657 warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexHeld()
1665 Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(), in warnIfMutexHeld()
1733 Handler.handleNoMutexHeld(D, POK, AK, Loc); in checkAccess()
1774 Handler.handleNoMutexHeld(D, PtPOK, AK, Exp->getExprLoc()); in checkPtAccess()
2187 Handler.handleExclusiveAndShared(B.getKind(), B.toString(), B.loc(), in join()
2229 EntryLEK, Handler); in intersectAndWarn()
2241 ExitLEK, Handler); in intersectAndWarn()
2294 Handler.enterFunction(CurrentFunction); in runAnalysis()
2534 Handler.leaveFunction(CurrentFunction); in runAnalysis()
2543 ThreadSafetyHandler &Handler, in runThreadSafetyAnalysis() argument
2547 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis()