diff options
Diffstat (limited to 'lib/Analysis/GRState.cpp')
| -rw-r--r-- | lib/Analysis/GRState.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp index eb6b1b5cfa..85a85f207d 100644 --- a/lib/Analysis/GRState.cpp +++ b/lib/Analysis/GRState.cpp @@ -257,7 +257,7 @@ bool ScanReachableSymbols::scan(SVal val) { } bool ScanReachableSymbols::scan(const MemRegion *R) { - if (visited.count(R)) + if (isa<MemSpaceRegion>(R) || visited.count(R)) return true; visited.insert(R); @@ -273,7 +273,7 @@ bool ScanReachableSymbols::scan(const MemRegion *R) { return false; // Now look at the binding to this region (if any). - if (!scan(state.GetSVal(R))) + if (!scan(state.GetSValAsScalarOrLoc(R))) return false; // Now look at the subregions. |