172                  const Expr *MtxExpr, CheckerKind CheckKind,
179                    const Expr *MtxExpr, SVal MtxVal,
196                       const Expr *MtxExpr, SVal MtxVal, bool IsTryLock,
203                       const Expr *MtxExpr, SVal MtxVal,
212                       const Expr *MtxExpr, SVal MtxVal,
396                                         CheckerContext &C, const Expr *MtxExpr,  in AcquireLockAux()  argument
414       reportBug(C, BT_doublelock, MtxExpr, CheckKind,  in AcquireLockAux()
418       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in AcquireLockAux()
475                                         CheckerContext &C, const Expr *MtxExpr,  in ReleaseLockAux()  argument
492       reportBug(C, BT_doubleunlock, MtxExpr, CheckKind,  in ReleaseLockAux()
496       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in ReleaseLockAux()
507       reportBug(C, BT_lor, MtxExpr, CheckKind,  in ReleaseLockAux()
535                                         CheckerContext &C, const Expr *MtxExpr,  in DestroyLockAux()  argument
585   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);  in DestroyLockAux()
594                                      const Expr *MtxExpr, SVal MtxVal,  in InitLockAux()  argument
620   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);  in InitLockAux()
625                                    const Expr *MtxExpr, CheckerKind CheckKind,  in reportBug()  argument
633   Report->addRange(MtxExpr->getSourceRange());  in reportBug()