]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99fa97a) | patch
[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)
commit5bf523b49e7b36e65b6f1ffaf9cf0a6b54cde9b3
treebf4b31d4087b19c06bcb8e2f28d774b4aed18586tree | snapshot
parent99fa97a8b987febf298007b27e42f8a1d1549822commit | diff
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@229934 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp diff | blob | history
test/Analysis/properties.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.