[analyzer] CallEvent: Add helper methods for obtaining the callee stack frame.
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 1 Aug 2018 01:58:15 +0000 (01:58 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 1 Aug 2018 01:58:15 +0000 (01:58 +0000)
commitb21b479653fdd3adc350c15f1ee69b078f717024
tree569ed351c460c692c6edd3352c34f3f08eefda8f
parentc4581f4e92797db5fb8d15520ecbc3fa938f8b79
[analyzer] CallEvent: Add helper methods for obtaining the callee stack frame.

Newly added methods allow reasoning about the stack frame of the call (as
opposed to the stack frame on which the call was made, which was always
available) - obtain the stack frame context, obtain parameter regions - even if
the call is not going to be (or was not) inlined, i.e. even if the analysis
has never actually entered the stack frame.

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

llvm-svn: 338474
clang/include/clang/Analysis/ConstructionContext.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
clang/lib/StaticAnalyzer/Core/CallEvent.cpp