Lines Matching refs:MoveChecker

47 class MoveChecker  class
158 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
177 const MoveChecker &Chk;
258 MoveChecker::MovedBugVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
315 const ExplodedNode *MoveChecker::getMoveLocation(const ExplodedNode *N, in getMoveLocation()
332 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region, in modelUse()
373 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
425 void MoveChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
480 bool MoveChecker::isMoveSafeMethod(const CXXMethodDecl *MethodDec) const { in isMoveSafeMethod()
496 bool MoveChecker::isStateResetMethod(const CXXMethodDecl *MethodDec) const { in isStateResetMethod()
515 bool MoveChecker::isInMoveSafeContext(const LocationContext *LC) const { in isInMoveSafeContext()
530 bool MoveChecker::belongsTo(const CXXRecordDecl *RD, in belongsTo()
536 MoveChecker::ObjectKind
537 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
558 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
585 void MoveChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
667 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
683 ProgramStateRef MoveChecker::checkRegionChanges( in checkRegionChanges()
719 void MoveChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
737 MoveChecker *chk = mgr.registerChecker<MoveChecker>(); in registerMoveChecker()