commit | 44ec3f00e64199667edf9f12c0f31f66916c95fe | [log] [tgz] |
---|---|---|
author | Jordan Rose <jordan_rose@apple.com> | Sat Jan 26 01:28:23 2013 +0000 |
committer | Jordan Rose <jordan_rose@apple.com> | Sat Jan 26 01:28:23 2013 +0000 |
tree | ecbf43af2f2dd1af98c03b4536fbcdb8d0727d23 | |
parent | dede2fd56d053a114a65ba72583981ce7aab27da [diff] |
[analyzer] Track null object lvalues back through C++ method calls. The expression 'a->b.c()' contains a call to the 'c' method of 'a->b'. We emit an error if 'a' is NULL, but previously didn't actually track the null value back through the 'a->b' expression, which caused us to miss important false-positive-suppression cases, including <rdar://problem/12676053>. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173547 91177308-0d34-0410-b5e6-96231b3b80d8