diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-02-21 00:46:29 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-02-21 00:46:29 +0000 |
| commit | b14b42d477fc68a10ba5f7915c5cd1069a14719c (patch) | |
| tree | 380c0295350a207d22ce8be231a78857d5e4399c /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 7fcbd902b49f1776cd514e8e0056a159d46f5a01 (diff) | |
| download | bcm5719-llvm-b14b42d477fc68a10ba5f7915c5cd1069a14719c.tar.gz bcm5719-llvm-b14b42d477fc68a10ba5f7915c5cd1069a14719c.zip | |
Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586>
llvm-svn: 151012
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index 6f39c0321ee..b9cfa27808c 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -553,6 +553,10 @@ bool ScanReachableSymbols::scan(const MemRegion *R) { if (isVisited) return true; isVisited = 1; + + + if (!visitor.VisitMemRegion(R)) + return false; // If this is a symbolic region, visit the symbol for the region. if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) |
