This is an archive of the discontinued LLVM Phabricator instance.

Differential D98741

[analyzer] Introduce common bug category "Unused code".
ClosedPublic

Authored by NoQ on Mar 16 2021, 1:39 PM.

Details

Reviewers
vsavchenko
xazax.hun
Szelethus
martong
baloghadamsoftware
Charusso
steakhal
balazske
ASDenysPetrov
Commits
rGc75b2261a0aa: [analyzer] Introduce common bug category "Unused code".
Summary

This is a cosmetic change. "Dead store" will now be displayed as "Unused code" which is a nice broad category that could incorporate more than one checker. It also doesn't mention dead people which despite being a common source of inside jokes in the static analyzer community doesn't need to be translated onto innocent users.

There's one more alpha checker that fits into the category, namely UnreachableCode checker which flags code that wasn't covered by symbolic execution. I don't immediately plan to actually make this checker useful as it has to be quite an undertaking.

A broader plan that i have here is that some clang-tidy checks (eg., bugprone-redundant-branch-condition or misc-redundant-expression) can be put into that category through D95403.

Diff Detail

Event Timeline

NoQ created this revision.Mar 16 2021, 1:39 PM
Herald added subscribers: dkrupp, donat.nagy, mikhail.ramalho and 3 others. · View Herald TranscriptMar 16 2021, 1:40 PM
NoQ requested review of this revision.Mar 16 2021, 1:40 PM
Charusso accepted this revision.Mar 16 2021, 1:49 PM

Great idea!

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

"Initialization was never used"? (Swift style: https://swift.godbolt.org/z/c17EMb)

This revision is now accepted and ready to land.Mar 16 2021, 1:49 PM
Harbormaster completed remote builds in B94125: Diff 331090.Mar 16 2021, 3:05 PM
NoQ added inline comments.Mar 16 2021, 4:04 PM
clang/test/Analysis/Inputs/expected-plists/edges-new.mm.plist
11413

That's a scan-build bugtype so it follows a different tradition. The actual warning is a few lines above and it says "Value stored to 'foo' during its initialization is never read".

Additionally, unlike clang or swift (which inherits the tradition from clang), static analyzer warnings are traditionally expected to be complete sentences. So we typically won't be able to synchronize wording.

But in this case it might be possible given that the warnings already have a similar structure. I'll think about it ^.^

steakhal accepted this revision.Mar 17 2021, 2:00 AM

Unused code seems to be broader and probably a better fit for a generic bug category.

clang/lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp
263–265

This is the only case where I think it's debatable.
However, I have no better option, and I'm still in favor of your change.

This revision was landed with ongoing or failed builds.Mar 17 2021, 8:58 PM
Closed by commit rGc75b2261a0aa: [analyzer] Introduce common bug category "Unused code". (authored by dergachev.a). · Explain Why
This revision was automatically updated to reflect the committed changes.
dergachev.a added a commit: rGc75b2261a0aa: [analyzer] Introduce common bug category "Unused code"..
Herald added a project: Restricted Project. · View Herald TranscriptMar 17 2021, 8:58 PM

Revision Contents

PathSize
clang/
include/
clang/
StaticAnalyzer/
Core/
BugReporter/
1 line
lib/
StaticAnalyzer/
Checkers/
4 lines
2 lines
Core/
1 line
test/
Analysis/
Inputs/
expected-plists/
4 lines
18 lines
4 lines

Diff 331456

clang/include/clang/StaticAnalyzer/Core/BugReporter/CommonBugCategories.h

Show All 15 Lines
extern const char *const CoreFoundationObjectiveC; extern const char *const CoreFoundationObjectiveC;
extern const char *const LogicError; extern const char *const LogicError;
extern const char *const MemoryRefCount; extern const char *const MemoryRefCount;
extern const char *const MemoryError; extern const char *const MemoryError;
extern const char *const UnixAPI; extern const char *const UnixAPI;
extern const char *const CXXObjectLifecycle; extern const char *const CXXObjectLifecycle;
extern const char *const CXXMoveSemantics; extern const char *const CXXMoveSemantics;
extern const char *const SecurityError; extern const char *const SecurityError;
extern const char *const UnusedCode;
} // namespace categories } // namespace categories
} // namespace ento } // namespace ento
} // namespace clang } // namespace clang
#endif #endif

clang/lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp

Show First 20 Lines • Show All 254 Lines • ▼ Show 20 Lines switch (dsk) {
BugType = "Dead nested assignment"; BugType = "Dead nested assignment";
os << "Although the value stored to '" << *V os << "Although the value stored to '" << *V
<< "' is used in the enclosing expression, the value is never " << "' is used in the enclosing expression, the value is never "
"actually read from '" "actually read from '"
<< *V << "'"; << *V << "'";
break; break;
} }
BR.EmitBasicReport(AC->getDecl(), Checker, BugType, "Dead store", os.str(), BR.EmitBasicReport(AC->getDecl(), Checker, BugType, categories::UnusedCode,
L, R, Fixits); os.str(), L, R, Fixits);
} }
steakhalUnsubmitted
Done
ReplyInline Actions

This is the only case where I think it's debatable.
However, I have no better option, and I'm still in favor of your change.

steakhal: This is the only case where I think it's debatable. However, I have no better option, and I'm…
void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val,
DeadStoreKind dsk, DeadStoreKind dsk,
const LiveVariables::LivenessValues &Live) { const LiveVariables::LivenessValues &Live) {
if (!VD->hasLocalStorage()) if (!VD->hasLocalStorage())
return; return;
// Reference types confuse the dead stores checker. Skip them // Reference types confuse the dead stores checker. Skip them
▲ Show 20 Lines • Show All 272 Lines • Show Last 20 Lines

clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp

Show First 20 Lines • Show All 163 Lines • ▼ Show 20 Lines for (CFG::const_iterator I = C->begin(), E = C->end(); I != E; ++I) {
else else
continue; continue;
// Check if the SourceLocation is in a system header // Check if the SourceLocation is in a system header
const SourceManager &SM = B.getSourceManager(); const SourceManager &SM = B.getSourceManager();
if (SM.isInSystemHeader(SL) || SM.isInExternCSystemHeader(SL)) if (SM.isInSystemHeader(SL) || SM.isInExternCSystemHeader(SL))
continue; continue;
B.EmitBasicReport(D, this, "Unreachable code", "Dead code", B.EmitBasicReport(D, this, "Unreachable code", categories::UnusedCode,
"This statement is never executed", DL, SR); "This statement is never executed", DL, SR);
} }
} }
// Recursively finds the entry point(s) for this dead CFGBlock. // Recursively finds the entry point(s) for this dead CFGBlock.
void UnreachableCodeChecker::FindUnreachableEntryPoints(const CFGBlock *CB, void UnreachableCodeChecker::FindUnreachableEntryPoints(const CFGBlock *CB,
CFGBlocksSet &reachable, CFGBlocksSet &reachable,
CFGBlocksSet &visited) { CFGBlocksSet &visited) {
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

clang/lib/StaticAnalyzer/Core/CommonBugCategories.cpp

Show All 16 Lines
const char *const LogicError = "Logic error"; const char *const LogicError = "Logic error";
const char *const MemoryRefCount = const char *const MemoryRefCount =
"Memory (Core Foundation/Objective-C/OSObject)"; "Memory (Core Foundation/Objective-C/OSObject)";
const char *const MemoryError = "Memory error"; const char *const MemoryError = "Memory error";
const char *const UnixAPI = "Unix API"; const char *const UnixAPI = "Unix API";
const char *const CXXObjectLifecycle = "C++ object lifecycle"; const char *const CXXObjectLifecycle = "C++ object lifecycle";
const char *const CXXMoveSemantics = "C++ move semantics"; const char *const CXXMoveSemantics = "C++ move semantics";
const char *const SecurityError = "Security error"; const char *const SecurityError = "Security error";
const char *const UnusedCode = "Unused code";
} // namespace categories } // namespace categories
} // namespace ento } // namespace ento
} // namespace clang } // namespace clang

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 2,362 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;x&apos; is never read</string> <string>Value stored to &apos;x&apos; is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;x&apos; is never read</string> <string>Value stored to &apos;x&apos; is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;x&apos; is never read</string> <key>description</key><string>Value stored to &apos;x&apos; is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead increment</string> <key>type</key><string>Dead increment</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>dd09640bb87b201c2adcf5ef37bfcfaa</string> <key>issue_hash_content_of_line_in_context</key><string>dd09640bb87b201c2adcf5ef37bfcfaa</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>test_objc_fast_enumeration_2</string> <key>issue_context</key><string>test_objc_fast_enumeration_2</string>
<key>issue_hash_function_offset</key><string>5</string> <key>issue_hash_function_offset</key><string>5</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 9,024 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;foo&apos; during its initialization is never read</string> <string>Value stored to &apos;foo&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;foo&apos; during its initialization is never read</string> <string>Value stored to &apos;foo&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;foo&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;foo&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
CharussoUnsubmitted
Not Done
ReplyInline Actions

"Initialization was never used"? (Swift style: https://swift.godbolt.org/z/c17EMb)

Charusso: "Initialization was never used"? (Swift style: https://swift.godbolt.org/z/c17EMb)
NoQAuthorUnsubmitted
Done
ReplyInline Actions

That's a scan-build bugtype so it follows a different tradition. The actual warning is a few lines above and it says "Value stored to 'foo' during its initialization is never read".

Additionally, unlike clang or swift (which inherits the tradition from clang), static analyzer warnings are traditionally expected to be complete sentences. So we typically won't be able to synchronize wording.

But in this case it might be possible given that the warnings already have a similar structure. I'll think about it ^.^

NoQ: That's a scan-build bugtype so it follows a different tradition. The actual warning is a few…
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>3dd1ebf91fa4e92eeec82faaeb48beda</string> <key>issue_hash_content_of_line_in_context</key><string>3dd1ebf91fa4e92eeec82faaeb48beda</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>test2</string> <key>issue_context</key><string>test2</string>
<key>issue_hash_function_offset</key><string>2</string> <key>issue_hash_function_offset</key><string>2</string>
<key>location</key> <key>location</key>
<dict> <dict>
▲ Show 20 Lines • Show All 11,000 Lines • Show Last 20 Lines

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

Show First 20 Lines • Show All 376 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;x&apos; during its initialization is never read</string> <string>Value stored to &apos;x&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;x&apos; during its initialization is never read</string> <string>Value stored to &apos;x&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;x&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;x&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>63df5972efc8a7acccdbd2aca10c9e9e</string> <key>issue_hash_content_of_line_in_context</key><string>63df5972efc8a7acccdbd2aca10c9e9e</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>rdar9424882</string> <key>issue_context</key><string>rdar9424882</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>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;obj1&apos; during its initialization is never read</string> <string>Value stored to &apos;obj1&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;obj1&apos; during its initialization is never read</string> <string>Value stored to &apos;obj1&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;obj1&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;obj1&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>125290ceaf2b55f5778c262d87b2b6d5</string> <key>issue_hash_content_of_line_in_context</key><string>125290ceaf2b55f5778c262d87b2b6d5</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>from_cf</string> <key>issue_context</key><string>from_cf</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>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;obj4&apos; during its initialization is never read</string> <string>Value stored to &apos;obj4&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;obj4&apos; during its initialization is never read</string> <string>Value stored to &apos;obj4&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;obj4&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;obj4&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>54627578ee3b8520400ae899bc32b3d6</string> <key>issue_hash_content_of_line_in_context</key><string>54627578ee3b8520400ae899bc32b3d6</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>from_cf</string> <key>issue_context</key><string>from_cf</string>
<key>issue_hash_function_offset</key><string>6</string> <key>issue_hash_function_offset</key><string>6</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;obj5&apos; during its initialization is never read</string> <string>Value stored to &apos;obj5&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;obj5&apos; during its initialization is never read</string> <string>Value stored to &apos;obj5&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;obj5&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;obj5&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>27c31d7f5825a1613c0206b5be082800</string> <key>issue_hash_content_of_line_in_context</key><string>27c31d7f5825a1613c0206b5be082800</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>from_cf</string> <key>issue_context</key><string>from_cf</string>
<key>issue_hash_function_offset</key><string>7</string> <key>issue_hash_function_offset</key><string>7</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;obj6&apos; during its initialization is never read</string> <string>Value stored to &apos;obj6&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;obj6&apos; during its initialization is never read</string> <string>Value stored to &apos;obj6&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;obj6&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;obj6&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>a59b85c1e38300cb17eaeedcf193f94b</string> <key>issue_hash_content_of_line_in_context</key><string>a59b85c1e38300cb17eaeedcf193f94b</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>from_cf</string> <key>issue_context</key><string>from_cf</string>
<key>issue_hash_function_offset</key><string>8</string> <key>issue_hash_function_offset</key><string>8</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 393 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;cf1&apos; during its initialization is never read</string> <string>Value stored to &apos;cf1&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;cf1&apos; during its initialization is never read</string> <string>Value stored to &apos;cf1&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;cf1&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;cf1&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>70a67cc8fefa3ad133a35c3ffb579b9e</string> <key>issue_hash_content_of_line_in_context</key><string>70a67cc8fefa3ad133a35c3ffb579b9e</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>to_cf</string> <key>issue_context</key><string>to_cf</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>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;cf2&apos; during its initialization is never read</string> <string>Value stored to &apos;cf2&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;cf2&apos; during its initialization is never read</string> <string>Value stored to &apos;cf2&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;cf2&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;cf2&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>afc41cacb8f32bfbe4a4152f20cec5bc</string> <key>issue_hash_content_of_line_in_context</key><string>afc41cacb8f32bfbe4a4152f20cec5bc</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>to_cf</string> <key>issue_context</key><string>to_cf</string>
<key>issue_hash_function_offset</key><string>2</string> <key>issue_hash_function_offset</key><string>2</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;cf3&apos; during its initialization is never read</string> <string>Value stored to &apos;cf3&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;cf3&apos; during its initialization is never read</string> <string>Value stored to &apos;cf3&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;cf3&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;cf3&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>e512cd0ada59beca5acfa53e2a632670</string> <key>issue_hash_content_of_line_in_context</key><string>e512cd0ada59beca5acfa53e2a632670</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>to_cf</string> <key>issue_context</key><string>to_cf</string>
<key>issue_hash_function_offset</key><string>3</string> <key>issue_hash_function_offset</key><string>3</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;cf4&apos; during its initialization is never read</string> <string>Value stored to &apos;cf4&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;cf4&apos; during its initialization is never read</string> <string>Value stored to &apos;cf4&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;cf4&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;cf4&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>a43ae78dcef14395931eeb452f81819f</string> <key>issue_hash_content_of_line_in_context</key><string>a43ae78dcef14395931eeb452f81819f</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>to_cf</string> <key>issue_context</key><string>to_cf</string>
<key>issue_hash_function_offset</key><string>4</string> <key>issue_hash_function_offset</key><string>4</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 808 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/plist-output.m.plist

Show First 20 Lines • Show All 2,163 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;foo&apos; during its initialization is never read</string> <string>Value stored to &apos;foo&apos; during its initialization is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;foo&apos; during its initialization is never read</string> <string>Value stored to &apos;foo&apos; during its initialization is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;foo&apos; during its initialization is never read</string> <key>description</key><string>Value stored to &apos;foo&apos; during its initialization is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead initialization</string> <key>type</key><string>Dead initialization</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>3dd1ebf91fa4e92eeec82faaeb48beda</string> <key>issue_hash_content_of_line_in_context</key><string>3dd1ebf91fa4e92eeec82faaeb48beda</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>test2</string> <key>issue_context</key><string>test2</string>
<key>issue_hash_function_offset</key><string>2</string> <key>issue_hash_function_offset</key><string>2</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 3,468 Lines • ▼ Show 20 Lines <array>
<key>depth</key><integer>0</integer> <key>depth</key><integer>0</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Value stored to &apos;x&apos; is never read</string> <string>Value stored to &apos;x&apos; is never read</string>
<key>message</key> <key>message</key>
<string>Value stored to &apos;x&apos; is never read</string> <string>Value stored to &apos;x&apos; is never read</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Value stored to &apos;x&apos; is never read</string> <key>description</key><string>Value stored to &apos;x&apos; is never read</string>
<key>category</key><string>Dead store</string> <key>category</key><string>Unused code</string>
<key>type</key><string>Dead increment</string> <key>type</key><string>Dead increment</string>
<key>check_name</key><string>deadcode.DeadStores</string> <key>check_name</key><string>deadcode.DeadStores</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>c94f341ebaf0fac5d6703aaa7e6bee9b</string> <key>issue_hash_content_of_line_in_context</key><string>c94f341ebaf0fac5d6703aaa7e6bee9b</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>test_loop_fast_enumeration</string> <key>issue_context</key><string>test_loop_fast_enumeration</string>
<key>issue_hash_function_offset</key><string>5</string> <key>issue_hash_function_offset</key><string>5</string>
<key>location</key> <key>location</key>
▲ Show 20 Lines • Show All 733 Lines • Show Last 20 Lines