Lines Matching refs:MoveChecker
48 class MoveChecker class
158 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R, in MovedBugVisitor()
177 const MoveChecker &Chk;
274 MoveChecker::MovedBugVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
332 const ExplodedNode *MoveChecker::getMoveLocation(const ExplodedNode *N, in getMoveLocation()
349 void MoveChecker::modelUse(ProgramStateRef State, const MemRegion *Region, in modelUse()
390 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
437 void MoveChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
492 bool MoveChecker::isMoveSafeMethod(const CXXMethodDecl *MethodDec) const { in isMoveSafeMethod()
508 bool MoveChecker::isStateResetMethod(const CXXMethodDecl *MethodDec) const { in isStateResetMethod()
527 bool MoveChecker::isInMoveSafeContext(const LocationContext *LC) const { in isInMoveSafeContext()
542 bool MoveChecker::belongsTo(const CXXRecordDecl *RD, in belongsTo()
548 MoveChecker::ObjectKind
549 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
570 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
597 void MoveChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
679 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
695 ProgramStateRef MoveChecker::checkRegionChanges( in checkRegionChanges()
728 void MoveChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
746 MoveChecker *chk = mgr.registerChecker<MoveChecker>(); in registerMoveChecker()