This new patch makes the Idx persistent within the BasicValueFactory.

On Sun, Oct 19, 2008 at 9:24 PM, Zhongxing Xu <[EMAIL PROTECTED]> wrote:

> 1. Initial support for local arrays in RegionStoreManager::AddDecl()
> 2. Move special processing of loading array variable's lvalue from
> GRExprEngine to Store. This simplifies code. And this is also what we have
> to do when we processing code like:
>
> int a[10];
> int (*p)[10];
> p = &a;
> (*p)[3] = 1;
>
> We load array variable's lvalue from its lvalue as we do in the case of
> loc::FuncVal.
>

Attachment: regionstore2.patch
Description: Binary data

_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to