Lines Matching refs:MK
76 static bool misuseCausesCrash(MisuseKind MK) { in misuseCausesCrash() argument
77 return MK == MK_Dereference; in misuseCausesCrash()
136 bool shouldWarnAbout(ObjectKind OK, MisuseKind MK) const { in shouldWarnAbout()
142 OK.StdKind != SK_SmartPtr || MK == MK_Dereference); in shouldWarnAbout()
152 const CXXRecordDecl *RD, MisuseKind MK) const;
159 const CXXRecordDecl *RD, MisuseKind MK) in MovedBugVisitor() argument
160 : Chk(Chk), Region(R), RD(RD), MK(MK), Found(false) {} in MovedBugVisitor()
183 const MisuseKind MK; member in __anon1dac178a0211::MoveChecker::MovedBugVisitor
211 const CXXRecordDecl *RD, MisuseKind MK,
217 CheckerContext &C, MisuseKind MK) const;
303 if (MK == MK_Dereference) { in VisitNode()
305 Chk.explainObject(OS, Region, RD, MK); in VisitNode()
316 Chk.explainObject(OS, Region, RD, MK); in VisitNode()
321 Chk.explainObject(OS, Region, RD, MK); in VisitNode()
350 const CXXRecordDecl *RD, MisuseKind MK, in modelUse() argument
358 if (MK == MK_Dereference && OK.StdKind != SK_SmartPtr) in modelUse()
359 MK = MK_FunCall; in modelUse()
361 if (!RS || !shouldWarnAbout(OK, MK) in modelUse()
372 if (misuseCausesCrash(MK)) { in modelUse()
380 ExplodedNode *N = reportBug(Region, RD, C, MK); in modelUse()
392 MisuseKind MK) const { in reportBug()
393 if (ExplodedNode *N = misuseCausesCrash(MK) ? C.generateErrorNode() in reportBug()
406 switch(MK) { in reportBug()
409 explainObject(OS, Region, RD, MK); in reportBug()
413 explainObject(OS, Region, RD, MK); in reportBug()
418 explainObject(OS, Region, RD, MK); in reportBug()
423 explainObject(OS, Region, RD, MK); in reportBug()
430 R->addVisitor(std::make_unique<MovedBugVisitor>(*this, Region, RD, MK)); in reportBug()
571 const CXXRecordDecl *RD, MisuseKind MK) const { in explainObject()
586 if (MK != MK_Dereference) in explainObject()
611 MisuseKind MK = CtorDec->isMoveConstructor() ? MK_Move : MK_Copy; in checkPreCall() local
612 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()
661 MisuseKind MK = in checkPreCall() local
663 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()