Functions
std::vector< const MemRegion * >	getDanglingRegionsAfterReturn (SVal Source, ProgramStateRef State, CheckerContext &C)
	Returns the set of lifetime sources bound to `Source` that are dangling stack regions.

Function Documentation

◆ getDanglingRegionsAfterReturn()

std::vector< const MemRegion * > clang::ento::lifetime_modeling::getDanglingRegionsAfterReturn	(	SVal	Source,
		ProgramStateRef	State,
		CheckerContext &	C )

Returns the set of lifetime sources bound to Source that are dangling stack regions.

Definition at line 46 of file LifetimeModeling.cpp.