Lines Matching refs:MoveChecker
48 class MoveChecker class
158 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
177 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::tryToReportBug(const MemRegion *Region, in tryToReportBug()
439 void MoveChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
494 bool MoveChecker::isMoveSafeMethod(const CXXMethodDecl *MethodDec) const { in isMoveSafeMethod()
510 bool MoveChecker::isStateResetMethod(const CXXMethodDecl *MethodDec) const { in isStateResetMethod()
529 bool MoveChecker::isInMoveSafeContext(const LocationContext *LC) const { in isInMoveSafeContext()
544 bool MoveChecker::belongsTo(const CXXRecordDecl *RD, in belongsTo()
550 MoveChecker::ObjectKind
551 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
573 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
600 void MoveChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
682 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
698 ProgramStateRef MoveChecker::checkRegionChanges( in checkRegionChanges()
731 void MoveChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
749 MoveChecker *chk = mgr.registerChecker<MoveChecker>(); in registerMoveChecker()