clang
7.0.0svn
|
#include "ClangSACheckers.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"
Go to the source code of this file.
Classes | |
struct | clang::ento::ProgramStateTrait< SymbolSet > |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Typedefs | |
typedef llvm::ImmutableSet< SymbolRef > | SymbolSet |
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... | |
Definition at line 181 of file CheckObjCDealloc.cpp.
|
strong |
Indicates whether an instance variable is required to be released in -dealloc.
Definition at line 55 of file CheckObjCDealloc.cpp.
|
static |
Returns true if the property implementation is synthesized and the type of the property is retainable.
Definition at line 69 of file CheckObjCDealloc.cpp.