Lines Matching defs:CheckKind

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 {
267     if (BT_doublelock[CheckKind])
269     BT_doublelock[CheckKind].reset(
270         new BugType{CheckNames[CheckKind], "Double locking", "Lock checker"});
271     BT_doubleunlock[CheckKind].reset(
272         new BugType{CheckNames[CheckKind], "Double unlocking", "Lock checker"});
273     BT_destroylock[CheckKind].reset(new BugType{
274         CheckNames[CheckKind], "Use destroyed lock", "Lock checker"});
275     BT_initlock[CheckKind].reset(new BugType{
276         CheckNames[CheckKind], "Init invalid lock", "Lock checker"});
277     BT_lor[CheckKind].reset(new BugType{CheckNames[CheckKind],
387                                             CheckerKind CheckKind) const {
389                  PthreadSemantics, CheckKind);
394                                         CheckerKind CheckKind) const {
396                  XNUSemantics, CheckKind);
401                                         CheckerKind CheckKind) const {
403                  PthreadSemantics, CheckKind);
407                                     CheckerKind CheckKind) const {
409                  PthreadSemantics, CheckKind);
414                                         CheckerKind CheckKind) const {
416                  PthreadSemantics, CheckKind);
420                                     CheckerKind CheckKind) const {
422                  PthreadSemantics, CheckKind);
429                                         CheckerKind CheckKind) const {
430   if (!ChecksEnabled[CheckKind])
444       reportBug(C, BT_doublelock, MtxExpr, CheckKind,
448       reportBug(C, BT_destroylock, MtxExpr, CheckKind,
500                                         CheckerKind CheckKind) const {
501   ReleaseLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);
507                                         CheckerKind CheckKind) const {
508   if (!ChecksEnabled[CheckKind])
522       reportBug(C, BT_doubleunlock, MtxExpr, CheckKind,
526       reportBug(C, BT_destroylock, MtxExpr, CheckKind,
537       reportBug(C, BT_lor, MtxExpr, CheckKind,
552                                             CheckerKind CheckKind) const {
554                  PthreadSemantics, CheckKind);
559                                         CheckerKind CheckKind) const {
561                  CheckKind);
568                                         CheckerKind CheckKind) const {
569   if (!ChecksEnabled[CheckKind])
615   reportBug(C, BT_destroylock, MtxExpr, CheckKind, Message);
619                                      CheckerKind CheckKind) const {
620   InitLockAux(Call, C, Call.getArgExpr(0), Call.getArgSVal(0), CheckKind);
625                                      CheckerKind CheckKind) const {
626   if (!ChecksEnabled[CheckKind])
650   reportBug(C, BT_initlock, MtxExpr, CheckKind, Message);
655                                    const Expr *MtxExpr, CheckerKind CheckKind,
660   initBugType(CheckKind);
662       std::make_unique<PathSensitiveBugReport>(*BT[CheckKind], Desc, N);