clang  8.0.0
Classes | Functions
clang::ento::retaincountchecker Namespace Reference

Classes

class  BadRelease
 
class  DeallocNotOwned
 
class  Leak
 
class  OverAutorelease
 
class  RefCountBug
 
class  RefCountReport
 
class  RefLeakReport
 
class  RefVal
 Metadata on reference. More...
 
class  RetainCountChecker
 
class  ReturnedNotOwnedForOwned
 
class  UseAfterRelease
 

Functions

const RefValgetRefBinding (ProgramStateRef State, SymbolRef Sym)
 
ProgramStateRef setRefBinding (ProgramStateRef State, SymbolRef Sym, RefVal Val)
 
ProgramStateRef removeRefBinding (ProgramStateRef State, SymbolRef Sym)
 
bool isSynthesizedAccessor (const StackFrameContext *SFC)
 Returns true if this stack frame is for an Objective-C method that is a property getter or setter whose body has been synthesized by the analyzer. More...
 

Function Documentation

◆ getRefBinding()

const RefVal * clang::ento::retaincountchecker::getRefBinding ( ProgramStateRef  State,
SymbolRef  Sym 
)

◆ isSynthesizedAccessor()

bool clang::ento::retaincountchecker::isSynthesizedAccessor ( const StackFrameContext SFC)
inline

Returns true if this stack frame is for an Objective-C method that is a property getter or setter whose body has been synthesized by the analyzer.

Definition at line 381 of file RetainCountChecker.h.

References clang::LocationContext::getAnalysisDeclContext(), clang::LocationContext::getDecl(), and clang::AnalysisDeclContext::isBodyAutosynthesized().

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt().

◆ removeRefBinding()

ProgramStateRef clang::ento::retaincountchecker::removeRefBinding ( ProgramStateRef  State,
SymbolRef  Sym 
)

◆ setRefBinding()

ProgramStateRef clang::ento::retaincountchecker::setRefBinding ( ProgramStateRef  State,
SymbolRef  Sym,
RefVal  Val 
)