This is an archive of the discontinued LLVM Phabricator instance.

Differential D100852

[analyzer] Track leaking object through stores
ClosedPublic

Authored by vsavchenko on Apr 20 2021, 7:12 AM.

Details

Reviewers
NoQ
martong
steakhal
xazax.hun
Commits
rGe273918038a7: [analyzer] Track leaking object through stores
Summary

Since we can report memory leaks on one variable, while the originally
allocated object was stored into another one, we should explain
how did it get there.

rdar://76645710

Diff Detail

Event Timeline

vsavchenko created this revision.Apr 20 2021, 7:12 AM
Herald added subscribers: ASDenysPetrov, Charusso, dkrupp and 7 others. · View Herald TranscriptApr 20 2021, 7:12 AM
vsavchenko requested review of this revision.Apr 20 2021, 7:12 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 20 2021, 7:12 AM
Herald added a subscriber: cfe-commits. · View Herald Transcript
Harbormaster completed remote builds in B99710: Diff 338857.Apr 20 2021, 7:13 AM
vsavchenko added a parent revision: D100839: [analyzer] Adjust the reported variable name in retain count checker.Apr 20 2021, 7:16 AM
NoQ added a comment.Apr 21 2021, 1:08 AM

I think this is already way better than before. I see that OSDynamicCast isn't supported yet and we seem to hit the same wall as D97183 because inter-operation between trackExpressionValue and the checkers isn't implemented yet.

clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
636

Because we already know that Val.getAsLocSymbol() is equal to Sym, we can be certain that Val is either a &SymRegion{Sym} (i.e., literally this symbol in its pristine representation) or, in some rare cases, a LocAsInteger over that (which is a case i'm not sure we even want to handle). I dunno if we really need to return it here. Maybe it's easier to re-construct it in place as SValBuilder.makeLoc(Sym).

978

In particular, this check is always true and you can use castAs.

vsavchenko updated this revision to Diff 339143.Apr 21 2021, 1:59 AM
vsavchenko marked an inline comment as done.

Add a comment and replace getAs with castAs

vsavchenko added a comment.Apr 21 2021, 1:59 AM
In D100852#2704282, @NoQ wrote:

I think this is already way better than before. I see that OSDynamicCast isn't supported yet and we seem to hit the same wall as D97183 because inter-operation between trackExpressionValue and the checkers isn't implemented yet.

Let's say that OSDynamicCast isn't fully supported. If we have a chain of bindings var1 -> var2 -> ... -> varN and varM -> varM+1 is a dynamic cast assignment, we will create a note that varM+1 is assigned/initialized here (as you can see in tests), but not further down the chain. check_dynamic_cast_alias_intermediate is a good example here.
We still have work to do, but in the most common case where var1 -> var2 is the whole chain, we work as expected.

clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
636

Oh, that was my original solution, but it doesn't work for dynamic casts.
This check compares symbols, but FindLastStore compares SVals. &Derived{&SymRegion} is not the same as &SymRegion and we fail.
So, instead of hacking on the result from SValBuilder trying to make something that will indeed match the last stored value, I save that last stored value here, so we're guaranteed that FindLastStore will work as intended.

978

Yep, makes sense!

Harbormaster completed remote builds in B99916: Diff 339143.Apr 21 2021, 2:48 AM
vsavchenko added a child revision: D101041: [analyzer] Find better description for tracked symbolic values.Apr 22 2021, 3:10 AM
NoQ accepted this revision.Apr 25 2021, 11:34 PM
NoQ added inline comments.
clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
636

Oh, C++. Indeed. Our pointer cast representation strikes again. Ok then!

This revision is now accepted and ready to land.Apr 25 2021, 11:34 PM
Closed by commit rGe273918038a7: [analyzer] Track leaking object through stores (authored by vsavchenko). · Explain WhyApr 28 2021, 8:38 AM
This revision was automatically updated to reflect the committed changes.
vsavchenko added a commit: rGe273918038a7: [analyzer] Track leaking object through stores.

Revision Contents

PathSize
clang/
lib/
StaticAnalyzer/
Checkers/
RetainCountChecker/
27 lines
test/
Analysis/
Inputs/
expected-plists/
29 lines
636 lines
58 lines
58 lines
52 lines
24 lines

Diff 341227

clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp

Show First 20 Lines • Show All 610 Lines • ▼ Show 20 Lines
static Optional<std::string> describeRegion(const MemRegion *MR) { static Optional<std::string> describeRegion(const MemRegion *MR) {
if (const auto *VR = dyn_cast_or_null<VarRegion>(MR)) if (const auto *VR = dyn_cast_or_null<VarRegion>(MR))
return std::string(VR->getDecl()->getName()); return std::string(VR->getDecl()->getName());
// Once we support more storage locations for bindings, // Once we support more storage locations for bindings,
// this would need to be improved. // this would need to be improved.
return None; return None;
} }
using Bindings = llvm::SmallVector<const MemRegion *, 4>; using Bindings = llvm::SmallVector<std::pair<const MemRegion *, SVal>, 4>;
class VarBindingsCollector : public StoreManager::BindingsHandler { class VarBindingsCollector : public StoreManager::BindingsHandler {
SymbolRef Sym; SymbolRef Sym;
Bindings &Result; Bindings &Result;
public: public:
VarBindingsCollector(SymbolRef Sym, Bindings &ToFill) VarBindingsCollector(SymbolRef Sym, Bindings &ToFill)
: Sym(Sym), Result(ToFill) {} : Sym(Sym), Result(ToFill) {}
bool HandleBinding(StoreManager &SMgr, Store Store, const MemRegion *R, bool HandleBinding(StoreManager &SMgr, Store Store, const MemRegion *R,
SVal Val) override { SVal Val) override {
SymbolRef SymV = Val.getAsLocSymbol(); SymbolRef SymV = Val.getAsLocSymbol();
if (!SymV || SymV != Sym) if (!SymV || SymV != Sym)
return true; return true;
if (isa<NonParamVarRegion>(R)) if (isa<NonParamVarRegion>(R))
Result.push_back(R); Result.emplace_back(R, Val);
NoQUnsubmitted
Not Done
ReplyInline Actions

Because we already know that Val.getAsLocSymbol() is equal to Sym, we can be certain that Val is either a &SymRegion{Sym} (i.e., literally this symbol in its pristine representation) or, in some rare cases, a LocAsInteger over that (which is a case i'm not sure we even want to handle). I dunno if we really need to return it here. Maybe it's easier to re-construct it in place as SValBuilder.makeLoc(Sym).

NoQ: Because we already know that `Val.getAsLocSymbol()` is equal to `Sym`, we can be certain that…
vsavchenkoAuthorUnsubmitted
Done
ReplyInline Actions

Oh, that was my original solution, but it doesn't work for dynamic casts.
This check compares symbols, but FindLastStore compares SVals. &Derived{&SymRegion} is not the same as &SymRegion and we fail.
So, instead of hacking on the result from SValBuilder trying to make something that will indeed match the last stored value, I save that last stored value here, so we're guaranteed that FindLastStore will work as intended.

vsavchenko: Oh, that was my original solution, but it doesn't work for dynamic casts. This check compares…
NoQUnsubmitted
Not Done
ReplyInline Actions

Oh, C++. Indeed. Our pointer cast representation strikes again. Ok then!

NoQ: Oh, C++. Indeed. Our pointer cast representation strikes again. Ok then!
return true; return true;
} }
}; };
Bindings getAllVarBindingsForSymbol(ProgramStateManager &Manager, Bindings getAllVarBindingsForSymbol(ProgramStateManager &Manager,
const ExplodedNode *Node, SymbolRef Sym) { const ExplodedNode *Node, SymbolRef Sym) {
Bindings Result; Bindings Result;
▲ Show 20 Lines • Show All 318 Lines • ▼ Show 20 Linesvoid RefLeakReport::findBindingToReport(CheckerContext &Ctx,
// We should complain about 'New' instead. // We should complain about 'New' instead.
Bindings AllVarBindings = Bindings AllVarBindings =
getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym); getAllVarBindingsForSymbol(Ctx.getStateManager(), Node, Sym);
// While looking for the last var bindings, we can still find // While looking for the last var bindings, we can still find
// `AllocFirstBinding` to be one of them. In situations like this, // `AllocFirstBinding` to be one of them. In situations like this,
// it would still be the easiest case to explain to our users. // it would still be the easiest case to explain to our users.
if (!AllVarBindings.empty() && if (!AllVarBindings.empty() &&
llvm::count(AllVarBindings, AllocFirstBinding) == 0) llvm::count_if(AllVarBindings,
[this](const std::pair<const MemRegion *, SVal> Binding) {
return Binding.first == AllocFirstBinding;
}) == 0) {
// Let's pick one of them at random (if there is something to pick from). // Let's pick one of them at random (if there is something to pick from).
AllocBindingToReport = AllVarBindings[0]; AllocBindingToReport = AllVarBindings[0].first;
else
// Because 'AllocBindingToReport' is not the the same as
NoQUnsubmitted
Done
ReplyInline Actions

In particular, this check is always true and you can use castAs.

NoQ: In particular, this check is always true and you can use `castAs`.
vsavchenkoAuthorUnsubmitted
Done
ReplyInline Actions

Yep, makes sense!

vsavchenko: Yep, makes sense!
// 'AllocFirstBinding', we need to explain how the leaking object
// got from one to another.
//
// NOTE: We use the actual SVal stored in AllocBindingToReport here because
// FindLastStoreBRVisitor compares SVal's and it can get trickier for
// something like derived regions if we want to construct SVal from
// Sym. Instead, we take the value that is definitely stored in that
// region, thus guaranteeing that FindLastStoreBRVisitor will work.
addVisitor(std::make_unique<FindLastStoreBRVisitor>(
AllVarBindings[0].second.castAs<KnownSVal>(), AllocBindingToReport,
false, bugreporter::TrackingKind::Thorough));
} else {
AllocBindingToReport = AllocFirstBinding; AllocBindingToReport = AllocFirstBinding;
} }
}
RefLeakReport::RefLeakReport(const RefCountBug &D, const LangOptions &LOpts, RefLeakReport::RefLeakReport(const RefCountBug &D, const LangOptions &LOpts,
ExplodedNode *N, SymbolRef Sym, ExplodedNode *N, SymbolRef Sym,
CheckerContext &Ctx) CheckerContext &Ctx)
: RefCountReport(D, LOpts, N, Sym, /*isLeak=*/true) { : RefCountReport(D, LOpts, N, Sym, /*isLeak=*/true) {
deriveAllocLocation(Ctx); deriveAllocLocation(Ctx);
findBindingToReport(Ctx, N); findBindingToReport(Ctx, N);
if (!AllocFirstBinding) if (!AllocFirstBinding)
deriveParamLocation(Ctx); deriveParamLocation(Ctx);
createDescription(Ctx); createDescription(Ctx);
addVisitor(std::make_unique<RefLeakReportVisitor>(Sym, AllocBindingToReport)); addVisitor(std::make_unique<RefLeakReportVisitor>(Sym, AllocBindingToReport));
} }

clang/test/Analysis/Inputs/expected-plists/edges-new.mm.plist

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 21,822 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>566</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>566</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>566</integer>
<key>col</key><integer>11</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;garply&apos; initialized here</string>
<key>message</key>
<string>&apos;garply&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>566</integer> <key>line</key><integer>566</integer>
▲ Show 20 Lines • Show All 583 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/retain-release-path-notes.m.plist

Show First 20 Lines • Show All 5,150 Lines • ▼ Show 20 Lines <array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Method returns an instance of MyObj with a +1 retain count</string> <string>Method returns an instance of MyObj with a +1 retain count</string>
<key>message</key> <key>message</key>
<string>Method returns an instance of MyObj with a +1 retain count</string> <string>Method returns an instance of MyObj with a +1 retain count</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>21</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Value assigned to &apos;self&apos;</string>
<key>message</key>
<string>Value assigned to &apos;self&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>215</integer> <key>line</key><integer>215</integer>
Show All 21 Lines <key>edges</key>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>216</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>216</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>216</integer>
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Returning pointer (loaded from &apos;self&apos;)</string>
<key>message</key>
<string>Returning pointer (loaded from &apos;self&apos;)</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>337</integer> <key>line</key><integer>337</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
▲ Show 20 Lines • Show All 44 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>337</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>337</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>337</integer>
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;Original&apos; initialized here</string>
<key>message</key>
<string>&apos;Original&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>337</integer> <key>line</key><integer>337</integer>
Show All 10 Lines <key>edges</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>342</integer> <key>line</key><integer>342</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>342</integer> <key>line</key><integer>342</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>342</integer> <key>line</key><integer>342</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>342</integer> <key>line</key><integer>342</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>342</integer> <key>line</key><integer>342</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;New&apos; initialized here</string>
<key>message</key>
<string>&apos;New&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>342</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>342</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>345</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>345</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>345</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>345</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>345</integer>
<key>col</key><integer>20</integer> <key>col</key><integer>20</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string> <string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string>
<key>message</key> <key>message</key>
<string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string> <string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Potential leak of an object stored into &apos;New&apos;</string> <key>description</key><string>Potential leak of an object stored into &apos;New&apos;</string>
<key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string> <key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string>
<key>type</key><string>Leak</string> <key>type</key><string>Leak</string>
<key>check_name</key><string>osx.cocoa.RetainCount</string> <key>check_name</key><string>osx.cocoa.RetainCount</string>
<!-- This hash is experimental and going to change! --> <!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>c6578d694dd90a2f586f52c9b53042c3</string> <key>issue_hash_content_of_line_in_context</key><string>c6578d694dd90a2f586f52c9b53042c3</string>
<key>issue_context_kind</key><string>Objective-C method</string> <key>issue_context_kind</key><string>Objective-C method</string>
<key>issue_context</key><string>testLeakAliasSimple</string> <key>issue_context</key><string>testLeakAliasSimple</string>
<key>issue_hash_function_offset</key><string>1</string> <key>issue_hash_function_offset</key><string>1</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>342</integer> <key>line</key><integer>345</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ExecutedLines</key> <key>ExecutedLines</key>
<dict> <dict>
<key>0</key> <key>0</key>
<array> <array>
<integer>214</integer> <integer>214</integer>
<integer>215</integer> <integer>215</integer>
<integer>216</integer> <integer>216</integer>
<integer>219</integer> <integer>219</integer>
<integer>220</integer> <integer>220</integer>
<integer>221</integer> <integer>221</integer>
<integer>336</integer> <integer>336</integer>
<integer>337</integer> <integer>337</integer>
<integer>339</integer>
<integer>340</integer>
<integer>341</integer>
<integer>342</integer> <integer>342</integer>
<integer>343</integer>
<integer>344</integer>
<integer>345</integer>
</array> </array>
</dict> </dict>
</dict> </dict>
<dict> <dict>
<key>path</key> <key>path</key>
<array> <array>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>37</integer> <key>col</key><integer>37</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Calling &apos;initY&apos;</string> <string>Calling &apos;initY&apos;</string>
▲ Show 20 Lines • Show All 73 Lines • ▼ Show 20 Lines <array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Method returns an instance of MyObj with a +1 retain count</string> <string>Method returns an instance of MyObj with a +1 retain count</string>
<key>message</key> <key>message</key>
<string>Method returns an instance of MyObj with a +1 retain count</string> <string>Method returns an instance of MyObj with a +1 retain count</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>21</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Value assigned to &apos;self&apos;</string>
<key>message</key>
<string>Value assigned to &apos;self&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>215</integer> <key>line</key><integer>215</integer>
Show All 21 Lines <key>edges</key>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>216</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>216</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>216</integer>
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Returning pointer (loaded from &apos;self&apos;)</string>
<key>message</key>
<string>Returning pointer (loaded from &apos;self&apos;)</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>37</integer> <key>col</key><integer>37</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Returning from &apos;initY&apos;</string> <string>Returning from &apos;initY&apos;</string>
<key>message</key> <key>message</key>
<string>Returning from &apos;initY&apos;</string> <string>Returning from &apos;initY&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>17</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;Original&apos; initialized here</string>
<key>message</key>
<string>&apos;Original&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>350</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>350</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>355</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>355</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>355</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>355</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>355</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;Intermediate&apos; initialized here</string>
<key>message</key>
<string>&apos;Intermediate&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>355</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>355</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>356</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>356</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>356</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>356</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>356</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;New&apos; initialized here</string>
<key>message</key>
<string>&apos;New&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>356</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>347</integer> <key>line</key><integer>356</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>353</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>353</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>353</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>353</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>353</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>20</integer> <key>col</key><integer>20</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string> <string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string>
<key>message</key> <key>message</key>
<string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string> <string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Potential leak of an object stored into &apos;New&apos;</string> <key>description</key><string>Potential leak of an object stored into &apos;New&apos;</string>
<key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string> <key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string>
<key>type</key><string>Leak</string> <key>type</key><string>Leak</string>
<key>check_name</key><string>osx.cocoa.RetainCount</string> <key>check_name</key><string>osx.cocoa.RetainCount</string>
<!-- This hash is experimental and going to change! --> <!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>076457f7cf482449386f129554f48f68</string> <key>issue_hash_content_of_line_in_context</key><string>076457f7cf482449386f129554f48f68</string>
<key>issue_context_kind</key><string>Objective-C method</string> <key>issue_context_kind</key><string>Objective-C method</string>
<key>issue_context</key><string>testLeakAliasChain</string> <key>issue_context</key><string>testLeakAliasChain</string>
<key>issue_hash_function_offset</key><string>1</string> <key>issue_hash_function_offset</key><string>1</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>353</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ExecutedLines</key> <key>ExecutedLines</key>
<dict> <dict>
<key>0</key> <key>0</key>
<array> <array>
<integer>214</integer> <integer>214</integer>
<integer>215</integer> <integer>215</integer>
<integer>216</integer> <integer>216</integer>
<integer>219</integer> <integer>219</integer>
<integer>220</integer> <integer>220</integer>
<integer>221</integer> <integer>221</integer>
<integer>346</integer>
<integer>347</integer>
<integer>349</integer> <integer>349</integer>
<integer>350</integer> <integer>350</integer>
<integer>351</integer> <integer>355</integer>
<integer>352</integer> <integer>356</integer>
<integer>353</integer> <integer>357</integer>
<integer>358</integer>
<integer>359</integer>
</array> </array>
</dict> </dict>
</dict> </dict>
<dict> <dict>
<key>path</key> <key>path</key>
<array> <array>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>37</integer> <key>col</key><integer>37</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Calling &apos;initY&apos;</string> <string>Calling &apos;initY&apos;</string>
▲ Show 20 Lines • Show All 73 Lines • ▼ Show 20 Lines <array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Method returns an instance of MyObj with a +1 retain count</string> <string>Method returns an instance of MyObj with a +1 retain count</string>
<key>message</key> <key>message</key>
<string>Method returns an instance of MyObj with a +1 retain count</string> <string>Method returns an instance of MyObj with a +1 retain count</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>215</integer>
<key>col</key><integer>21</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Value assigned to &apos;self&apos;</string>
<key>message</key>
<string>Value assigned to &apos;self&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>215</integer> <key>line</key><integer>215</integer>
Show All 21 Lines <key>edges</key>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>216</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>216</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>216</integer>
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>1</integer>
<key>extended_message</key>
<string>Returning pointer (loaded from &apos;self&apos;)</string>
<key>message</key>
<string>Returning pointer (loaded from &apos;self&apos;)</string>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>37</integer> <key>col</key><integer>37</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Returning from &apos;initY&apos;</string> <string>Returning from &apos;initY&apos;</string>
<key>message</key> <key>message</key>
<string>Returning from &apos;initY&apos;</string> <string>Returning from &apos;initY&apos;</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>17</integer> <key>col</key><integer>17</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>377</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>377</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>377</integer>
<key>col</key><integer>13</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;Original&apos; initialized here</string>
<key>message</key>
<string>&apos;Original&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>371</integer> <key>line</key><integer>377</integer>
<key>col</key><integer>4</integer> <key>col</key><integer>4</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>376</integer> <key>line</key><integer>383</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>383</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</dict>
</array>
</dict>
<dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>383</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>383</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>383</integer>
<key>col</key><integer>16</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Value assigned to &apos;New&apos;</string>
<key>message</key>
<string>Value assigned to &apos;New&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>383</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>383</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>386</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>376</integer> <key>line</key><integer>386</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string> <key>kind</key><string>event</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>376</integer> <key>line</key><integer>386</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>376</integer> <key>line</key><integer>386</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>376</integer> <key>line</key><integer>386</integer>
<key>col</key><integer>20</integer> <key>col</key><integer>20</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string> <string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string>
<key>message</key> <key>message</key>
<string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string> <string>Object leaked: object allocated and stored into &apos;New&apos; is not referenced later in this execution path and has a retain count of +1</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Potential leak of an object stored into &apos;New&apos;</string> <key>description</key><string>Potential leak of an object stored into &apos;New&apos;</string>
<key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string> <key>category</key><string>Memory (Core Foundation/Objective-C/OSObject)</string>
<key>type</key><string>Leak</string> <key>type</key><string>Leak</string>
<key>check_name</key><string>osx.cocoa.RetainCount</string> <key>check_name</key><string>osx.cocoa.RetainCount</string>
<!-- This hash is experimental and going to change! --> <!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>1ead75ff85eb09fa93374d0083f531e5</string> <key>issue_hash_content_of_line_in_context</key><string>1ead75ff85eb09fa93374d0083f531e5</string>
<key>issue_context_kind</key><string>Objective-C method</string> <key>issue_context_kind</key><string>Objective-C method</string>
<key>issue_context</key><string>testLeakAliasDeathInExpr</string> <key>issue_context</key><string>testLeakAliasDeathInExpr</string>
<key>issue_hash_function_offset</key><string>1</string> <key>issue_hash_function_offset</key><string>1</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>376</integer> <key>line</key><integer>386</integer>
<key>col</key><integer>3</integer> <key>col</key><integer>3</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ExecutedLines</key> <key>ExecutedLines</key>
<dict> <dict>
<key>0</key> <key>0</key>
<array> <array>
<integer>214</integer> <integer>214</integer>
<integer>215</integer> <integer>215</integer>
<integer>216</integer> <integer>216</integer>
<integer>219</integer> <integer>219</integer>
<integer>220</integer> <integer>220</integer>
<integer>221</integer> <integer>221</integer>
<integer>357</integer>
<integer>358</integer>
<integer>359</integer>
<integer>360</integer>
<integer>363</integer> <integer>363</integer>
<integer>364</integer> <integer>364</integer>
<integer>365</integer> <integer>365</integer>
<integer>366</integer> <integer>366</integer>
<integer>367</integer> <integer>369</integer>
<integer>370</integer> <integer>370</integer>
<integer>371</integer> <integer>371</integer>
<integer>372</integer>
<integer>373</integer> <integer>373</integer>
<integer>374</integer>
<integer>375</integer>
<integer>376</integer> <integer>376</integer>
<integer>377</integer>
<integer>382</integer>
<integer>383</integer>
<integer>384</integer>
<integer>385</integer>
<integer>386</integer>
</array> </array>
</dict> </dict>
</dict> </dict>
<dict> <dict>
<key>path</key> <key>path</key>
<array> <array>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
▲ Show 20 Lines • Show All 805 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/retain-release.m.objc.plist

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 25,283 Lines • ▼ Show 20 Lines <array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
<key>message</key> <key>message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>2286</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>2286</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>2286</integer>
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;second&apos; initialized here</string>
<key>message</key>
<string>&apos;second&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>2286</integer> <key>line</key><integer>2286</integer>
▲ Show 20 Lines • Show All 242 Lines • ▼ Show 20 Lines <array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
<key>message</key> <key>message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>2306</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>2306</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>2306</integer>
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;alias&apos; initialized here</string>
<key>message</key>
<string>&apos;alias&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>2306</integer> <key>line</key><integer>2306</integer>
▲ Show 20 Lines • Show All 678 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/retain-release.m.objcpp.plist

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 25,352 Lines • ▼ Show 20 Lines <array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
<key>message</key> <key>message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>2286</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>2286</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>2286</integer>
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;second&apos; initialized here</string>
<key>message</key>
<string>&apos;second&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>2286</integer> <key>line</key><integer>2286</integer>
▲ Show 20 Lines • Show All 242 Lines • ▼ Show 20 Lines <array>
</array> </array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
<key>message</key> <key>message</key>
<string>Object autoreleased</string> <string>Object autoreleased</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>event</string>
<key>location</key>
<dict>
<key>line</key><integer>2306</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>2306</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>2306</integer>
<key>col</key><integer>18</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>&apos;alias&apos; initialized here</string>
<key>message</key>
<string>&apos;alias&apos; initialized here</string>
</dict>
<dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>2306</integer> <key>line</key><integer>2306</integer>
▲ Show 20 Lines • Show All 678 Lines • Show Last 20 Lines

clang/test/Analysis/osobject-retain-release.cpp

Show First 20 Lines • Show All 520 Lines • ▼ Show 20 Lines if (!arr) // expected-note{{'arr' is null}}
// expected-note@-1{{Taking true branch}} // expected-note@-1{{Taking true branch}}
return; // expected-warning{{Potential leak of an object stored into 'arr1'}} return; // expected-warning{{Potential leak of an object stored into 'arr1'}}
// expected-note@-1{{Object leaked}} // expected-note@-1{{Object leaked}}
arr1->release(); arr1->release();
} }
void check_dynamic_cast_null_check() { void check_dynamic_cast_null_check() {
OSArray *arr = OSDynamicCast(OSArray, OSObject::generateObject(1)); // expected-note{{Call to method 'OSObject::generateObject' returns an OSObject}} OSArray *arr = OSDynamicCast(OSArray, OSObject::generateObject(1)); // expected-note{{Call to method 'OSObject::generateObject' returns an OSObject}}
// expected-warning@-1{{Potential leak of an object}} // expected-warning@-1{{Potential leak of an object}}
// expected-note@-2{{Object leaked}} // expected-note@-2{{Object leaked}}
// expected-note@-3{{Assuming dynamic cast returns null due to type mismatch}} // expected-note@-3{{Assuming dynamic cast returns null due to type mismatch}}
if (!arr) if (!arr)
return; return;
arr->release(); arr->release();
} }
void check_dynamic_cast_alias() {
OSObject *originalPtr = OSObject::generateObject(1); // expected-note {{Call to method 'OSObject::generateObject' returns an OSObject}}
OSArray *newPtr = OSDynamicCast(OSArray, originalPtr); // expected-note {{'newPtr' initialized here}}
if (newPtr) { // expected-note {{'newPtr' is non-null}}
// expected-note@-1 {{Taking true branch}}
originalPtr = OSObject::generateObject(42);
(void)newPtr;
}
originalPtr->release(); // expected-warning {{Potential leak of an object stored into 'newPtr'}}
// expected-note@-1 {{Object leaked: object allocated and stored into 'newPtr' is not referenced later in this execution path and has a retain count of +1}}
}
void check_dynamic_cast_alias_cond() {
OSObject *originalPtr = OSObject::generateObject(1); // expected-note {{Call to method 'OSObject::generateObject' returns an OSObject}}
OSArray *newPtr = 0;
if ((newPtr = OSDynamicCast(OSArray, originalPtr))) { // expected-note {{Value assigned to 'newPtr'}}
// expected-note@-1 {{'newPtr' is non-null}}
// expected-note@-2 {{Taking true branch}}
originalPtr = OSObject::generateObject(42);
(void)newPtr;
}
originalPtr->release(); // expected-warning {{Potential leak of an object stored into 'newPtr'}}
// expected-note@-1 {{Object leaked: object allocated and stored into 'newPtr' is not referenced later in this execution path and has a retain count of +1}}
}
void check_dynamic_cast_alias_intermediate() {
OSObject *originalPtr = OSObject::generateObject(1); // expected-note {{Call to method 'OSObject::generateObject' returns an OSObject of type 'OSObject' with a +1 retain count}}
OSObject *intermediate = originalPtr; // TODO: add note here as well
OSArray *newPtr = 0;
if ((newPtr = OSDynamicCast(OSArray, intermediate))) { // expected-note {{Value assigned to 'newPtr'}}
// expected-note@-1 {{'newPtr' is non-null}}
// expected-note@-2 {{Taking true branch}}
intermediate = OSObject::generateObject(42);
(void)newPtr;
}
intermediate->release(); // expected-warning {{Potential leak of an object stored into 'newPtr'}}
// expected-note@-1 {{Object leaked: object allocated and stored into 'newPtr' is not referenced later in this execution path and has a retain count of +1}}
}
void use_after_release() { void use_after_release() {
OSArray *arr = OSArray::withCapacity(10); // expected-note{{Call to method 'OSArray::withCapacity' returns an OSObject of type 'OSArray' with a +1 retain count}} OSArray *arr = OSArray::withCapacity(10); // expected-note{{Call to method 'OSArray::withCapacity' returns an OSObject of type 'OSArray' with a +1 retain count}}
arr->release(); // expected-note{{Object released}} arr->release(); // expected-note{{Object released}}
arr->getCount(); // expected-warning{{Reference-counted object is used after it is released}} arr->getCount(); // expected-warning{{Reference-counted object is used after it is released}}
// expected-note@-1{{Reference-counted object is used after it is released}} // expected-note@-1{{Reference-counted object is used after it is released}}
} }
void potential_leak() { void potential_leak() {
OSArray *arr = OSArray::withCapacity(10); // expected-note{{Call to method 'OSArray::withCapacity' returns an OSObject of type 'OSArray' with a +1 retain count}} OSArray *arr = OSArray::withCapacity(10); // expected-note{{Call to method 'OSArray::withCapacity' returns an OSObject of type 'OSArray' with a +1 retain count}}
arr->retain(); // expected-note{{Reference count incremented. The object now has a +2 retain count}} arr->retain(); // expected-note{{Reference count incremented. The object now has a +2 retain count}}
arr->release(); // expected-note{{Reference count decremented. The object now has a +1 retain count}} arr->release(); // expected-note{{Reference count decremented. The object now has a +1 retain count}}
arr->getCount(); arr->getCount();
} // expected-warning{{Potential leak of an object stored into 'arr'}} } // expected-warning{{Potential leak of an object stored into 'arr'}}
▲ Show 20 Lines • Show All 87 Lines • ▼ Show 20 Lines
// expected-note@-1{{Reference-counted object is used after it is released}} // expected-note@-1{{Reference-counted object is used after it is released}}
} }
void test_smart_ptr_leak() { void test_smart_ptr_leak() {
OSObject *obj = new OSObject; // expected-note{{Operator 'new' returns an OSObject of type 'OSObject' with a +1 retain count}} OSObject *obj = new OSObject; // expected-note{{Operator 'new' returns an OSObject of type 'OSObject' with a +1 retain count}}
{ {
OSObjectPtr p(obj); // expected-note{{Calling constructor for 'smart_ptr<OSObject>'}} OSObjectPtr p(obj); // expected-note{{Calling constructor for 'smart_ptr<OSObject>'}}
// expected-note@-1{{Returning from constructor for 'smart_ptr<OSObject>'}} // expected-note@-1{{Returning from constructor for 'smart_ptr<OSObject>'}}
// expected-note@-2 {{'p' initialized here}}
// expected-note@os_smart_ptr.h:13{{Field 'pointer' is non-null}} // expected-note@os_smart_ptr.h:13{{Field 'pointer' is non-null}}
// expected-note@os_smart_ptr.h:13{{Taking true branch}} // expected-note@os_smart_ptr.h:13{{Taking true branch}}
// expected-note@os_smart_ptr.h:14{{Calling 'smart_ptr::_retain'}} // expected-note@os_smart_ptr.h:14{{Calling 'smart_ptr::_retain'}}
// expected-note@os_smart_ptr.h:71{{Reference count incremented. The object now has a +2 retain count}} // expected-note@os_smart_ptr.h:71{{Reference count incremented. The object now has a +2 retain count}}
// expected-note@os_smart_ptr.h:14{{Returning from 'smart_ptr::_retain'}} // expected-note@os_smart_ptr.h:14{{Returning from 'smart_ptr::_retain'}}
} // expected-note{{Calling '~smart_ptr'}} } // expected-note{{Calling '~smart_ptr'}}
// expected-note@os_smart_ptr.h:35{{Field 'pointer' is non-null}} // expected-note@os_smart_ptr.h:35{{Field 'pointer' is non-null}}
// expected-note@os_smart_ptr.h:35{{Taking true branch}} // expected-note@os_smart_ptr.h:35{{Taking true branch}}
▲ Show 20 Lines • Show All 104 Lines • Show Last 20 Lines

clang/test/Analysis/retain-release-path-notes.m

Show First 20 Lines • Show All 329 Lines • ▼ Show 20 Lines
int seed(); int seed();
@interface LeakReassignmentTests : MyObj @interface LeakReassignmentTests : MyObj
@end @end
@implementation LeakReassignmentTests @implementation LeakReassignmentTests
+(void)testLeakAliasSimple { +(void)testLeakAliasSimple {
id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}} id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}}
// expected-note@-1 {{Returning from 'initY'}} // expected-note@215 {{Value assigned to 'self'}}
id New = Original; // expected-note@216 {{Returning pointer (loaded from 'self')}}
// expected-note@-3 {{Returning from 'initY'}}
// expected-note@-4 {{'Original' initialized here}}
id New = Original; // expected-note {{'New' initialized here}}
Original = [[MyObj alloc] initZ]; Original = [[MyObj alloc] initZ];
(void)New; (void)New;
[Original release]; // expected-warning {{Potential leak of an object stored into 'New'}} [Original release]; // expected-warning {{Potential leak of an object stored into 'New'}}
// expected-note@-1 {{Object leaked: object allocated and stored into 'New' is not referenced later in this execution path and has a retain count of +1}} // expected-note@-1 {{Object leaked: object allocated and stored into 'New' is not referenced later in this execution path and has a retain count of +1}}
} }
+(void)testLeakAliasChain { +(void)testLeakAliasChain {
id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}} id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}}
// expected-note@-1 {{Returning from 'initY'}} // expected-note@215 {{Value assigned to 'self'}}
id Intermediate = Original; // expected-note@216 {{Returning pointer (loaded from 'self')}}
id New = Intermediate; // expected-note@-3 {{Returning from 'initY'}}
// expected-note@-4 {{'Original' initialized here}}
id Intermediate = Original; // expected-note {{'Intermediate' initialized here}}
id New = Intermediate; // expected-note {{'New' initialized here}}
Original = [[MyObj alloc] initZ]; Original = [[MyObj alloc] initZ];
(void)New; (void)New;
[Original release]; // expected-warning {{Potential leak of an object stored into 'New'}} [Original release]; // expected-warning {{Potential leak of an object stored into 'New'}}
// expected-note@-1 {{Object leaked: object allocated and stored into 'New' is not referenced later in this execution path and has a retain count of +1}} // expected-note@-1 {{Object leaked: object allocated and stored into 'New' is not referenced later in this execution path and has a retain count of +1}}
} }
+(void)log:(id)Obj with:(int)Num { +(void)log:(id)Obj with:(int)Num {
Num *= 42; Num *= 42;
if (Obj ) if (Obj )
Num /= 2; Num /= 2;
} }
+(int)calculate { +(int)calculate {
int x = 10; int x = 10;
int y = 25; int y = 25;
x += y * x + seed(); x += y * x + seed();
return y - x * y; return y - x * y;
} }
+(void)testLeakAliasDeathInExpr { +(void)testLeakAliasDeathInExpr {
id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}} id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}}
// expected-note@-1 {{Returning from 'initY'}} // expected-note@215 {{Value assigned to 'self'}}
id New = Original; // expected-note@216 {{Returning pointer (loaded from 'self')}}
// expected-note@-3 {{Returning from 'initY'}}
// expected-note@-4 {{'Original' initialized here}}
id New = 0;
New = Original; // expected-note {{Value assigned to 'New'}}
Original = [[MyObj alloc] initZ]; Original = [[MyObj alloc] initZ];
[self log:New with:[self calculate]]; [self log:New with:[self calculate]];
[Original release]; // expected-warning {{Potential leak of an object stored into 'New'}} [Original release]; // expected-warning {{Potential leak of an object stored into 'New'}}
// expected-note@-1 {{Object leaked: object allocated and stored into 'New' is not referenced later in this execution path and has a retain count of +1}} // expected-note@-1 {{Object leaked: object allocated and stored into 'New' is not referenced later in this execution path and has a retain count of +1}}
} }
+(void)testLeakReassign { +(void)testLeakReassign {
id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}} id Original = [[MyObj alloc] initY]; // expected-note {{Calling 'initY'}}
Show All 19 Lines