Skip to content
Commit 0c37d19f authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do... 

Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions.  We do this by silently wrapping the region with an ElementRegion.  This fixes the failures in misc-ps-region-store.m.

llvm-svn: 75679
parent 69ec5570
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment