Lines Matching refs:Handler

63 static void warnInvalidLock(ThreadSafetyHandler &Handler,  in warnInvalidLock()  argument
72 Handler.handleInvalidLockExp(Loc); in warnInvalidLock()
138 ThreadSafetyHandler &Handler) const = 0;
141 ThreadSafetyHandler &Handler) const = 0;
145 ThreadSafetyHandler &Handler) const = 0;
883 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
885 Handler.handleMutexHeldEndOfScope(getKind(), toString(), loc(), JoinLoc, in handleRemovalFromIntersection()
891 ThreadSafetyHandler &Handler) const override { in handleLock()
896 Handler.handleDoubleLock(entry.getKind(), entry.toString(), loc(), in handleLock()
904 ThreadSafetyHandler &Handler) const override { in handleUnlock()
986 ThreadSafetyHandler &Handler) const override { in handleRemovalFromIntersection()
996 Handler.handleMutexHeldEndOfScope(UnderlyingMutex.Cap.getKind(), in handleRemovalFromIntersection()
1004 ThreadSafetyHandler &Handler) const override { in handleLock()
1008 &Handler); in handleLock()
1010 unlock(FSet, FactMan, UnderlyingMutex.Cap, entry.loc(), &Handler); in handleLock()
1017 ThreadSafetyHandler &Handler) const override { in handleUnlock()
1022 ThreadSafetyHandler *TSHandler = FullyRemove ? nullptr : &Handler; in handleUnlock()
1043 ThreadSafetyHandler *Handler) const { in lock()
1049 } else if (Handler) { in lock()
1050 Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact.loc(), loc); in lock()
1060 SourceLocation loc, ThreadSafetyHandler *Handler) const { in unlock()
1072 } else if (Handler) { in unlock()
1076 Handler->handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), loc, PrevLoc); in unlock()
1090 ThreadSafetyHandler &Handler; member in __anon06d2d5b10a11::ThreadSafetyAnalyzer
1102 : Arena(&Bpa), SxBuilder(Arena), Handler(H), GlobalBeforeSet(Bset) {} in ThreadSafetyAnalyzer()
1257 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()
1263 Analyzer.Handler.handleBeforeAfterCycle(L1, Vd->getLocation()); in checkBeforeAfter()
1335 Handler.handleNegativeNotHeld(Entry->getKind(), Entry->toString(), in addLock()
1341 if (Handler.issueBetaWarnings() && in addLock()
1349 Cp->handleLock(FSet, FactMan, *Entry, Handler); in addLock()
1368 Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc, in removeLock()
1376 Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(), in removeLock()
1380 LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler); in removeLock()
1393 warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind()); in getMutexIDs()
1405 warnInvalidLock(Handler, nullptr, D, Exp, Cp.getKind()); in getMutexIDs()
1637 warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexNotHeld()
1647 Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(), in warnIfMutexNotHeld()
1660 Handler.handleNegativeNotHeld(D, Cp.toString(), Loc); in warnIfMutexNotHeld()
1674 Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc, in warnIfMutexNotHeld()
1678 Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc); in warnIfMutexNotHeld()
1684 Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc); in warnIfMutexNotHeld()
1696 warnInvalidLock(Handler, MutexExp, D, Exp, Cp.getKind()); in warnIfMutexHeld()
1704 Handler.handleFunExcludesLock(Cp.getKind(), D->getNameAsString(), in warnIfMutexHeld()
1772 Handler.handleNoMutexHeld(D, POK, AK, Loc); in checkAccess()
1837 Handler.handleNoMutexHeld(D, PtPOK, AK, Exp->getExprLoc()); in checkPtAccess()
2027 Analyzer->Handler.handleMutexNotHeld(Cp.getKind(), D, POK_FunctionCall, in handleCall()
2036 Analyzer->Handler.handleExpectFewerUnderlyingMutexes( in handleCall()
2040 Analyzer->Handler.handleExpectMoreUnderlyingMutexes( in handleCall()
2044 Analyzer->Handler.handleUnmatchedUnderlyingMutexes( in handleCall()
2333 Handler.handleMutexHeldEndOfScope(B.getKind(), B.toString(), B.loc(), in join()
2348 Handler.handleExclusiveAndShared(B.getKind(), B.toString(), B.loc(), in join()
2389 EntryLEK, Handler); in intersectAndWarn()
2402 ExitLEK, Handler); in intersectAndWarn()
2455 Handler.enterFunction(CurrentFunction); in runAnalysis()
2728 Handler.leaveFunction(CurrentFunction); in runAnalysis()
2737 ThreadSafetyHandler &Handler, in runThreadSafetyAnalysis() argument
2741 ThreadSafetyAnalyzer Analyzer(Handler, *BSet); in runThreadSafetyAnalysis()