Skip to content
Commit 844a729d authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Use feedback from RegionStoreSubRegionMap::add() to prune off adding a super 

region to the worklist used to create the subregion map.

llvm-svn: 78228
parent dabf71f1
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