clang  12.0.0git
Functions
clang::ento::move Namespace Reference

Functions

bool isMovedFrom (ProgramStateRef State, const MemRegion *Region)
 Returns true if the object is known to have been recently std::moved. More...
 

Function Documentation

◆ isMovedFrom()

bool clang::ento::move::isMovedFrom ( ProgramStateRef  State,
const MemRegion Region 
)

Returns true if the object is known to have been recently std::moved.

Definition at line 235 of file MoveChecker.cpp.

Referenced by clang::ento::smartptr::isNullSmartPtr().