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 | ffb08c46face8f337fbcb725d83dbe66002501dc (patch) | |
| tree | c6cc4a5c5059a1754fdacce62dc461a8d9e0c3c7 /llvm/lib/Analysis/InlineCost.cpp | |
| parent | fdbcd5465818b0802a8192855523759f1540f05a (diff) | |
| download | bcm5719-llvm-ffb08c46face8f337fbcb725d83dbe66002501dc.tar.gz bcm5719-llvm-ffb08c46face8f337fbcb725d83dbe66002501dc.zip | |
[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.
llvm-svn: 124161
Diffstat (limited to 'llvm/lib/Analysis/InlineCost.cpp')
0 files changed, 0 insertions, 0 deletions
