[analyzer] RetainCountChecker: don't try to track ivars known to be nil.
authorJordan Rose <jordan_rose@apple.com>
Thu, 19 Feb 2015 23:57:04 +0000 (23:57 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 19 Feb 2015 23:57:04 +0000 (23:57 +0000)
commit000bac5e1704e05c1c9da31885f7b7147687577c
treec0e8aa9a66fafd15a75e43707510e8675091fcd8
parentd34db1716ef1903225bedaf9587287ce3de22a94
[analyzer] RetainCountChecker: don't try to track ivars known to be nil.

We expect in general that any nil value has no retain count information
associated with it; violating this results in unexpected state unification
/later/ when we decide to throw the information away. Unexpectedly caching
out can lead to an assertion failure or crash.

rdar://problem/19862648

llvm-svn: 229934
clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
clang/test/Analysis/properties.m