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

Zhongxing Xu xuzhongxing at gmail.com
Thu Oct 16 22:20:06 PDT 2008


Done.

On Fri, Oct 17, 2008 at 12:24 PM, Ted Kremenek <kremenek at apple.com> wrote:

>
> 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/20081017/33787850/attachment.html>


More information about the cfe-commits mailing list