[cfe-commits] [PATCH] GRExprEngine CXXThisRegion support in BasicStore

Marcin Świderski marcin.sfider at gmail.com
Mon Nov 15 15:55:56 PST 2010


I'm currently using it for tracking object identity and more precicly
checking if object is the 'this' object.

W dniu 16 listopada 2010 00:49 użytkownik Ted Kremenek
<kremenek at apple.com>napisał:

I don't think BasicStore will ever be useful for analyzing C++ code.  I'm
> fine with restricting its use to C and Objective-C code at this point.
>  There's just so much it won't model for C++ to be remotely useful, and the
> maintenance isn't worth it.
>
> Any objections?
>
> On Nov 15, 2010, at 3:47 PM, Marcin Świderski wrote:
>
> Patch adds support for CXXThisRegion in BasicStore. CXXThisRegion is
> treated like VarRegion and ObjCIVarRegion. Also there's small change in
> BindDeclInternal to treat reference decls like pointer decls.
>
> Please aprove for commit.
>
> - Marcin
> <gr-eng-cxx-this-reg-in-basic-store.patch>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20101116/dfd63edb/attachment.html>


More information about the cfe-commits mailing list