[cfe-dev] Symbolic Extents

[Ted Kremenek]

On Jun 28, 2010, at 11:35 PM, Jordy Rose wrote:

> Perhaps a MetadataRegion might be more appropriate? The advantage of a new
> region over a new symbol is that it could be used for metadata that changes
> as well. (I'm looking ahead to taking a stab at modeling C string length,
> at least in simple cases.) Of course, this could wreak havoc with the
> mythical FlatRegionStore, which would have no place to put this new
> subregion.

Would precisely would a MetadataRegion represent?  Regions are suppose to represent chunks of memory, subsets of chunks of memory, with annotations on that chunk.  Aside from VLAs (where we need to capture more information anyway), I don't know what a MetadataRegion would represent.