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,
397                                         CheckerContext &C, const Expr *MtxExpr,  in AcquireLockAux()  argument
415       reportBug(C, BT_doublelock, MtxExpr, CheckKind,  in AcquireLockAux()
419       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in AcquireLockAux()
476                                         CheckerContext &C, const Expr *MtxExpr,  in ReleaseLockAux()  argument
493       reportBug(C, BT_doubleunlock, MtxExpr, CheckKind,  in ReleaseLockAux()
497       reportBug(C, BT_destroylock, MtxExpr, CheckKind,  in ReleaseLockAux()
508       reportBug(C, BT_lor, MtxExpr, CheckKind,  in ReleaseLockAux()
536                                         CheckerContext &C, const Expr *MtxExpr,  in DestroyLockAux()  argument
586   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);  in DestroyLockAux()
595                                      const Expr *MtxExpr, SVal MtxVal,  in InitLockAux()  argument
621   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);  in InitLockAux()
626                                    const Expr *MtxExpr, CheckerKind CheckKind,  in reportBug()  argument
634   Report->addRange(MtxExpr->getSourceRange());  in reportBug()