I think we'll continue to iterate on the details, but I think this is a great first step. Please apply.
On Oct 15, 2008, at 7:12 AM, Zhongxing Xu wrote: > New patch attached. This is the first step to convert to rvalue/ > lvalue evaluation in GRExprEngine. > Some planned things are: > 1. Renaming lval -> loc, nonlval -> nonloc > 2. Initial implementation for field sensitive store for RegionStore. > 3. Replace ArrayOffset FieldOffset to some region value. > <lvalue.patch> _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
