87                                               CheckerKind CheckKind) const;
205                  const Expr *MtxExpr, CheckerKind CheckKind,
210                    CheckerKind CheckKind) const;
213                    CheckerKind CheckKind) const;
217                           CheckerKind CheckKind) const;
219                       CheckerKind CheckKind) const;
221                       CheckerKind CheckKind) const;
223                   CheckerKind CheckKind) const;
225                       CheckerKind CheckKind) const;
227                   CheckerKind CheckKind) const;
230                       LockingSemantics Semantics, CheckerKind CheckKind) const;
234                       CheckerKind CheckKind) const;
237                       CheckerKind CheckKind) const;
241                           CheckerKind CheckKind) const;
243                       CheckerKind CheckKind) const;
246                       LockingSemantics Semantics, CheckerKind CheckKind) const;
266   void initBugType(CheckerKind CheckKind) const {  in initBugType()
267     if (BT_doublelock[CheckKind])  in initBugType()
269     BT_doublelock[CheckKind].reset(  in initBugType()
270         new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"});  in initBugType()
271     BT_doubleunlock[CheckKind].reset(  in initBugType()
272         new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"});  in initBugType()
273     BT_destroylock[CheckKind].reset(new BugType{  in initBugType()
274         CheckNames[CheckKind], "Use destroyed lock", "Lock checker"});  in initBugType()
275     BT_initlock[CheckKind].reset(new BugType{  in initBugType()
276         CheckNames[CheckKind], "Init invalid lock", "Lock checker"});  in initBugType()
277     BT_lor[CheckKind].reset(new BugType{CheckNames[CheckKind],  in initBugType()
387                                             CheckerKind CheckKind) const {  in AcquirePthreadLock()
389                  PthreadSemantics, CheckKind);  in AcquirePthreadLock()
394                                         CheckerKind CheckKind) const {  in AcquireXNULock()
396                  XNUSemantics, CheckKind);  in AcquireXNULock()
401                                         CheckerKind CheckKind) const {  in TryPthreadLock()
403                  PthreadSemantics, CheckKind);  in TryPthreadLock()
407                                     CheckerKind CheckKind) const {  in TryXNULock()
409                  PthreadSemantics, CheckKind);  in TryXNULock()
414                                         CheckerKind CheckKind) const {  in TryFuchsiaLock()
416                  PthreadSemantics, CheckKind);  in TryFuchsiaLock()
420                                     CheckerKind CheckKind) const {  in TryC11Lock()
422                  PthreadSemantics, CheckKind);  in TryC11Lock()
429                                         CheckerKind CheckKind) const {  in AcquireLockAux()
430   if (!ChecksEnabled[CheckKind])  in AcquireLockAux()
444       reportBug(C, BT_doublelock, MtxExpr, CheckKind,  in AcquireLockAux()
448       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in AcquireLockAux()
500                                         CheckerKind CheckKind) const {  in ReleaseAnyLock()
501   ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in ReleaseAnyLock()
507                                         CheckerKind CheckKind) const {  in ReleaseLockAux()
508   if (!ChecksEnabled[CheckKind])  in ReleaseLockAux()
522       reportBug(C, BT_doubleunlock, MtxExpr, CheckKind,  in ReleaseLockAux()
526       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in ReleaseLockAux()
537       reportBug(C, BT_lor, MtxExpr, CheckKind,  in ReleaseLockAux()
552                                             CheckerKind CheckKind) const {  in DestroyPthreadLock()
554                  PthreadSemantics, CheckKind);  in DestroyPthreadLock()
559                                         CheckerKind CheckKind) const {  in DestroyXNULock()
561                  CheckKind);  in DestroyXNULock()
568                                         CheckerKind CheckKind) const {  in DestroyLockAux()
569   if (!ChecksEnabled[CheckKind])  in DestroyLockAux()
615   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);  in DestroyLockAux()
619                                      CheckerKind CheckKind) const {  in InitAnyLock()
620   InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in InitAnyLock()
625                                      CheckerKind CheckKind) const {  in InitLockAux()
626   if (!ChecksEnabled[CheckKind])  in InitLockAux()
650   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);  in InitLockAux()
655                                    const Expr *MtxExpr, CheckerKind CheckKind,  in reportBug()  argument
660   initBugType(CheckKind);  in reportBug()
662       std::make_unique<PathSensitiveBugReport>(*BT[CheckKind], Desc, N);  in reportBug()