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 __anona0b2285a0211::MoveChecker::MovedBugVisitor
211 const CXXRecordDecl *RD, MisuseKind MK,
218 CheckerContext &C, MisuseKind MK) const;
304 if (MK == MK_Dereference) { in VisitNode()
306 Chk.explainObject(OS, Region, RD, MK); in VisitNode()
317 Chk.explainObject(OS, Region, RD, MK); in VisitNode()
322 Chk.explainObject(OS, Region, RD, MK); in VisitNode()
351 const CXXRecordDecl *RD, MisuseKind MK, in modelUse() argument
359 if (MK == MK_Dereference && OK.StdKind != SK_SmartPtr) in modelUse()
360 MK = MK_FunCall; in modelUse()
362 if (!RS || !shouldWarnAbout(OK, MK) in modelUse()
373 if (misuseCausesCrash(MK)) { in modelUse()
381 ExplodedNode *N = tryToReportBug(Region, RD, C, MK); in modelUse()
394 MisuseKind MK) const { in tryToReportBug()
395 if (ExplodedNode *N = misuseCausesCrash(MK) ? C.generateErrorNode() in tryToReportBug()
408 switch(MK) { in tryToReportBug()
411 explainObject(OS, Region, RD, MK); in tryToReportBug()
415 explainObject(OS, Region, RD, MK); in tryToReportBug()
420 explainObject(OS, Region, RD, MK); in tryToReportBug()
425 explainObject(OS, Region, RD, MK); in tryToReportBug()
432 R->addVisitor(std::make_unique<MovedBugVisitor>(*this, Region, RD, MK)); in tryToReportBug()
574 const CXXRecordDecl *RD, MisuseKind MK) const { in explainObject()
589 if (MK != MK_Dereference) in explainObject()
614 MisuseKind MK = CtorDec->isMoveConstructor() ? MK_Move : MK_Copy; in checkPreCall() local
615 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()
664 MisuseKind MK = in checkPreCall() local
666 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()