]> granicus.if.org Git - clang/commit
Add a separate MemSpaceRegion for function/method arguments passed on the stack.
authorTed Kremenek <kremenek@apple.com>
Thu, 2 Jul 2009 18:14:59 +0000 (18:14 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 2 Jul 2009 18:14:59 +0000 (18:14 +0000)
commitd05552a21377f493c882298c59e8829040b01d34
tree34a4121068dd59d06726ce1b5f62fd8422941eeb
parent7f39d29cb69e7488f994870800d548008e50e1cb
Add a separate MemSpaceRegion for function/method arguments passed on the stack.
This will simplify the logic of StoreManagers that want to specially reason
about the values of parameters.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74715 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/MemRegion.h
lib/Analysis/MemRegion.cpp