On Nov 15, 2010, at 4:30 PM, Marcin Świderski wrote:
> W dniu 16 listopada 2010 00:55 użytkownik Marcin Świderski
> <[email protected]> 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 <[email protected]>
> 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.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
