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 | 1d64a498557507acf03f8de026ac07b662303305 (patch) | |
| tree | 759c7def09dfbc2d0355e5ae09bbc2a535d91e96 /clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp | |
| parent | 04dcb7235f279306376be64a525311c322f90c7e (diff) | |
| download | bcm5719-llvm-1d64a498557507acf03f8de026ac07b662303305.tar.gz bcm5719-llvm-1d64a498557507acf03f8de026ac07b662303305.zip | |
[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;
llvm-svn: 164442
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp')
0 files changed, 0 insertions, 0 deletions
