This is an archive of the discontinued LLVM Phabricator instance.

Differential D52986

[analyzer][PlistMacroExpansion] Part 4.: Support for __VA_ARGS__
ClosedPublic

Authored by Szelethus on Oct 8 2018, 7:57 AM.

Details

Reviewers
george.karpenkov
xazax.hun
NoQ
rnkovacs
baloghadamsoftware
whisperity
Commits
rG8de606201089: [analyzer][PlistMacroExpansion] Part 4.: Support for __VA_ARGS__
rL347888: [analyzer][PlistMacroExpansion] Part 4.: Support for __VA_ARGS__
rC347888: [analyzer][PlistMacroExpansion] Part 4.: Support for __VA_ARGS__
Summary

Thanks to @donat.nagy for spotting this!

Diff Detail

Repository
rC Clang

Event Timeline

Szelethus created this revision.Oct 8 2018, 7:57 AM
Herald added subscribers: cfe-commits, mikhail.ramalho, a.sidorin and 2 others. · View Herald TranscriptOct 8 2018, 7:57 AM
Szelethus added a parent revision: D52795: [analyzer][PlistMacroExpansion] Part 3.: Macro arguments are expanded.Oct 8 2018, 7:58 AM
Szelethus added a child revision: D52988: [analyzer][PlistMacroExpansion] Part 5.: Support for # and ##.Oct 8 2018, 1:15 PM
Szelethus updated this revision to Diff 169869.Oct 16 2018, 11:31 AM

Rebased to part 3.

Herald added a subscriber: dkrupp. · View Herald TranscriptOct 16 2018, 11:31 AM
whisperity accepted this revision.Oct 16 2018, 11:04 PM
This revision is now accepted and ready to land.Oct 16 2018, 11:04 PM
NoQ accepted this revision.Nov 1 2018, 7:27 PM

haha!

:D

xazax.hun accepted this revision.Nov 2 2018, 5:01 AM

One question otherwise looks good.

lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
974

Is it possible to undef __VA_ARGS__? If so, can this cause problems? Should we use findDirectiveAtLoc instead?

Szelethus updated this revision to Diff 175718.EditedNov 28 2018, 10:08 AM
  • Fixed a crash where no arguments (not empty arguments) were supplied to __VA_ARGS__.
  • Rebased to master.
Herald added a subscriber: gamesh411. · View Herald TranscriptNov 28 2018, 10:08 AM
Szelethus marked 2 inline comments as done.Nov 28 2018, 10:16 AM
Szelethus added inline comments.
lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
974

Luckily, no :)

But, even if you could, we're not looking for a MacroInfo (through MacroDirective), but rather an IdentifierInfo, and those won't disappear even if you undef a macro.

Szelethus marked 2 inline comments as done.Nov 28 2018, 10:42 AM
Szelethus added inline comments.
lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
974

Hmmm, simply acquiring the range of tokens __VA_ARGS__ is defined to in the expansion context would be neat, but it doesn't seem to be possible. It seems like __VA_ARGS__ just doesn't have a MacroDirective.

In fact, if you CTRL+F "variadic" on Preprocessor's doxygen page, you get basically nothing (if you look for __VA_ARGS__, you get literally nothing). Sooooo working with the most primitive tools available is the best I can do here, I'm afraid :/

Closed by commit rC347888: [analyzer][PlistMacroExpansion] Part 4.: Support for __VA_ARGS__ (authored by Szelethus). · Explain WhyNov 29 2018, 9:12 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
lib/
StaticAnalyzer/
Core/
59 lines
test/
Analysis/
Inputs/
expected-plists/
333 lines
14 lines

Diff 175883

lib/StaticAnalyzer/Core/PlistDiagnostics.cpp

Show First 20 Lines • Show All 956 Lines • ▼ Show 20 Lines assert(TheTok.is(tok::l_paren) &&
"The token after the macro's identifier token should be '('!"); "The token after the macro's identifier token should be '('!");
MacroArgMap Args; MacroArgMap Args;
// When the macro's argument is a function call, like // When the macro's argument is a function call, like
// CALL_FN(someFunctionName(param1, param2)) // CALL_FN(someFunctionName(param1, param2))
// we will find tok::l_paren, tok::r_paren, and tok::comma that do not divide // we will find tok::l_paren, tok::r_paren, and tok::comma that do not divide
// actual macro arguments, or do not represent the macro argument's closing // actual macro arguments, or do not represent the macro argument's closing
// parentheses, so we'll count how many parentheses aren't closed yet. // parantheses, so we'll count how many parantheses aren't closed yet.
// If ParanthesesDepth
// * = 0, then there are no more arguments to lex.
// * = 1, then if we find a tok::comma, we can start lexing the next arg.
// * > 1, then tok::comma is a part of the current arg.
int ParenthesesDepth = 1; int ParenthesesDepth = 1;
// If we encounter __VA_ARGS__, we will lex until the closing tok::r_paren,
// even if we lex a tok::comma and ParanthesesDepth == 1.
const IdentifierInfo *__VA_ARGS__II = PP.getIdentifierInfo("__VA_ARGS__");
xazax.hunUnsubmitted
Done
ReplyInline Actions

Is it possible to undef __VA_ARGS__? If so, can this cause problems? Should we use findDirectiveAtLoc instead?

xazax.hun: Is it possible to undef `__VA_ARGS__`? If so, can this cause problems? Should we use…
SzelethusAuthorUnsubmitted
Done
ReplyInline Actions

Luckily, no :)

But, even if you could, we're not looking for a MacroInfo (through MacroDirective), but rather an IdentifierInfo, and those won't disappear even if you undef a macro.

Szelethus: Luckily, no :) But, even if you could, we're not looking for a `MacroInfo` (through…
SzelethusAuthorUnsubmitted
Done
ReplyInline Actions

Hmmm, simply acquiring the range of tokens __VA_ARGS__ is defined to in the expansion context would be neat, but it doesn't seem to be possible. It seems like __VA_ARGS__ just doesn't have a MacroDirective.

In fact, if you CTRL+F "variadic" on Preprocessor's doxygen page, you get basically nothing (if you look for __VA_ARGS__, you get literally nothing). Sooooo working with the most primitive tools available is the best I can do here, I'm afraid :/

Szelethus: Hmmm, simply acquiring the range of tokens `__VA_ARGS__` is defined to in the expansion context…
for (const IdentifierInfo *UnexpArgII : MacroArgs) { for (const IdentifierInfo *UnexpArgII : MacroArgs) {
MacroArgMap::mapped_type ExpandedArgTokens; MacroArgMap::mapped_type ExpandedArgTokens;
// One could also simply not supply a single argument to __VA_ARGS__ -- this
// results in a preprocessor warning, but is not an error:
// #define VARIADIC(ptr, ...) \
// someVariadicTemplateFunction(__VA_ARGS__)
//
// int *ptr;
// VARIADIC(ptr); // Note that there are no commas, this isn't just an
// // empty parameter -- there are no parameters for '...'.
// In any other case, ParenthesesDepth mustn't be 0 here.
if (ParenthesesDepth != 0) {
// Lex the first token of the next macro parameter. // Lex the first token of the next macro parameter.
RawLexer.LexFromRawLexer(TheTok); RawLexer.LexFromRawLexer(TheTok);
while (TheTok.isNot(tok::comma) || ParenthesesDepth != 1) { while (!(ParenthesesDepth == 1 &&
(UnexpArgII == __VA_ARGS__II ? false : TheTok.is(tok::comma)))) {
assert(TheTok.isNot(tok::eof) && assert(TheTok.isNot(tok::eof) &&
"EOF encountered while looking for expanded macro args!"); "EOF encountered while looking for expanded macro args!");
if (TheTok.is(tok::l_paren)) if (TheTok.is(tok::l_paren))
++ParenthesesDepth; ++ParenthesesDepth;
if (TheTok.is(tok::r_paren)) if (TheTok.is(tok::r_paren))
--ParenthesesDepth; --ParenthesesDepth;
if (ParenthesesDepth == 0) if (ParenthesesDepth == 0)
break; break;
if (TheTok.is(tok::raw_identifier)) if (TheTok.is(tok::raw_identifier))
PP.LookUpIdentifierInfo(TheTok); PP.LookUpIdentifierInfo(TheTok);
ExpandedArgTokens.push_back(TheTok); ExpandedArgTokens.push_back(TheTok);
RawLexer.LexFromRawLexer(TheTok); RawLexer.LexFromRawLexer(TheTok);
} }
} else {
assert(UnexpArgII == __VA_ARGS__II);
}
Args.emplace(UnexpArgII, std::move(ExpandedArgTokens)); Args.emplace(UnexpArgII, std::move(ExpandedArgTokens));
} }
// TODO: The condition really should be TheTok.is(tok::r_paren), but variadic assert(TheTok.is(tok::r_paren) &&
// macro arguments are not handled yet.
assert(TheTok.isOneOf(tok::r_paren, tok::comma) &&
"Expanded macro argument acquisition failed! After the end of the loop" "Expanded macro argument acquisition failed! After the end of the loop"
" this token should be ')'!"); " this token should be ')'!");
return { MacroName, MI, Args }; return { MacroName, MI, Args };
} }
static MacroInfo::tokens_iterator getMatchingRParen( static MacroInfo::tokens_iterator getMatchingRParen(
MacroInfo::tokens_iterator It, MacroInfo::tokens_iterator It,
▲ Show 20 Lines • Show All 80 Lines • Show Last 20 Lines

test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist

Show First 20 Lines • Show All 4,211 Lines • ▼ Show 20 Lines <array>
<dict> <dict>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>316</integer> <key>line</key><integer>316</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>name</key><string>VARIADIC_SET_TO_NULL</string> <key>name</key><string>VARIADIC_SET_TO_NULL</string>
<key>expansion</key><string>ptr = nullptr; variadicFunc( 1)</string> <key>expansion</key><string>ptr = nullptr; variadicFunc( 1, 5, &quot;haha!&quot;)</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>category</key><string>Logic error</string> <key>category</key><string>Logic error</string>
<key>type</key><string>Dereference of null pointer</string> <key>type</key><string>Dereference of null pointer</string>
<key>check_name</key><string>core.NullDereference</string> <key>check_name</key><string>core.NullDereference</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>1b0880549df23e9ce0edb60955ad5ac1</string> <key>issue_hash_content_of_line_in_context</key><string>1b0880549df23e9ce0edb60955ad5ac1</string>
Show All 23 Lines <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>333</integer> <key>line</key><integer>324</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>333</integer> <key>line</key><integer>324</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</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>334</integer> <key>line</key><integer>327</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>334</integer> <key>line</key><integer>327</integer>
<key>col</key><integer>22</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>327</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>327</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>327</integer>
<key>col</key><integer>27</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Null pointer value stored to &apos;ptr&apos;</string>
<key>message</key>
<string>Null pointer value stored to &apos;ptr&apos;</string>
</dict>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>328</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>328</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>328</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>328</integer>
<key>col</key><integer>8</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>328</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ranges</key>
<array>
<array>
<dict>
<key>line</key><integer>328</integer>
<key>col</key><integer>4</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>328</integer>
<key>col</key><integer>6</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
</array>
<key>depth</key><integer>0</integer>
<key>extended_message</key>
<string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>message</key>
<string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
</dict>
</array>
<key>macro_expansions</key>
<array>
<dict>
<key>location</key>
<dict>
<key>line</key><integer>327</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<key>name</key><string>VARIADIC_SET_TO_NULL</string>
<key>expansion</key><string>ptr = nullptr; variadicFunc()</string>
</dict>
</array>
<key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>category</key><string>Logic error</string>
<key>type</key><string>Dereference of null pointer</string>
<key>check_name</key><string>core.NullDereference</string>
<!-- This hash is experimental and going to change! -->
<key>issue_hash_content_of_line_in_context</key><string>6aa30fd6a1e997027333f16c2064d973</string>
<key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>variadicMacroArgumentWithoutAnyArgumentTest</string>
<key>issue_hash_function_offset</key><string>5</string>
<key>location</key>
<dict>
<key>line</key><integer>328</integer>
<key>col</key><integer>8</integer>
<key>file</key><integer>0</integer>
</dict>
<key>ExecutedLines</key>
<dict>
<key>0</key>
<array>
<integer>323</integer>
<integer>324</integer>
<integer>327</integer>
<integer>328</integer>
</array>
</dict>
</dict>
<dict>
<key>path</key>
<array>
<dict>
<key>kind</key><string>control</string>
<key>edges</key>
<array>
<dict>
<key>start</key>
<array>
<dict>
<key>line</key><integer>343</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>343</integer>
<key>col</key><integer>5</integer>
<key>file</key><integer>0</integer>
</dict>
</array>
<key>end</key>
<array>
<dict>
<key>line</key><integer>344</integer>
<key>col</key><integer>3</integer>
<key>file</key><integer>0</integer>
</dict>
<dict>
<key>line</key><integer>344</integer>
<key>col</key><integer>30</integer> <key>col</key><integer>30</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>334</integer> <key>line</key><integer>344</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>334</integer> <key>line</key><integer>344</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>334</integer> <key>line</key><integer>344</integer>
<key>col</key><integer>45</integer> <key>col</key><integer>45</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>Null pointer value stored to &apos;ptr&apos;</string> <string>Null pointer value stored to &apos;ptr&apos;</string>
<key>message</key> <key>message</key>
<string>Null pointer value stored to &apos;ptr&apos;</string> <string>Null pointer value stored to &apos;ptr&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>335</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>
<dict> <dict>
<key>line</key><integer>335</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>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>335</integer> <key>line</key><integer>345</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>335</integer> <key>line</key><integer>345</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>335</integer> <key>line</key><integer>345</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>335</integer> <key>line</key><integer>345</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>
<dict> <dict>
<key>line</key><integer>335</integer> <key>line</key><integer>345</integer>
<key>col</key><integer>6</integer> <key>col</key><integer>6</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>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>message</key> <key>message</key>
<string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
</dict> </dict>
</array> </array>
<key>macro_expansions</key> <key>macro_expansions</key>
<array> <array>
<dict> <dict>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>334</integer> <key>line</key><integer>344</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>name</key><string>DECLARE_FUNC_AND_SET_TO_NULL</string> <key>name</key><string>DECLARE_FUNC_AND_SET_TO_NULL</string>
<key>expansion</key><string>void generated_##whatever(); ptr = nullptr;</string> <key>expansion</key><string>void generated_##whatever(); ptr = nullptr;</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>category</key><string>Logic error</string> <key>category</key><string>Logic error</string>
<key>type</key><string>Dereference of null pointer</string> <key>type</key><string>Dereference of null pointer</string>
<key>check_name</key><string>core.NullDereference</string> <key>check_name</key><string>core.NullDereference</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>453ed8096f5394e74e16f965886e5623</string> <key>issue_hash_content_of_line_in_context</key><string>453ed8096f5394e74e16f965886e5623</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>hashHashOperatorTest</string> <key>issue_context</key><string>hashHashOperatorTest</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>
<dict> <dict>
<key>line</key><integer>335</integer> <key>line</key><integer>345</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>332</integer> <integer>342</integer>
<integer>333</integer> <integer>343</integer>
<integer>334</integer> <integer>344</integer>
<integer>335</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>357</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>357</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</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>348</integer> <key>line</key><integer>358</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>348</integer> <key>line</key><integer>358</integer>
<key>col</key><integer>11</integer> <key>col</key><integer>11</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>348</integer> <key>line</key><integer>358</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>348</integer> <key>line</key><integer>358</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>348</integer> <key>line</key><integer>358</integer>
<key>col</key><integer>23</integer> <key>col</key><integer>23</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>Null pointer value stored to &apos;ptr&apos;</string> <string>Null pointer value stored to &apos;ptr&apos;</string>
<key>message</key> <key>message</key>
<string>Null pointer value stored to &apos;ptr&apos;</string> <string>Null pointer value stored to &apos;ptr&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>349</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>349</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>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>349</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>349</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>349</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>349</integer> <key>line</key><integer>359</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>
<dict> <dict>
<key>line</key><integer>349</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>6</integer> <key>col</key><integer>6</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>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>message</key> <key>message</key>
<string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
</dict> </dict>
</array> </array>
<key>macro_expansions</key> <key>macro_expansions</key>
<array> <array>
<dict> <dict>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>348</integer> <key>line</key><integer>358</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>name</key><string>PRINT_STR</string> <key>name</key><string>PRINT_STR</string>
<key>expansion</key><string>print(#Hello); ptr = nullptr</string> <key>expansion</key><string>print(#Hello); ptr = nullptr</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>category</key><string>Logic error</string> <key>category</key><string>Logic error</string>
<key>type</key><string>Dereference of null pointer</string> <key>type</key><string>Dereference of null pointer</string>
<key>check_name</key><string>core.NullDereference</string> <key>check_name</key><string>core.NullDereference</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>e6947ee72df70243a3b4c9e9eaed0888</string> <key>issue_hash_content_of_line_in_context</key><string>e6947ee72df70243a3b4c9e9eaed0888</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>hashOperatorTest</string> <key>issue_context</key><string>hashOperatorTest</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>
<dict> <dict>
<key>line</key><integer>349</integer> <key>line</key><integer>359</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>346</integer> <integer>356</integer>
<integer>347</integer> <integer>357</integer>
<integer>348</integer> <integer>358</integer>
<integer>349</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>396</integer> <key>line</key><integer>406</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>396</integer> <key>line</key><integer>406</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</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>396</integer> <key>line</key><integer>406</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>18</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>396</integer> <key>line</key><integer>406</integer>
<key>col</key><integer>43</integer> <key>col</key><integer>43</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>396</integer> <key>line</key><integer>406</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>18</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>396</integer> <key>line</key><integer>406</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>18</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>396</integer> <key>line</key><integer>406</integer>
<key>col</key><integer>49</integer> <key>col</key><integer>49</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;getLowestCommonDenominator&apos;</string> <string>Calling &apos;getLowestCommonDenominator&apos;</string>
<key>message</key> <key>message</key>
<string>Calling &apos;getLowestCommonDenominator&apos;</string> <string>Calling &apos;getLowestCommonDenominator&apos;</string>
</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>391</integer> <key>line</key><integer>401</integer>
<key>col</key><integer>1</integer> <key>col</key><integer>1</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Entered call from &apos;testVeryComplexAlgorithm&apos;</string> <string>Entered call from &apos;testVeryComplexAlgorithm&apos;</string>
<key>message</key> <key>message</key>
<string>Entered call from &apos;testVeryComplexAlgorithm&apos;</string> <string>Entered call from &apos;testVeryComplexAlgorithm&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>391</integer> <key>line</key><integer>401</integer>
<key>col</key><integer>1</integer> <key>col</key><integer>1</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>391</integer> <key>line</key><integer>401</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>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>392</integer> <key>line</key><integer>402</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>392</integer> <key>line</key><integer>402</integer>
<key>col</key><integer>21</integer> <key>col</key><integer>21</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>392</integer> <key>line</key><integer>402</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>392</integer> <key>line</key><integer>402</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>392</integer> <key>line</key><integer>402</integer>
<key>col</key><integer>27</integer> <key>col</key><integer>27</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>depth</key><integer>1</integer> <key>depth</key><integer>1</integer>
<key>extended_message</key> <key>extended_message</key>
<string>Division by zero</string> <string>Division by zero</string>
<key>message</key> <key>message</key>
<string>Division by zero</string> <string>Division by zero</string>
</dict> </dict>
</array> </array>
<key>macro_expansions</key> <key>macro_expansions</key>
<array> <array>
<dict> <dict>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>392</integer> <key>line</key><integer>402</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>name</key><string>EUCLIDEAN_ALGORITHM</string> <key>name</key><string>EUCLIDEAN_ALGORITHM</string>
<key>expansion</key><string>if (A&lt;0 ){A=-A;} if ( B&lt;0 ){ B=- B;}return B / ( B - B);</string> <key>expansion</key><string>if (A&lt;0 ){A=-A;} if ( B&lt;0 ){ B=- B;}return B / ( B - B);</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Division by zero</string> <key>description</key><string>Division by zero</string>
<key>category</key><string>Logic error</string> <key>category</key><string>Logic error</string>
<key>type</key><string>Division by zero</string> <key>type</key><string>Division by zero</string>
<key>check_name</key><string>core.DivideZero</string> <key>check_name</key><string>core.DivideZero</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>3484e210b755ea46d632296fffd709e0</string> <key>issue_hash_content_of_line_in_context</key><string>3484e210b755ea46d632296fffd709e0</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>getLowestCommonDenominator</string> <key>issue_context</key><string>getLowestCommonDenominator</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>392</integer> <key>line</key><integer>402</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>391</integer> <integer>401</integer>
<integer>392</integer> <integer>402</integer>
<integer>395</integer> <integer>405</integer>
<integer>396</integer> <integer>406</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>411</integer> <key>line</key><integer>421</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>411</integer> <key>line</key><integer>421</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</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>412</integer> <key>line</key><integer>422</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>412</integer> <key>line</key><integer>422</integer>
<key>col</key><integer>25</integer> <key>col</key><integer>25</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>412</integer> <key>line</key><integer>422</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>412</integer> <key>line</key><integer>422</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>412</integer> <key>line</key><integer>422</integer>
<key>col</key><integer>67</integer> <key>col</key><integer>67</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>Null pointer value stored to &apos;ptr&apos;</string> <string>Null pointer value stored to &apos;ptr&apos;</string>
<key>message</key> <key>message</key>
<string>Null pointer value stored to &apos;ptr&apos;</string> <string>Null pointer value stored to &apos;ptr&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>413</integer> <key>line</key><integer>423</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>413</integer> <key>line</key><integer>423</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>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>413</integer> <key>line</key><integer>423</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>413</integer> <key>line</key><integer>423</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>413</integer> <key>line</key><integer>423</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>413</integer> <key>line</key><integer>423</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>
<dict> <dict>
<key>line</key><integer>413</integer> <key>line</key><integer>423</integer>
<key>col</key><integer>6</integer> <key>col</key><integer>6</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>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>message</key> <key>message</key>
<string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
</dict> </dict>
</array> </array>
<key>macro_expansions</key> <key>macro_expansions</key>
<array> <array>
<dict> <dict>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>412</integer> <key>line</key><integer>422</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>name</key><string>YET_ANOTHER_SET_TO_NULL</string> <key>name</key><string>YET_ANOTHER_SET_TO_NULL</string>
<key>expansion</key><string>print((void *)5); print((void *)&quot;Remember the Vasa&quot;); ptr = nullptr;</string> <key>expansion</key><string>print((void *)5); print((void *)&quot;Remember the Vasa&quot;); ptr = nullptr;</string>
</dict> </dict>
</array> </array>
<key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string> <key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
<key>category</key><string>Logic error</string> <key>category</key><string>Logic error</string>
<key>type</key><string>Dereference of null pointer</string> <key>type</key><string>Dereference of null pointer</string>
<key>check_name</key><string>core.NullDereference</string> <key>check_name</key><string>core.NullDereference</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>42143f52fc9638fb2c0af41916e09d2f</string> <key>issue_hash_content_of_line_in_context</key><string>42143f52fc9638fb2c0af41916e09d2f</string>
<key>issue_context_kind</key><string>function</string> <key>issue_context_kind</key><string>function</string>
<key>issue_context</key><string>test</string> <key>issue_context</key><string>test</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>
<dict> <dict>
<key>line</key><integer>413</integer> <key>line</key><integer>423</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</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>410</integer> <integer>420</integer>
<integer>411</integer> <integer>421</integer>
<integer>412</integer> <integer>422</integer>
<integer>413</integer> <integer>423</integer>
</array> </array>
</dict> </dict>
</dict> </dict>
</array> </array>
<key>files</key> <key>files</key>
<array> <array>
<string>/home/eumakri/Documents/macro_expansion/clang/test/Analysis/plist-macros-with-expansion.cpp</string> <string>/home/eumakri/Documents/macro_expansion/clang/test/Analysis/plist-macros-with-expansion.cpp</string>
</array> </array>
</dict> </dict>
</plist> </plist>

test/Analysis/plist-macros-with-expansion.cpp

Show First 20 Lines • Show All 311 Lines • ▼ Show 20 Lines#define VARIADIC_SET_TO_NULL(ptr, ...) \
variadicFunc(__VA_ARGS__) variadicFunc(__VA_ARGS__)
void variadicMacroArgumentTest() { void variadicMacroArgumentTest() {
int *ptr; int *ptr;
VARIADIC_SET_TO_NULL(ptr, 1, 5, "haha!"); VARIADIC_SET_TO_NULL(ptr, 1, 5, "haha!");
*ptr = 5; // expected-warning{{Dereference of null pointer}} *ptr = 5; // expected-warning{{Dereference of null pointer}}
} }
// TODO: Should correctly display the rest of the parameters.
// CHECK: <key>name</key><string>VARIADIC_SET_TO_NULL</string> // CHECK: <key>name</key><string>VARIADIC_SET_TO_NULL</string>
// CHECK-NEXT: <key>expansion</key><string>ptr = nullptr; variadicFunc( 1)</string> // CHECK-NEXT: <key>expansion</key><string>ptr = nullptr; variadicFunc( 1, 5, &quot;haha!&quot;)</string>
void variadicMacroArgumentWithoutAnyArgumentTest() {
int *ptr;
// Not adding a single parameter to ... is silly (and also causes a
// preprocessor warning), but is not an excuse to crash on it.
VARIADIC_SET_TO_NULL(ptr);
*ptr = 5; // expected-warning{{Dereference of null pointer}}
}
// CHECK: <key>name</key><string>VARIADIC_SET_TO_NULL</string>
// CHECK-NEXT: <key>expansion</key><string>ptr = nullptr; variadicFunc()</string>
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// Tests for # and ##. // Tests for # and ##.
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
#define DECLARE_FUNC_AND_SET_TO_NULL(funcName, ptr) \ #define DECLARE_FUNC_AND_SET_TO_NULL(funcName, ptr) \
void generated_##funcName(); \ void generated_##funcName(); \
ptr = nullptr; ptr = nullptr;
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines