• Home
  • Raw
  • Download

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()
443 void MoveChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
498 bool MoveChecker::isMoveSafeMethod(const CXXMethodDecl *MethodDec) const { in isMoveSafeMethod()
514 bool MoveChecker::isStateResetMethod(const CXXMethodDecl *MethodDec) const { in isStateResetMethod()
533 bool MoveChecker::isInMoveSafeContext(const LocationContext *LC) const { in isInMoveSafeContext()
548 bool MoveChecker::belongsTo(const CXXRecordDecl *RD, in belongsTo()
554 MoveChecker::ObjectKind
555 MoveChecker::classifyObject(const MemRegion *MR, in classifyObject()
576 void MoveChecker::explainObject(llvm::raw_ostream &OS, const MemRegion *MR, in explainObject()
603 void MoveChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
685 void MoveChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
701 ProgramStateRef MoveChecker::checkRegionChanges( in checkRegionChanges()
737 void MoveChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
755 MoveChecker *chk = mgr.registerChecker<MoveChecker>(); in registerMoveChecker()