[cfe-commits] r59618 - in /cfe/trunk: include/clang/Analysis/PathSensitive/SVals.h include/clang/Analysis/PathSensitive/SymbolManager.h lib/Analysis/SVals.cpp lib/Analysis/SymbolManager.cpp

Ted Kremenek kremenek at apple.com
Wed Nov 19 16:30:14 PST 2008


On Nov 19, 2008, at 4:07 PM, Zhongxing Xu wrote:

>
>
> On Thu, Nov 20, 2008 at 2:01 AM, Ted Kremenek <kremenek at apple.com>  
> wrote:
> Hi Zhongxing,
>
> Great progress!  This looks fine for now, but in the future we  
> should think about how symbols that are specific to a given  
> combination of StoreManager/ConstraintManager should be factored out  
> of the the base implementation of StoreManager.
>
> Do you mean "..out of the base implementation of SymbolicManager"?

Yes.  Sorry!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081119/2c0e9b3e/attachment.html>


More information about the cfe-commits mailing list