It allows discriminating between stack frames of the same call that is
called multiple times in a loop.
Thanks to Artem Dergachev for the great idea!
Paths
| Differential D65587
[analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its profile ClosedPublic Authored by Charusso on Aug 1 2019, 9:47 AM.
Details Summary It allows discriminating between stack frames of the same call that is Thanks to Artem Dergachev for the great idea!
Diff Detail Event TimelineHerald added subscribers: cfe-commits, dkrupp, donat.nagy and 7 others. · View Herald TranscriptAug 1 2019, 9:47 AM Charusso added inline comments. Comment Actions Ah, omission of the century :/ Thanks, this looks immediately good!
This revision is now accepted and ready to land.Aug 1 2019, 12:39 PM Charusso added inline comments.
Closed by commit rL367608: [analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its… (authored by Charusso). · Explain WhyAug 1 2019, 1:42 PM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 212842 clang/include/clang/Analysis/AnalysisDeclContext.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
clang/lib/Analysis/AnalysisDeclContext.cpp
clang/lib/StaticAnalyzer/Core/CallEvent.cpp
clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
clang/test/Analysis/loop-block-counts.c
clang/test/Analysis/loop-unrolling.cpp
clang/test/Analysis/stack-frame-context-revision.cpp
|
"The number of times the Block has been visited. Allows discriminating between stack frames of the same call that is called multiple times in a loop."