[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