[cfe-dev] Lazy bindings

[Zhongxing Xu]

On Thu, Dec 18, 2008 at 9:53 AM, Ted Kremenek <kremenek at apple.com> wrote:

> On Dec 17, 2008, at 4:22 AM, Zhongxing Xu wrote:
>
>  Hi Ted,
>>
>> This is the patch for lazy binding.
>>
>
> Hi Zhongxing,
>
> 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.
>


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:
  SymbolRef SymbolManager::getSymbol(const MemRegion* R);
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20081218/cc7c203d/attachment.html>