<div dir="ltr">New patch attached. This is the first step to convert to rvalue/lvalue evaluation in GRExprEngine.<br>Some planned things are:<br>1. Renaming lval -> loc, nonlval -> nonloc<br>2. Initial implementation for field sensitive store for RegionStore.<br>
3. Replace ArrayOffset FieldOffset to some region value.<br></div>