Done. On Fri, Oct 17, 2008 at 12:24 PM, Ted Kremenek <[EMAIL PROTECTED]> 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 >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
