diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-01-26 01:28:23 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-01-26 01:28:23 +0000 |
| commit | aea020f04ec86ba9165ad701ad58cc467a0906fe (patch) | |
| tree | 8cb1df5caa1e0927e7c8db1552a4105eab6b8f4b /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | c362edad85bfa1f143cc94ab58e16a0543b6c06a (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
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions