CheckObjCDealloc.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/AST/Attr.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprObjC.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for CheckObjCDealloc.cpp:

Go to the source code of this file.

Enumerations
enum	ReleaseRequirement { ReleaseRequirement::MustRelease, ReleaseRequirement::MustNotReleaseDirectly, ReleaseRequirement::Unknown }
	Indicates whether an instance variable is required to be released in -dealloc. More...

Functions
static bool	isSynthesizedRetainableProperty (const ObjCPropertyImplDecl *I, const ObjCIvarDecl **ID, const ObjCPropertyDecl **PD)
	Returns true if the property implementation is synthesized and the type of the property is retainable. More...

Enumeration Type Documentation

ReleaseRequirement

enum ReleaseRequirement

strong

Indicates whether an instance variable is required to be released in -dealloc.

Enumerator
MustRelease	The instance variable must be released, either by calling -release on it directly or by nilling it out with a property setter.
MustNotReleaseDirectly	The instance variable must not be directly released with -release.
Unknown	The requirement for the instance variable could not be determined.

Definition at line 54 of file CheckObjCDealloc.cpp.

Function Documentation

isSynthesizedRetainableProperty()

static bool isSynthesizedRetainableProperty ( const ObjCPropertyImplDecl *  I, const ObjCIvarDecl **  ID, const ObjCPropertyDecl **  PD  )

static

Returns true if the property implementation is synthesized and the type of the property is retainable.

Definition at line 68 of file CheckObjCDealloc.cpp.

References clang::ObjCPropertyDecl::Copy, clang::ento::categories::CoreFoundationObjectiveC, clang::ento::PathDiagnosticLocation::createBegin(), clang::ObjCImplDecl::FindPropertyImplIvarDecl(), clang::LangOptions::GCOnly, clang::ObjCImplDecl::getClassInterface(), clang::ObjCIvarDecl::getContainingInterface(), clang::LocationContext::getDecl(), clang::NamedDecl::getIdentifier(), clang::ObjCInterfaceDecl::getImplementation(), clang::ObjCPropertyImplDecl::getPropertyDecl(), clang::ObjCPropertyImplDecl::getPropertyImplementation(), clang::ObjCPropertyImplDecl::getPropertyIvarDecl(), clang::ObjCMethodCall::getReceiverSVal(), clang::ObjCMethodCall::getSelector(), clang::ObjCPropertyDecl::getSetterKind(), clang::ObjCContainerDecl::instance_methods(), clang::LocationContext::inTopFrame(), clang::Type::isObjCRetainableType(), clang::ObjCMethodCall::isReceiverSelfOrSuper(), MustRelease, clang::ento::OS, clang::ObjCImplDecl::property_impls(), REGISTER_MAP_WITH_PROGRAMSTATE, REGISTER_SET_FACTORY_WITH_PROGRAMSTATE, clang::ObjCPropertyDecl::Retain, State, and clang::ObjCPropertyImplDecl::Synthesize.