[cfe-commits] [PATCH] A tentative implementation of RegionStoreManager
Zhongxing Xu
xuzhongxing at gmail.com
Tue Oct 7 19:41:20 PDT 2008
>
> 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>
More information about the cfe-commits
mailing list