[cfe-dev] Proposed: change tracking for RegionStore

[Jordy Rose]

Second pass. This mainly addresses the fact that InvalidateRegions doesn't
just invalidate the regions it's given -- thanks, Ted -- by recording all
the touched regions in a SmallVector.

I looked at what it would take to re-use the cluster analysis code. Right
now ClusterAnalysis is pretty tightly tied to RegionStore (it maps regions
to BindingKeys). Even if the region-walking part could be extricated,
though, it's really not the same as what the checker needs (which is
basically IsSubOrSuperRegion(MemRegion*, MemRegion*)). I guess it's okay to
leave for now.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ProcessRegionChanges.patch
Type: text/x-diff
Size: 20605 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20100807/5feff7a3/attachment.patch>