]> granicus.if.org Git - clang/commit
[analyzer] Remove obsolete ObjCPropRef SVal kind.
authorJordan Rose <jordan_rose@apple.com>
Wed, 18 Jul 2012 21:59:37 +0000 (21:59 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 18 Jul 2012 21:59:37 +0000 (21:59 +0000)
commit4ccc4cc5d4e7c5c436d5f45065d3639cfc7c6e48
treeb792969217d774e0ff7e23fc1f125765291d17a3
parent7ff8f5e9b1b8d87a64853735fc4218a6a9f70652
[analyzer] Remove obsolete ObjCPropRef SVal kind.

ObjC properties are handled through their semantic form of ObjCMessageExprs
and their wrapper PseudoObjectExprs, and have been for quite a while. The
syntactic ObjCPropertyRefExprs do not appear in the CFG and are not visited
by ExprEngine.

No functionality change.

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