Skip to content
Commit ffb08c46 authored by Argyrios Kyrtzidis's avatar Argyrios Kyrtzidis
Browse files

[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
parent fdbcd546
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment