clang
8.0.0
|
RetEffect summarizes a call's retain/release behavior with respect to its return value. More...
#include "clang/StaticAnalyzer/Core/RetainSummaryManager.h"
Public Types | |
enum | Kind { NoRet, OwnedSymbol, NotOwnedSymbol, OwnedWhenTrackedReceiver, NoRetHard } |
Public Member Functions | |
Kind | getKind () const |
ObjKind | getObjKind () const |
bool | isOwned () const |
bool | notOwned () const |
bool | operator== (const RetEffect &Other) const |
Static Public Member Functions | |
static RetEffect | MakeOwnedWhenTrackedReceiver () |
static RetEffect | MakeOwned (ObjKind o) |
static RetEffect | MakeNotOwned (ObjKind o) |
static RetEffect | MakeNoRet () |
static RetEffect | MakeNoRetHard () |
RetEffect summarizes a call's retain/release behavior with respect to its return value.
Definition at line 144 of file RetainSummaryManager.h.
Definition at line 146 of file RetainSummaryManager.h.
|
inline |
Definition at line 177 of file RetainSummaryManager.h.
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkReturnWithRetEffect(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), clang::ento::retaincountchecker::RetainCountChecker::processSummaryOfInlined(), and llvm::FoldingSetTrait< RetEffect >::Profile().
|
inline |
Definition at line 179 of file RetainSummaryManager.h.
Referenced by AuditedType(), llvm::FoldingSetTrait< RetEffect >::Profile(), and refValFromRetEffect().
|
inline |
Definition at line 181 of file RetainSummaryManager.h.
Referenced by AuditedType(), clang::ento::retaincountchecker::RetainCountChecker::checkReturnWithRetEffect(), and refValFromRetEffect().
|
inlinestatic |
Definition at line 203 of file RetainSummaryManager.h.
Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), llvm::DenseMapInfo< ObjCSummaryKey >::isEqual(), and isOSObjectRelated().
|
inlinestatic |
Definition at line 206 of file RetainSummaryManager.h.
Definition at line 200 of file RetainSummaryManager.h.
Definition at line 197 of file RetainSummaryManager.h.
Referenced by isOSObjectRelated().
|
inlinestatic |
Definition at line 193 of file RetainSummaryManager.h.
References clang::ento::ObjC.
|
inline |
Definition at line 185 of file RetainSummaryManager.h.
Referenced by AuditedType(), clang::ento::retaincountchecker::RetainCountChecker::checkSummary(), and refValFromRetEffect().
Definition at line 189 of file RetainSummaryManager.h.