86                                               CheckerKind CheckKind) const;
171                  const Expr *MtxExpr, CheckerKind CheckKind,
176                    CheckerKind CheckKind) const;
179                    CheckerKind CheckKind) const;
183                           CheckerKind CheckKind) const;
185                       CheckerKind CheckKind) const;
187                       CheckerKind CheckKind) const;
189                   CheckerKind CheckKind) const;
191                       CheckerKind CheckKind) const;
193                   CheckerKind CheckKind) const;
196                       LockingSemantics Semantics, CheckerKind CheckKind) const;
200                       CheckerKind CheckKind) const;
203                       CheckerKind CheckKind) const;
207                           CheckerKind CheckKind) const;
209                       CheckerKind CheckKind) const;
212                       LockingSemantics Semantics, CheckerKind CheckKind) const;
232   void initBugType(CheckerKind CheckKind) const {  in initBugType()
233     if (BT_doublelock[CheckKind])  in initBugType()
235     BT_doublelock[CheckKind].reset(  in initBugType()
236         new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"});  in initBugType()
237     BT_doubleunlock[CheckKind].reset(  in initBugType()
238         new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"});  in initBugType()
239     BT_destroylock[CheckKind].reset(new BugType{  in initBugType()
240         CheckNames[CheckKind], "Use destroyed lock", "Lock checker"});  in initBugType()
241     BT_initlock[CheckKind].reset(new BugType{  in initBugType()
242         CheckNames[CheckKind], "Init invalid lock", "Lock checker"});  in initBugType()
243     BT_lor[CheckKind].reset(new BugType{CheckNames[CheckKind],  in initBugType()
356                                             CheckerKind CheckKind) const {  in AcquirePthreadLock()
358                  PthreadSemantics, CheckKind);  in AcquirePthreadLock()
363                                         CheckerKind CheckKind) const {  in AcquireXNULock()
365                  XNUSemantics, CheckKind);  in AcquireXNULock()
370                                         CheckerKind CheckKind) const {  in TryPthreadLock()
372                  PthreadSemantics, CheckKind);  in TryPthreadLock()
376                                     CheckerKind CheckKind) const {  in TryXNULock()
378                  PthreadSemantics, CheckKind);  in TryXNULock()
383                                         CheckerKind CheckKind) const {  in TryFuchsiaLock()
385                  PthreadSemantics, CheckKind);  in TryFuchsiaLock()
389                                     CheckerKind CheckKind) const {  in TryC11Lock()
391                  PthreadSemantics, CheckKind);  in TryC11Lock()
398                                         CheckerKind CheckKind) const {  in AcquireLockAux()
399   if (!ChecksEnabled[CheckKind])  in AcquireLockAux()
413       reportBug(C, BT_doublelock, MtxExpr, CheckKind,  in AcquireLockAux()
417       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in AcquireLockAux()
469                                         CheckerKind CheckKind) const {  in ReleaseAnyLock()
470   ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in ReleaseAnyLock()
476                                         CheckerKind CheckKind) const {  in ReleaseLockAux()
477   if (!ChecksEnabled[CheckKind])  in ReleaseLockAux()
491       reportBug(C, BT_doubleunlock, MtxExpr, CheckKind,  in ReleaseLockAux()
495       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in ReleaseLockAux()
506       reportBug(C, BT_lor, MtxExpr, CheckKind,  in ReleaseLockAux()
521                                             CheckerKind CheckKind) const {  in DestroyPthreadLock()
523                  PthreadSemantics, CheckKind);  in DestroyPthreadLock()
528                                         CheckerKind CheckKind) const {  in DestroyXNULock()
530                  CheckKind);  in DestroyXNULock()
537                                         CheckerKind CheckKind) const {  in DestroyLockAux()
538   if (!ChecksEnabled[CheckKind])  in DestroyLockAux()
584   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);  in DestroyLockAux()
588                                      CheckerKind CheckKind) const {  in InitAnyLock()
589   InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in InitAnyLock()
594                                      CheckerKind CheckKind) const {  in InitLockAux()
595   if (!ChecksEnabled[CheckKind])  in InitLockAux()
619   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);  in InitLockAux()
624                                    const Expr *MtxExpr, CheckerKind CheckKind,  in reportBug()  argument
629   initBugType(CheckKind);  in reportBug()
631       std::make_unique<PathSensitiveBugReport>(*BT[CheckKind], Desc, N);  in reportBug()