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

[Ted Kremenek]

On Nov 15, 2010, at 4:30 PM, Marcin Świderski wrote:

> 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.

Makes sense.  I was mainly proposing this to reduce the maintenance/engineering burden, but if you want to extend BasicStore with basic C++ functionality then that is fine by me.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20101115/a9599e7c/attachment.html>