| commit | 2d5a18a758ffe014e64248cb74cee74e768929e6 | [log] [tgz] |
|---|---|---|
| author | Jordan Rose <jordan_rose@apple.com> | Sat Jan 26 01:28:23 2013 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Thu Sep 17 06:00:42 2020 -0700 |
| tree | ecbf43af2f2dd1af98c03b4536fbcdb8d0727d23 | |
| parent | c9fa556817a0527fab7e60c42ee334f1b9a169fa [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>. llvm-svn: 173547 GitOrigin-RevId: aea020f04ec86ba9165ad701ad58cc467a0906fe