[cfe-commits] [PATCH] Replace MemRegion with VarRegion

[Zhongxing Xu]

On Sun, Oct 5, 2008 at 1:43 AM, Ted Kremenek <kremenek at apple.com> wrote:

>
> On Oct 4, 2008, at 1:51 AM, Zhongxing Xu wrote:
>
>  If we do not intend to support locations other than simple scalar
>> variables in BasicStoreManager, we can make it more explicit by using
>> VarRegionVal instead of MemRegionVal.
>>
>> -Zhongxing XU
>>
>
>
> Hi Zhongxing,
>
> The RValues interfaces is meant to be usable by different subclasses of
> StoreManager, not just BasicStoreManager.  That's why I used MemRegionVal
> instead of VarRegionVal.  We have VarRegion to distinguish a variable region
> from one region and another.  The main objective of getting rid of DeclVal
> (which was replaced with MemRegionVal) was so that clients (e.g.,
> BugReporter, specific checks) stopped thinking about just variables and
> started reasoning about generic chunks of memory.
>
> Ted


You mean we will not have other *RegionVals than MemRegionVal, and let the
client use dyn_cast to reason about the kind of the underlying region?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081005/68af2fa9/attachment.html>