granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Csaba Dabis <dabis.csaba98@gmail.com>
	Thu, 1 Aug 2019 20:41:13 +0000 (20:41 +0000)
committer	Csaba Dabis <dabis.csaba98@gmail.com>
	Thu, 1 Aug 2019 20:41:13 +0000 (20:41 +0000)
commit	28934ad95e5c24557a83607a5bb7fd49bb4d5271
tree	14861a7f94dc8b6a09eafc72e1c56e6a84ca5904	tree \| snapshot
parent	c8c0024353782e40a8711f025ed1a4091e5c0975	commit \| diff

[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@367608 91177308-0d34-0410-b5e6-96231b3b80d8

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom

include/clang/Analysis/AnalysisDeclContext.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h		diff \| blob \| history
lib/Analysis/AnalysisDeclContext.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/CallEvent.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp		diff \| blob \| history
test/Analysis/loop-block-counts.c		diff \| blob \| history
test/Analysis/loop-unrolling.cpp		diff \| blob \| history
test/Analysis/stack-frame-context-revision.cpp	[new file with mode: 0644]	blob