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

[Zhongxing Xu]

>
> I have two more questions, but I think your patch looks good to apply right
> now (we can continue to iterate on details).
>
> First, is AnonPointeeRegion used now?  Scanning the patch I see no uses of
> it.  Do you plan on adding this later?


It's not used right now. It may be used later when we implement other Visit*
logic, e.g., when we dereference a pointer argument.

>
>
> Second, the "unknown" region appears to be the same for any place it will
> be used (simply based on how getUnknownRegion() is implemented). Is this
> intentional?
>

Not intentional. We can change its design when  necessary.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081008/dfda4b47/attachment.html>