<br><br><div class="gmail_quote">On Tue, Oct 21, 2008 at 1:22 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d"><br>
On Oct 20, 2008, at 10:11 PM, Zhongxing Xu wrote:<br>
<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">
This is the part adding array element initialization.<br>
<br></div>
<regionstore4.patch><br>
</blockquote>
<br>
Looks good!  I would even break it up further.  Commit the changes to MemRegion.[h,cpp] in one patch and the changes to RegionManager.cpp in another.<br>
</blockquote></div><br>Okay. I will commit them separately.<br>