[cfe-commits] r57664 - /cfe/trunk/lib/Analysis/BasicStore.cpp

[Ted Kremenek]

On Oct 16, 2008, at 6:51 PM, Zhongxing Xu wrote:

> Author: zhongxingxu
> Date: Thu Oct 16 20:51:27 2008
> New Revision: 57664
>
> URL: http://llvm.org/viewvc/llvm-project?rev=57664&view=rev
> Log:
> Array and struct variables do have lvalue. For example,
> struct s {};
> void f() {
>  int a[10];
>  int (*p)[10];
>  p = &a;
>  (*p)[3] =1;
>
>  struct s d;
>  struct s *q;
>  q = &d;
> }
>
> We return the corresponding MemRegionVal for them.

Hi Zhongxing,

Can you add this as a test case in the test/Analysis directory?  We  
just need something that tests coverage of this aspect of GRExprEngine.

Ted
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081016/b9b180e9/attachment.html>