]> granicus.if.org Git - clang/commit
[analyzer] Tweak getDerefExpr more to track DeclRefExprs to references.
authorAnna Zaks <ganna@apple.com>
Thu, 18 Apr 2013 00:15:15 +0000 (00:15 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 18 Apr 2013 00:15:15 +0000 (00:15 +0000)
commit86f1745be24c834175e7a8a51b12f9a0063d532e
tree6a2c42b94d42f7ff148d934b8ebaacd343cc9d4d
parent1e1d011874340f33b807ac90609424f90f72488a
[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
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/inlining/path-notes.cpp
test/Analysis/reference.cpp