87                                               CheckerKind CheckKind) const;
172                  const Expr *MtxExpr, CheckerKind CheckKind,
177                    CheckerKind CheckKind) const;
180                    CheckerKind CheckKind) const;
184                           CheckerKind CheckKind) const;
186                       CheckerKind CheckKind) const;
188                       CheckerKind CheckKind) const;
190                   CheckerKind CheckKind) const;
192                       CheckerKind CheckKind) const;
194                   CheckerKind CheckKind) const;
197                       LockingSemantics Semantics, CheckerKind CheckKind) const;
201                       CheckerKind CheckKind) const;
204                       CheckerKind CheckKind) const;
208                           CheckerKind CheckKind) const;
210                       CheckerKind CheckKind) const;
213                       LockingSemantics Semantics, CheckerKind CheckKind) const;
233   void initBugType(CheckerKind CheckKind) const {  in initBugType()
234     if (BT_doublelock[CheckKind])  in initBugType()
236     BT_doublelock[CheckKind].reset(  in initBugType()
237         new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"});  in initBugType()
238     BT_doubleunlock[CheckKind].reset(  in initBugType()
239         new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"});  in initBugType()
240     BT_destroylock[CheckKind].reset(new BugType{  in initBugType()
241         CheckNames[CheckKind], "Use destroyed lock", "Lock checker"});  in initBugType()
242     BT_initlock[CheckKind].reset(new BugType{  in initBugType()
243         CheckNames[CheckKind], "Init invalid lock", "Lock checker"});  in initBugType()
244     BT_lor[CheckKind].reset(new BugType{CheckNames[CheckKind],  in initBugType()
358                                             CheckerKind CheckKind) const {  in AcquirePthreadLock()
360                  PthreadSemantics, CheckKind);  in AcquirePthreadLock()
365                                         CheckerKind CheckKind) const {  in AcquireXNULock()
367                  XNUSemantics, CheckKind);  in AcquireXNULock()
372                                         CheckerKind CheckKind) const {  in TryPthreadLock()
374                  PthreadSemantics, CheckKind);  in TryPthreadLock()
378                                     CheckerKind CheckKind) const {  in TryXNULock()
380                  PthreadSemantics, CheckKind);  in TryXNULock()
385                                         CheckerKind CheckKind) const {  in TryFuchsiaLock()
387                  PthreadSemantics, CheckKind);  in TryFuchsiaLock()
391                                     CheckerKind CheckKind) const {  in TryC11Lock()
393                  PthreadSemantics, CheckKind);  in TryC11Lock()
400                                         CheckerKind CheckKind) const {  in AcquireLockAux()
401   if (!ChecksEnabled[CheckKind])  in AcquireLockAux()
415       reportBug(C, BT_doublelock, MtxExpr, CheckKind,  in AcquireLockAux()
419       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in AcquireLockAux()
471                                         CheckerKind CheckKind) const {  in ReleaseAnyLock()
472   ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in ReleaseAnyLock()
478                                         CheckerKind CheckKind) const {  in ReleaseLockAux()
479   if (!ChecksEnabled[CheckKind])  in ReleaseLockAux()
493       reportBug(C, BT_doubleunlock, MtxExpr, CheckKind,  in ReleaseLockAux()
497       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in ReleaseLockAux()
508       reportBug(C, BT_lor, MtxExpr, CheckKind,  in ReleaseLockAux()
523                                             CheckerKind CheckKind) const {  in DestroyPthreadLock()
525                  PthreadSemantics, CheckKind);  in DestroyPthreadLock()
530                                         CheckerKind CheckKind) const {  in DestroyXNULock()
532                  CheckKind);  in DestroyXNULock()
539                                         CheckerKind CheckKind) const {  in DestroyLockAux()
540   if (!ChecksEnabled[CheckKind])  in DestroyLockAux()
586   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);  in DestroyLockAux()
590                                      CheckerKind CheckKind) const {  in InitAnyLock()
591   InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in InitAnyLock()
596                                      CheckerKind CheckKind) const {  in InitLockAux()
597   if (!ChecksEnabled[CheckKind])  in InitLockAux()
621   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);  in InitLockAux()
626                                    const Expr *MtxExpr, CheckerKind CheckKind,  in reportBug()  argument
631   initBugType(CheckKind);  in reportBug()
633       std::make_unique<PathSensitiveBugReport>(*BT[CheckKind], Desc, N);  in reportBug()