diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-01-25 00:04:03 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-01-25 00:04:03 +0000 |
| commit | 14429b918bd2f4cb52abc75546a7fe37142054ca (patch) | |
| tree | 4e827248b9a645d660c677319ea7b929f50fb300 /lib/Sema/AttributeList.cpp | |
| parent | 5286e2ddfd8332520de4c076e49991d6fe557adb (diff) | |
[analyzer] Handle the dot syntax for properties in the ExprEngine.
We translate property accesses to obj-c messages by simulating "loads" or "stores" to properties
using a pseudo-location SVal kind (ObjCPropRef).
Checkers can now reason about obj-c messages for both explicit message expressions and implicit
messages due to property accesses.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124161 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/AttributeList.cpp')
0 files changed, 0 insertions, 0 deletions