139                                 SourceLocation JoinLoc, LockErrorKind LEK,
865                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
868       Handler.handleMutexHeldEndOfScope(getKind(), toString(), loc(), JoinLoc,  in handleRemovalFromIntersection()
924                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
934                                           JoinLoc, LEK);  in handleRemovalFromIntersection()
1050                         SourceLocation JoinLoc, LockErrorKind EntryLEK,
1054                         SourceLocation JoinLoc, LockErrorKind LEK) {  in intersectAndWarn()  argument
1055     intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK);  in intersectAndWarn()
2177                                             SourceLocation JoinLoc,  in intersectAndWarn()  argument
2192       ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc,  in intersectAndWarn()
2204         EntryFact->handleRemovalFromIntersection(EntrySetOrig, FactMan, JoinLoc,  in intersectAndWarn()