Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/RetainCountChecker_8cpp_source.html below:

clang: lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp Source File

;

retaincountchecker;

retaincountchecker {

State->get<RefBindings>(Sym);

assert(Sym !=

);

State->set<RefBindings>(Sym, Val);

State->remove<RefBindings>(Sym);

Out <<

<< T <<

;

: llvm_unreachable(

);

(cnt) Out <<

<< cnt <<

;

(cnt) Out <<

<< cnt <<

;

Out <<

;

(cnt) Out <<

<< cnt <<

;

Out <<

;

(cnt) Out <<

<< cnt <<

;

Out <<

;

Out <<

;

Out <<

;

Out <<

;

Out <<

;

Out <<

;

Out <<

;

Out <<

;

Out <<

<< ACnt <<

;

VisitSymbol(

sym)

{

*R = cast<BlockDataRegion>(

.getSVal(BE).getAsRegion());

ReferencedVars = R->referenced_vars();

(ReferencedVars.empty())

(

Var : ReferencedVars) {

*VR = Var.getCapturedRegion();

Regions.push_back(VR);

state = state->scanReachableSymbols<StopTrackingCallback>(Regions).getState();

.addTransition(state);

Sym =

.getSVal(CE).getAsLocSymbol();

.addTransition(state);

*Ex)

{

.addTransition(state);

.addTransition(State);

std::optional<Loc> IVarLoc =

.getSVal(IRE).getAs<

>();

Sym = State->getSVal(*IVarLoc).getAsSymbol();

(!Sym || !isa_and_nonnull<ObjCIvarRegion>(Sym->

()))

.addTransition(

(State, Sym, RV->withIvarAccess()));

.addTransition(State);

(

*MC = dyn_cast<ObjCMethodCall>(&

)) {

MC->getMethodFamily() ==

&& MC->isReceiverSelfOrSuper() &&

!

.getLocationContext()

->getAnalysisDeclContext()

.isConsumedExpr(

.getOriginExpr());

*CE =

.getOriginExpr();

:

(cast<CXXDestructorDecl>(

.getDecl()));

(

*MC = dyn_cast<ObjCMethodCall>(&

)) {

(MC->isInstanceMessage()) {

ReceiverV = MC->getReceiverSVal();

ReceiverType =

->getType();

(

.wasInlined) {

(PT->isObjCQualifiedIdType() || PT->isObjCIdType() ||

PT->isObjCClassType()) {

*TrackedValue) {

(

idx = 0, e = CallOrMsg.

(); idx != e; ++idx) {

ShouldRemoveBinding =

;

(ShouldRemoveBinding)

(

*MsgInvocation = dyn_cast<ObjCMethodCall>(&CallOrMsg)) {

(

Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {

.addTransition(state);

*TR = dyn_cast<TypedValueRegion>(

cast<SubRegion>(MR)->getSuperRegion());

*VR = dyn_cast<VarRegion>(R);

*VD = VR->getDecl();

(!VD->

<CleanupAttr>())

SplitNecessary =

;

SplitNecessary =

;

(SplitNecessary) {

AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL,

);

AssumeZeroReturn = AssumeZeroReturn->assume(*DL,

);

(

idx = 0, e = CE.

(); idx != e; ++idx) {

*ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.

());

PointeeTy = ArgRegion->getValueType();

PointeeVal = State->getSVal(ArgRegion);

AssumeNonZeroReturn = makeNotOwnedParameter(AssumeNonZeroReturn);

AssumeZeroReturn = makeNotOwnedParameter(AssumeZeroReturn);

AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn);

AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn);

AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn);

AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn);

(SplitNecessary) {

{AssumeNonZeroReturn, AssumeZeroReturn};

assert(AssumeZeroReturn == AssumeNonZeroReturn);

{AssumeZeroReturn};

DeallocSent =

;

(

idx = 0, e = CallOrMsg.

(); idx != e; ++idx) {

ReceiverIsTracked =

;

(

*MsgInvocation = dyn_cast<ObjCMethodCall>(&CallOrMsg)) {

(

Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {

ReceiverIsTracked =

;

ErrorRange = MsgInvocation->getOriginExpr()->getReceiverRange();

}

(

*MCall = dyn_cast<CXXMemberCall>(&CallOrMsg)) {

(

Sym = MCall->getCXXThisVal().getAsLocSymbol()) {

ErrorRange = MCall->getOriginExpr()->getSourceRange();

(ReceiverIsTracked)

.addTransition(St);

IgnoreRetainMsg = (

)

.getASTContext().getLangOpts().ObjCAutoRefCount;

hasErr =

.getKind();

llvm_unreachable(

);

(

.getKind()) {

llvm_unreachable(

);

hasErr =

.getKind();

=

.autorelease();

(

.getKind()) {

llvm_unreachable(

);

(

.getKind()) {

llvm_unreachable(

);

assert(

.getCount() > 0);

(

.getCount() == 1) {

.getIvarAccessHistory() ==

(

.getCount() > 0) {

}

(

.getIvarAccessHistory() ==

hasErr =

.getKind();

llvm_unreachable(

);

report = std::make_unique<RefCountReport>(

.getASTContext().getLangOpts(), N, Sym);

report->addRange(ErrorRange);

.emitReport(std::move(report));

*FD = dyn_cast_or_null<FunctionDecl>(

.getDecl());

*CE = dyn_cast_or_null<CallExpr>(

.getOriginExpr());

hasTrustedImplementationAnnotation =

;

std::optional<BehaviorSummary> BSmr =

SmrMgr.

(CE, FD, hasTrustedImplementationAnnotation);

(BSmr == BehaviorSummary::Identity ||

BSmr == BehaviorSummary::IdentityOrZero ||

BSmr == BehaviorSummary::IdentityThis) {

*BindReturnTo =

(BSmr == BehaviorSummary::IdentityThis)

? cast<CXXMemberCallExpr>(CE)->getImplicitObjectArgument()

RetVal = state->getSVal(BindReturnTo, LCtx);

(hasTrustedImplementationAnnotation && !ResultTy.

())) {

state = state->BindExpr(CE, LCtx, RetVal,

);

(BSmr == BehaviorSummary::IdentityOrZero) {

NullOutputState = NullOutputState->BindExpr(

CE, LCtx,

.getSValBuilder().makeNullWithType(ResultTy),

state = state->assume(*L,

);

.addTransition(state);

(!

.inTopFrame())

*RetE = S->getRetValue();

Sym = state->getSValAsScalarOrLoc(RetE,

.getLocationContext())

.getAsLocSymbol(

);

(

.getKind()) {

cnt =

.getCount();

.setCount(cnt - 1);

cnt =

.getCount();

.setCount(cnt - 1);

Pred =

.addTransition(state);

}

(

*FD = dyn_cast<FunctionDecl>(CD)) {

(!isa<CXXMethodDecl>(FD)) {

(

.isReturnedOwned() &&

.getCount() == 0) {

*N =

.addTransition(state, Pred, &ReturnOwnLeakTag);

&LOpts =

.getASTContext().getLangOpts();

std::make_unique<RefLeakReport>(*

, LOpts, N, Sym,

);

.emitReport(std::move(R));

}

(

.isReturnedNotOwned()) {

(

.getIvarAccessHistory() ==

ReturnNotOwnedTag(

,

);

*N =

.addTransition(state, Pred, &ReturnNotOwnedTag);

R = std::make_unique<RefCountReport>(

.emitReport(std::move(R));

state = state->scanReachableSymbols<StopTrackingCallback>(val).getState();

.addTransition(state);

Assumption)

{

RefBindingsTy B = state->get<RefBindings>();

changed =

;

RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>();

(

&I : B) {

B = RefBFactory.remove(B, I.first);

state = state->set<RefBindings>(B);

(

*I : ExplicitRegions)

AllowedSymbols.insert(SR->getSymbol());

(AllowedSymbols.count(sym))

ACnt =

.getAutoreleaseCount();

Cnt =

.getCount();

=

.releaseViaIvar();

.setCount(

.getCount() - ACnt);

.setAutoreleaseCount(0);

llvm::raw_svector_ostream os(sbuf);

os <<

;

(

.getAutoreleaseCount() > 1)

os <<

.getAutoreleaseCount() <<

;

os <<

<<

.getCount() <<

;

R = std::make_unique<RefCountReport>(*

, LOpts, N, Sym,

Ctx.emitReport(std::move(R));

(

.isOwned())

(

.isNotOwned() ||

.isReturnedOwned())

hasLeak = (

.getCount() > 0);

Leaked.push_back(sid);

Ctx.emitReport(std::make_unique<RefLeakReport>(BT, LOpts, N, L, Ctx));

(!Ctx.inTopFrame())

(

idx = 0, e =

->param_size(); idx != e; ++idx) {

Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol();

*AE = CalleeSideArgEffects.lookup(idx);

Ctx.addTransition(state);

RefBindingsTy B = state->get<RefBindings>();

(LCtx->getAnalysisDeclContext()->isBodyAutosynthesized()) {

assert(!LCtx->inTopFrame());

(

&I : B) {

(LCtx->getParent())

B = state->get<RefBindings>();

(

&I: state->get<RefBindings>()) {

(SymReaper.

(Sym)) {

(Leaked.empty()) {

.addTransition(state);

RefBindingsTy::Factory &F = state->get_context<RefBindings>();

RefBindingsTy B = state->get<RefBindings>();

state = state->set<RefBindings>(B);

.addTransition(state, Pred);

*NL,

*Sep)

{

RefBindingsTy B = State->get<RefBindings>();

(

&I : B) {

Out << I.first <<

;

I.second.print(Out);

std::make_unique<CheckerProgramPointTag>(Chk,

);

std::make_unique<CheckerProgramPointTag>(Chk,

);

ento::shouldRegisterRetainCountBase(

&mgr) {

ento::shouldRegisterRetainCountChecker(

&mgr) {

ento::registerOSObjectRetainCountChecker(

&Mgr) {

ento::shouldRegisterOSObjectRetainCountChecker(

&mgr) {

static CanQualType GetReturnType(QualType RetTy)

Returns the "extra-canonicalized" return type, which discards qualifiers on the return type.

#define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value)

Declares an immutable map of type NameTy, suitable for placement into the ProgramState.

#define LAZY_INIT_BUGTYPE(KIND)

static const RetainSummary * getSummary(RetainSummaryManager &Summaries, const CallEvent &Call, QualType ReceiverType)

static std::optional< RefVal > refValFromRetEffect(RetEffect RE, QualType ResultTy)

static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, RefVal Val)

static bool isReceiverUnconsumedSelf(const CallEvent &Call)

static SmallVector< ProgramStateRef, 2 > updateOutParameters(ProgramStateRef State, const RetainSummary &Summ, const CallEvent &CE)

static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym)

#define INIT_BUGTYPE(KIND)

static bool isPointerToObject(QualType QT)

static bool isSmartPtrField(const MemRegion *MR)

static bool shouldEscapeOSArgumentOnCall(const CallEvent &CE, unsigned ArgIdx, const RefVal *TrackedValue)

Whether the tracked value should be escaped on a given call.

static bool shouldEscapeRegion(const MemRegion *R)

A value escapes in these possible cases:

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

QualType getObjCInterfaceType(const ObjCInterfaceDecl *Decl, ObjCInterfaceDecl *PrevDecl=nullptr) const

getObjCInterfaceType - Return the unique reference to the type for the specified ObjC interface decl.

const LangOptions & getLangOpts() const

QualType getObjCObjectPointerType(QualType OIT) const

Return a ObjCObjectPointerType type for the given ObjCObjectType.

bool getCheckerBooleanOption(StringRef CheckerName, StringRef OptionName, bool SearchInParents=false) const

Interprets an option's string value as a boolean.

An instance of this class corresponds to a call.

static std::optional< AnyCall > forDecl(const Decl *D)

If D is a callable (Objective-C method or a function), return a constructed AnyCall object.

static std::optional< AnyCall > forExpr(const Expr *E)

If E is a generic call (to ObjC method /function/block/etc), return a constructed AnyCall object.

bool hasCaptures() const

True if this block (or its nested blocks) captures anything of local storage from its enclosing scope...

BlockExpr - Adaptor class for mixing a BlockDecl with expressions.

const BlockDecl * getBlockDecl() const

CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...

Decl - This represents one declaration (or definition), e.g.

This represents one expression.

Represents a function declaration or definition.

Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...

It wraps the AnalysisDeclContext to represent both the call stack with the help of StackFrameContext ...

const Decl * getDecl() const

ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...

ObjCBoxedExpr - used for generalized expression boxing.

An Objective-C "bridged" cast expression, which casts between Objective-C pointers and C pointers,...

ObjCBridgeCastKind getBridgeKind() const

Determine which kind of bridge is being performed via this cast.

ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...

Represents an ObjC class declaration.

ObjCIvarRefExpr - A reference to an ObjC instance variable.

An expression that sends a message to the given Objective-C object or class.

ObjCMethodDecl - Represents an instance or class method declaration.

Represents a pointer to an Objective C object.

Represents a parameter to a function.

ProgramPoints can be "tagged" as representing points specific to a given analysis entity.

A (possibly-)qualified type.

bool isNull() const

Return true if this QualType doesn't point to a type yet.

ReturnStmt - This represents a return, optionally of an expression: return; return 4;.

A trivial tuple used to represent a source range.

Stmt - This represents one statement.

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

bool isScalarType() const

const CXXRecordDecl * getPointeeCXXRecordDecl() const

If this is a pointer or reference to a RecordType, return the CXXRecordDecl that the type refers to.

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

bool isObjCObjectPointerType() const

const T * getAs() const

Member-template getAs<specific type>'.

bool isObjCRetainableType() const

Represents a variable declaration or definition.

An ArgEffect summarizes the retain count behavior on an argument or receiver to a function or method.

ArgEffect withKind(ArgEffectKind NewK)

ObjKind getObjKind() const

ArgEffectKind getKind() const

Represents an abstract call to a function or method along a particular path.

virtual SourceRange getArgSourceRange(unsigned Index) const

Returns the source range for errors associated with this argument.

virtual const Expr * getOriginExpr() const

Returns the expression whose value will be the result of this call.

QualType getResultType() const

Returns the result type, adjusted for references.

virtual SVal getArgSVal(unsigned Index) const

Returns the value of a given argument at the time of the call.

virtual unsigned getNumArgs() const =0

Returns the number of arguments (explicit and implicit).

SVal getReturnValue() const

Returns the return value of the call.

virtual ArrayRef< ParmVarDecl * > parameters() const =0

Return call's formal parameters.

const AnalyzerOptions & getAnalyzerOptions() const

CHECKER * registerChecker(AT &&... Args)

Used to register checkers.

CheckerNameRef getCurrentCheckerName() const

Tag that can use a checker name as a message provider (see SimpleProgramPointTag).

bool isConstrainedTrue() const

Return true if the constraint is perfectly constrained to 'true'.

ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym)

Convenience method to query the state to see if a symbol is null or not null, or if neither assumptio...

const ProgramStateRef & getState() const

SVal getSVal(const Stmt *S) const

Get the value of an arbitrary expression at this node.

const LocationContext * getLocationContext() const

const Decl & getCodeDecl() const

const VarRegion * getVarRegion(const VarDecl *VD, const LocationContext *LC)

getVarRegion - Retrieve or create the memory region associated with a specified VarDecl and LocationC...

MemRegion - The root abstract class for all memory regions.

bool hasStackStorage() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * StripCasts(bool StripBaseAndDerivedCasts=true) const

const RegionTy * getAs() const

RetEffect summarizes a call's retain/release behavior with respect to its return value.

ObjKind getObjKind() const

@ OwnedWhenTrackedReceiver

Indicates that the return value is an owned object when the receiver is also a tracked object.

@ NoRet

Indicates that no retain count information is tracked for the return value.

static RetEffect MakeNoRet()

bool isTrustedReferenceCountImplementation(const Decl *FD)

std::optional< BehaviorSummary > canEval(const CallExpr *CE, const FunctionDecl *FD, bool &hasTrustedImplementationAnnotation)

static bool isKnownSmartPointer(QualType QT)

const RetainSummary * getSummary(AnyCall C, bool HasNonZeroCallbackArg=false, bool IsReceiverUnconsumedSelf=false, QualType ReceiverType={})

RetEffect getObjAllocRetEffect() const

Summary for a function with respect to ownership changes.

ArgEffect getThisEffect() const

ArgEffect getReceiverEffect() const

getReceiverEffect - Returns the effect on the receiver of the call.

RetEffect getRetEffect() const

getRetEffect - Returns the effect on the return value of the call.

ArgEffects getArgEffects() const

ArgEffect getArg(unsigned idx) const

getArg - Return the argument effect on the argument specified by idx (starting from 0).

DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count)

Create a new symbol with a unique 'name'.

SVal - This represents a symbolic expression, which can be either an L-value or an R-value.

SymbolRef getAsSymbol(bool IncludeBaseRegions=false) const

If this SVal wraps a symbol return that SymbolRef.

std::optional< T > getAs() const

Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.

SymbolRef getAsLocSymbol(bool IncludeBaseRegions=false) const

If this SVal is a location and wraps a symbol, return that SymbolRef.

const MemRegion * getAsRegion() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getSuperRegion() const

virtual const MemRegion * getOriginRegion() const

Find the region from which this symbol originates.

virtual QualType getType() const =0

A class responsible for cleaning up unused symbols.

bool isDead(SymbolRef sym)

Returns whether or not a symbol has been confirmed dead.

SymbolicRegion - A special, "non-concrete" region.

const VarDecl * getDecl() const override=0

unsigned getCount() const

@ ReleasedAfterDirectAccess

IvarAccessHistory getIvarAccessHistory() const

Returns what the analyzer knows about direct accesses to a particular instance variable.

void print(raw_ostream &Out) const

RefVal withIvarAccess() const

static RefVal makeOwned(ObjKind o, QualType t)

Create a state for an object whose lifetime is the responsibility of the current function,...

ObjKind getObjKind() const

static RefVal makeNotOwned(ObjKind o, QualType t)

Create a state for an object whose lifetime is not the responsibility of the current function.

std::unique_ptr< RefCountBug > LeakAtReturn

void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const

void checkSummary(const RetainSummary &Summ, const CallEvent &Call, CheckerContext &C) const

ProgramStateRef handleSymbolDeath(ProgramStateRef state, SymbolRef sid, RefVal V, SmallVectorImpl< SymbolRef > &Leaked) const

static std::unique_ptr< CheckerProgramPointTag > CastFailTag

bool TrackObjCAndCFObjects

Track Objective-C and CoreFoundation objects.

ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond, bool Assumption) const

static std::unique_ptr< CheckerProgramPointTag > DeallocSentTag

static const CheckerProgramPointTag & getCastFailTag()

void processNonLeakError(ProgramStateRef St, SourceRange ErrorRange, RefVal::Kind ErrorKind, SymbolRef Sym, CheckerContext &C) const

const RefCountBug & errorKindToBugKind(RefVal::Kind ErrorKind, SymbolRef Sym) const

std::unique_ptr< RefCountBug > ReleaseNotOwned

std::unique_ptr< RefCountBug > DeallocNotOwned

void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const

ExplodedNode * checkReturnWithRetEffect(const ReturnStmt *S, CheckerContext &C, ExplodedNode *Pred, RetEffect RE, RefVal X, SymbolRef Sym, ProgramStateRef state) const

ProgramStateRef handleAutoreleaseCounts(ProgramStateRef state, ExplodedNode *Pred, const ProgramPointTag *Tag, CheckerContext &Ctx, SymbolRef Sym, RefVal V, const ReturnStmt *S=nullptr) const

std::unique_ptr< RefCountBug > OverAutorelease

ExplodedNode * processLeaks(ProgramStateRef state, SmallVectorImpl< SymbolRef > &Leaked, CheckerContext &Ctx, ExplodedNode *Pred=nullptr) const

ProgramStateRef updateSymbol(ProgramStateRef state, SymbolRef sym, RefVal V, ArgEffect E, RefVal::Kind &hasErr, CheckerContext &C) const

void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const

static const CheckerProgramPointTag & getDeallocSentTag()

std::unique_ptr< RetainSummaryManager > Summaries

void printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const override

See CheckerManager::runCheckersForPrintState.

bool evalCall(const CallEvent &Call, CheckerContext &C) const

void checkBeginFunction(CheckerContext &C) const

bool TrackOSObjects

Track sublcasses of OSObject.

void checkPostCall(const CallEvent &Call, CheckerContext &C) const

std::unique_ptr< RefCountBug > FreeNotOwned

std::unique_ptr< RefCountBug > LeakWithinFunction

ProgramStateRef checkRegionChanges(ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef< const MemRegion * > ExplicitRegions, ArrayRef< const MemRegion * > Regions, const LocationContext *LCtx, const CallEvent *Call) const

void processObjCLiterals(CheckerContext &C, const Expr *Ex) const

void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const

void processSummaryOfInlined(const RetainSummary &Summ, const CallEvent &Call, CheckerContext &C) const

std::unique_ptr< RefCountBug > ReturnNotOwnedForOwned

RetainSummaryManager & getSummaryManager(ASTContext &Ctx) const

bool TrackNSCFStartParam

Track initial parameters (for the entry point) for NS/CF objects.

std::unique_ptr< RefCountBug > UseAfterRelease

bool isCFObjectRef(QualType T)

const RefVal * getRefBinding(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 who...

llvm::ImmutableMap< unsigned, ArgEffect > ArgEffects

ArgEffects summarizes the effects of a function/method call on all of its arguments.

ObjKind

Determines the object kind of a tracked object.

@ OS

Indicates that the tracking object is a descendant of a referenced-counted OSObject,...

@ Generalized

Indicates that the tracked object is a generalized object.

@ CF

Indicates that the tracked object is a CF object.

@ ObjC

Indicates that the tracked object is an Objective-C object.

llvm::DenseSet< SymbolRef > InvalidatedSymbols

@ IncRef

The argument has its reference count increased by 1.

@ UnretainedOutParameter

The argument is a pointer to a retain-counted object; on exit, the new value of the pointer is a +0 v...

@ DoNothing

There is no effect.

@ RetainedOutParameter

The argument is a pointer to a retain-counted object; on exit, the new value of the pointer is a +1 v...

@ RetainedOutParameterOnZero

The argument is a pointer to a retain-counted object; on exit, the new value of the pointer is a +1 v...

@ MayEscape

The argument is treated as potentially escaping, meaning that even when its reference count hits 0 it...

@ StopTracking

All typestate tracking of the object ceases.

@ Dealloc

The argument is treated as if the referenced object was deallocated.

@ Autorelease

The argument is treated as if an -autorelease message had been sent to the referenced object.

@ RetainedOutParameterOnNonZero

The argument is a pointer to a retain-counted object; on exit, the new value of the pointer is a +1 v...

@ DecRef

The argument has its reference count decreased by 1.

@ StopTrackingHard

All typestate tracking of the object ceases.

@ DecRefAndStopTrackingHard

Performs the combined functionality of DecRef and StopTrackingHard.

@ DecRefBridgedTransferred

The argument has its reference count decreased by 1 to model a transferred bridge cast under ARC.

The JSON file list parser is used to communicate input to InstallAPI.

@ OBC_Bridge

Bridging via __bridge, which does nothing but reinterpret the bits.

@ OBC_BridgeTransfer

Bridging via __bridge_transfer, which transfers ownership of an Objective-C pointer into ARC.

@ OBC_BridgeRetained

Bridging via __bridge_retain, which makes an ARC object available as a +1 C pointer.

const FunctionProtoType * T

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4