clang::ento::retaincountchecker Namespace Reference

Classes
class	RefCountBug
class	RefCountFrontend
class	RefCountReport
class	RefCountReportVisitor
class	RefLeakReport
class	RefLeakReportVisitor
class	RefVal
	Metadata on reference. More...
class	RetainCountChecker

Functions
const RefVal *	getRefBinding (ProgramStateRef State, SymbolRef Sym)
bool	isSynthesizedAccessor (const StackFrame *SF)
	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.

Function Documentation

getRefBinding()

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

Definition at line 28 of file RetainCountChecker.cpp.

Referenced by annotateConsumedSummaryMismatch(), annotateStartParameter(), clang::ento::retaincountchecker::RetainCountChecker::checkDeadSymbols(), clang::ento::retaincountchecker::RetainCountChecker::checkPostCall(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), GetAllocationSite(), clang::ento::retaincountchecker::RefLeakReportVisitor::getEndPath(), clang::ento::retaincountchecker::RetainCountChecker::processNonLeakError(), clang::ento::retaincountchecker::RetainCountChecker::processObjCLiterals(), clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined(), and clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().

isSynthesizedAccessor()

bool clang::ento::retaincountchecker::isSynthesizedAccessor ( const StackFrame * SF )

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 374 of file RetainCountChecker.h.

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

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), and clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().