[cfe-commits] [PATCH] A tentative implementation of RegionStoreManager

[Zhongxing Xu]

>
> My either idea was to have regions encode minimal information that could be
> shared amongst different implementations of StoreManager.  I'm not really
> certain why you wish to add a VarDecl* "pointedBy" field into
> AnonTypedRegion?  I didn't get around to commenting this class, but
> AnonTypedRegion is meant to represent a typed chunk of memory; it doesn't
> have to be pointed by a VarDecl.   It also seems to me that you are using
> AnonTypedRegion exactly the way BasicStore uses VarRegion.  Isn't it the
> same thing?  The "Anon" means anonymous; it means there is no name
> associated with this region.
>

I use VarDecl* to differentiate AnonTypedRegions. For example, for

void foo(char* a, char* b) {...},

'a' and 'b' both points to an AnonTypedRegion with type 'char', I just use
the VarDecl's of 'a' and 'b' to differentiate these two regions. This is
definitely not optimal design, because there might be AnonTypedRegion that
are not pointed to by any variable. So it should be discussed. But one thing
is sure: we need something to be associated with AnonTypedRegion besides its
type and superregion.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081006/4164a02b/attachment.html>