<br><br><div class="gmail_quote">On Thu, Dec 18, 2008 at 9:53 AM, 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">On Dec 17, 2008, at 4:22 AM, Zhongxing Xu wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi Ted,<br>
<br>
This is the patch for lazy binding.<br>
</blockquote>
<br></div>
Hi Zhongxing,<br>
<br>
This is a huge patch, so I'm going to make a few passes over it.  Overall it looks very good.  I'm wondering if we can break out the changes to SymbolManager.[h,cpp] into a separate patch without compromising the current functionality of BasicStore.  It would also make your changes to RegionStore more isolated.<div class="Ih2E3d">
<br>
</div></blockquote><div><br> </div></div>The SymbolManager part of the patch added const'ness to VarDecl* and ParmVarDecl*. It will break the compilation if committed separately. Essentially, it only adds one function: <br>
  SymbolRef SymbolManager::getSymbol(const MemRegion* R);<br>