1 // MoveChecker.cpp - Check use of moved-from objects. - C++ ---------------===//
9 // This defines checker which checks for potential misuses of a moved-from
10 // object. That means method calls on the object or copying it in moved-from
32   enum Kind { Moved, Reported } K;  enumerator
37   bool isMoved() const { return K == Moved; }  in isMoved()
40   static RegionState getMoved() { return RegionState(Moved); }  in getMoved()
87   // STL smart pointers are automatically re-initialized to null when moved
307         OS << " is reset to null when moved from";  in VisitNode()
318       OS << " is moved";  in VisitNode()
410         OS << "Method called on moved-from object";  in tryToReportBug()
414         OS << "Moved-from object";  in tryToReportBug()
419         OS << "Moved-from object";  in tryToReportBug()
421         OS << " is moved";  in tryToReportBug()
450   // Check if an object became moved-from.  in checkPostCall()
451   // Object can become moved from after a call to move assignment operator or  in checkPostCall()
486     // Mark object as moved-from.  in checkPostCall()
610     // Check for copying a moved-from object and report the bug.  in checkPreCall()
628   // The remaining part is check only for method call on a moved-from object.  in checkPreCall()
633   // Calling a destructor on a moved object is fine.  in checkPreCall()
737     Out << Sep << "Moved-from objects :" << NL;  in printState()
741         Out << ": moved";  in printState()
743         Out << ": moved and reported";  in printState()