Lines Matching refs:MoveChecker
48 class MoveChecker class
159 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
178 const MoveChecker &Chk;
275 MoveChecker::MovedBugVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
333 const ExplodedNode *MoveChecker::getMoveLocation(const ExplodedNode *N, in getMoveLocation()
350 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region, in modelUse()
391 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
438 void MoveChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
493 bool MoveChecker::isMoveSafeMethod(const CXXMethodDecl *MethodDec) const { in isMoveSafeMethod()
509 bool MoveChecker::isStateResetMethod(const CXXMethodDecl *MethodDec) const { in isStateResetMethod()
528 bool MoveChecker::isInMoveSafeContext(const LocationContext *LC) const { in isInMoveSafeContext()
543 bool MoveChecker::belongsTo(const CXXRecordDecl *RD, in belongsTo()
549 MoveChecker::ObjectKind
550 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
571 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
598 void MoveChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
680 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
696 ProgramStateRef MoveChecker::checkRegionChanges( in checkRegionChanges()
732 void MoveChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
750 MoveChecker *chk = mgr.registerChecker<MoveChecker>(); in registerMoveChecker()