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()
347                                             CheckerKind CheckKind) const {  in AcquirePthreadLock()
349                  PthreadSemantics, CheckKind);  in AcquirePthreadLock()
354                                         CheckerKind CheckKind) const {  in AcquireXNULock()
356                  XNUSemantics, CheckKind);  in AcquireXNULock()
361                                         CheckerKind CheckKind) const {  in TryPthreadLock()
363                  PthreadSemantics, CheckKind);  in TryPthreadLock()
367                                     CheckerKind CheckKind) const {  in TryXNULock()
369                  PthreadSemantics, CheckKind);  in TryXNULock()
374                                         CheckerKind CheckKind) const {  in TryFuchsiaLock()
376                  PthreadSemantics, CheckKind);  in TryFuchsiaLock()
380                                     CheckerKind CheckKind) const {  in TryC11Lock()
382                  PthreadSemantics, CheckKind);  in TryC11Lock()
389                                         CheckerKind CheckKind) const {  in AcquireLockAux()
390   if (!ChecksEnabled[CheckKind])  in AcquireLockAux()
404       reportBug(C, BT_doublelock, MtxExpr, CheckKind,  in AcquireLockAux()
408       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in AcquireLockAux()
460                                         CheckerKind CheckKind) const {  in ReleaseAnyLock()
461   ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in ReleaseAnyLock()
467                                         CheckerKind CheckKind) const {  in ReleaseLockAux()
468   if (!ChecksEnabled[CheckKind])  in ReleaseLockAux()
482       reportBug(C, BT_doubleunlock, MtxExpr, CheckKind,  in ReleaseLockAux()
486       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in ReleaseLockAux()
497       reportBug(C, BT_lor, MtxExpr, CheckKind,  in ReleaseLockAux()
512                                             CheckerKind CheckKind) const {  in DestroyPthreadLock()
514                  PthreadSemantics, CheckKind);  in DestroyPthreadLock()
519                                         CheckerKind CheckKind) const {  in DestroyXNULock()
521                  CheckKind);  in DestroyXNULock()
528                                         CheckerKind CheckKind) const {  in DestroyLockAux()
529   if (!ChecksEnabled[CheckKind])  in DestroyLockAux()
575   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);  in DestroyLockAux()
579                                      CheckerKind CheckKind) const {  in InitAnyLock()
580   InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);  in InitAnyLock()
585                                      CheckerKind CheckKind) const {  in InitLockAux()
586   if (!ChecksEnabled[CheckKind])  in InitLockAux()
610   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);  in InitLockAux()
615                                    const Expr *MtxExpr, CheckerKind CheckKind,  in reportBug()  argument
620   initBugType(CheckKind);  in reportBug()
622       std::make_unique<PathSensitiveBugReport>(*BT[CheckKind], Desc, N);  in reportBug()