139                                 SourceLocation JoinLoc, LockErrorKind LEK,
864                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
867       Handler.handleMutexHeldEndOfScope(getKind(), toString(), loc(), JoinLoc,  in handleRemovalFromIntersection()
923                                 SourceLocation JoinLoc, LockErrorKind LEK,  in handleRemovalFromIntersection()  argument
933                                           JoinLoc, LEK);  in handleRemovalFromIntersection()
1051                         SourceLocation JoinLoc, LockErrorKind EntryLEK,
1055                         SourceLocation JoinLoc, LockErrorKind LEK) {  in intersectAndWarn()  argument
1056     intersectAndWarn(EntrySet, ExitSet, JoinLoc, LEK, LEK);  in intersectAndWarn()
2213                                             SourceLocation JoinLoc,  in intersectAndWarn()  argument
2228       ExitFact.handleRemovalFromIntersection(ExitSet, FactMan, JoinLoc,  in intersectAndWarn()
2240         EntryFact->handleRemovalFromIntersection(EntrySetOrig, FactMan, JoinLoc,  in intersectAndWarn()