[analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its profile
authorCsaba Dabis <dabis.csaba98@gmail.com>
Thu, 1 Aug 2019 20:41:13 +0000 (20:41 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Thu, 1 Aug 2019 20:41:13 +0000 (20:41 +0000)
commit7740c6d643765f390254706284824b090f985461
treeced1041c66e64dadd92c6d19f6f374e867c6cf56
parentcb3140b7bf89f43d794e13fc47d7ec992d92fd00
[analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its profile

Summary:
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!

Reviewed By: NoQ

Tags: #clang

Differential Revision: https://reviews.llvm.org/D65587

llvm-svn: 367608
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 [new file with mode: 0644]