diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-09-22 01:24:33 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-09-22 01:24:33 +0000 |
| commit | dd1d7d88f1fe6d7d7e79acaec3f83bc10d9f7b97 (patch) | |
| tree | 361d11291b72644e05fcbd9d2c04958809d0d060 /lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | |
| parent | 5d99a252c63a7745bcd71231ca5240d2a65e4f1d (diff) | |
[analyzer] Check that a member expr is valid even when the result is an lvalue.
We want to catch cases like this early, so that we can produce better
diagnostics and path notes:
Point *p = 0;
int *px = &p->x; // should warn here
*px = 1;
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164441 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngineObjC.cpp')
0 files changed, 0 insertions, 0 deletions