142                                 SourceLocation JoinLoc, LockErrorKind LEK,
866                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
869       Handler.handleMutexHeldEndOfScope("mutex", toString(), loc(), JoinLoc,  in handleRemovalFromIntersection()
923                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
933             "mutex", sx::toString(UnderlyingMutex.getPointer()), loc(), JoinLoc,  in handleRemovalFromIntersection()
1056                         SourceLocation JoinLoc, LockErrorKind EntryLEK,
1060                         SourceLocation JoinLoc, LockErrorKind LEK) {  in intersectAndWarn()  argument
1061     intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK);  in intersectAndWarn()
2232                                             SourceLocation JoinLoc,  in intersectAndWarn()  argument
2247       ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc,  in intersectAndWarn()
2259         EntryFact->handleRemovalFromIntersection(EntrySetOrig, FactMan, JoinLoc,  in intersectAndWarn()