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
