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

[Marcin Świderski]

W dniu 16 listopada 2010 00:55 użytkownik Marcin Świderski <
marcin.sfider at gmail.com> napisał:

> 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>
>>
>>
>>
> One usefull thing is that we would have working C++ path-sensitive checker.
What I have currently works with BasicStore with the patch and crashes when
used with RegionStore. Because finishing the checker is important for me I
can leave this change just in my working copy and contribute the checker
when it will work with RegionStore.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20101116/0e91d081/attachment.html>