[cfe-commits] [PATCH] RegionStore

[Zhongxing Xu]

This new patch makes the Idx persistent within the BasicValueFactory.

On Sun, Oct 19, 2008 at 9:24 PM, Zhongxing Xu <xuzhongxing at gmail.com> 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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081020/7071acb8/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: regionstore2.patch
Type: application/octet-stream
Size: 11462 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081020/7071acb8/attachment.obj>