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?
pointeeregion.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
