]> granicus.if.org Git - clang/commit
[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)
commit726e1d4f31118950407db6af4bcc4c980d9726cb
tree7b3a3a2775843fc8d34caa057e78b62fa70679b2
parent0c285b370c0599a9665201ad3195410c190566d9
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@338474 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/ConstructionContext.h
include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
lib/StaticAnalyzer/Core/CallEvent.cpp