205                  const Expr *MtxExpr, CheckerKind CheckKind,
212                    const Expr *MtxExpr, SVal MtxVal,
229                       const Expr *MtxExpr, SVal MtxVal, bool IsTryLock,
236                       const Expr *MtxExpr, SVal MtxVal,
245                       const Expr *MtxExpr, SVal MtxVal,
426                                         CheckerContext &C, const Expr *MtxExpr,  in AcquireLockAux()  argument
444       reportBug(C, BT_doublelock, MtxExpr, CheckKind,  in AcquireLockAux()
448       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in AcquireLockAux()
505                                         CheckerContext &C, const Expr *MtxExpr,  in ReleaseLockAux()  argument
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()
565                                         CheckerContext &C, const Expr *MtxExpr,  in DestroyLockAux()  argument
615   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);  in DestroyLockAux()
624                                      const Expr *MtxExpr, SVal MtxVal,  in InitLockAux()  argument
650   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);  in InitLockAux()
655                                    const Expr *MtxExpr, CheckerKind CheckKind,  in reportBug()  argument
663   Report->addRange(MtxExpr->getSourceRange());  in reportBug()