diff options
| author | Anna Zaks <ganna@apple.com> | 2013-03-29 22:32:34 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2013-03-29 22:32:34 +0000 |
| commit | 4de4715ad02aa8c9437a9e0e2854a0ccc71a3188 (patch) | |
| tree | 6d56482bc0a503f07a3aa7f55a8009ae65d154be /lib/StaticAnalyzer/Core | |
| parent | b6cac0bf486e44f53f1ae397c2615947a203373f (diff) | |
[analyzer] Look for a StmtPoint node instead of PostStmt in trackNullOrUndefValue.
trackNullOrUndefValue tries to find the first node that matches the statement it is tracking.
Since we collect PostStmt nodes (in node reclamation), none of those might be on the
current path, so relax the search to look for any StmtPoint.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178380 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core')
| -rw-r--r-- | lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp index 31ba5729ea..11218c086b 100644 --- a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp +++ b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp @@ -845,7 +845,7 @@ bool bugreporter::trackNullOrUndefValue(const ExplodedNode *N, // gone too far (though we can likely track the lvalue better anyway). do { const ProgramPoint &pp = N->getLocation(); - if (Optional<PostStmt> ps = pp.getAs<PostStmt>()) { + if (Optional<StmtPoint> ps = pp.getAs<StmtPoint>()) { if (ps->getStmt() == S || ps->getStmt() == Inner) break; } else if (Optional<CallExitEnd> CEE = pp.getAs<CallExitEnd>()) { |