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

[Zhongxing Xu]

A new patch attached. In this patch, we introduce a AnonPointeeRegion to
represent the assumed pointee of parameter or global pointers.

Another scheme: we assume nothing about parameter or global pointers, just
give them a symbolic value, as we do in the BasicStore. Then we will not
bother this AnonPointeeRegion and the unknown MemSpaceRegion. What do you
think of this?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081007/cdea0baa/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pointeeregion.patch
Type: application/octet-stream
Size: 8532 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081007/cdea0baa/attachment.obj>