diff options
| author | Anna Zaks <ganna@apple.com> | 2013-04-18 00:15:15 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2013-04-18 00:15:15 +0000 |
| commit | 86f1745be24c834175e7a8a51b12f9a0063d532e (patch) | |
| tree | 6a2c42b94d42f7ff148d934b8ebaacd343cc9d4d /test/Analysis/reference.cpp | |
| parent | 1e1d011874340f33b807ac90609424f90f72488a (diff) | |
[analyzer] Tweak getDerefExpr more to track DeclRefExprs to references.
In the committed example, we now see a note that tells us when the pointer
was assumed to be null.
This is the only case in which getDerefExpr returned null (failed to get
the dereferenced expr) throughout our regression tests. (There were multiple
occurrences of this one.)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179736 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/reference.cpp')
| -rw-r--r-- | test/Analysis/reference.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/reference.cpp b/test/Analysis/reference.cpp index bcab80b04b..1dabe7bc1a 100644 --- a/test/Analysis/reference.cpp +++ b/test/Analysis/reference.cpp @@ -102,7 +102,7 @@ void testRetroactiveNullReference(int *x) { // "null reference". So the 'if' statement ought to be dead code. // However, Clang (and other compilers) don't actually check that a pointer // value is non-null in the implementation of references, so it is possible - // to produce a supposed "null reference" at runtime. The analyzer shoeuld + // to produce a supposed "null reference" at runtime. The analyzer should // still warn when it can prove such errors. int &y = *x; if (x != 0) |