diff options
author | Jordan Rose <jordan_rose@apple.com> | 2012-09-22 01:24:38 +0000 |
---|---|---|
committer | Jordan Rose <jordan_rose@apple.com> | 2012-09-22 01:24:38 +0000 |
commit | 991bcb4370fe849603346ebbddc8dd47bc29d235 (patch) | |
tree | 13ae959d39be697057da8cdedf857e2680e7dd64 /lib/StaticAnalyzer/Checkers/MallocChecker.cpp | |
parent | dd1d7d88f1fe6d7d7e79acaec3f83bc10d9f7b97 (diff) |
[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.
Like with struct fields, we want to catch cases like this early,
so that we can produce better diagnostics and path notes:
PointObj *p = nil;
int *px = &p->_x; // should warn here
*px = 1;
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164442 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/MallocChecker.cpp')
0 files changed, 0 insertions, 0 deletions