Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586>

llvm-svn: 151012
2012-02-21 00:46:29 +00:00
parent 7fcbd902b4
commit b14b42d477
3 changed files with 27 additions and 1 deletions
--- 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))