[cfe-dev] Replacing the analyzer's CallOrObjCMessage with something more general
Jordan Rose
jordan_rose at apple.com
Mon Jul 2 12:28:52 PDT 2012
Landed in r159554-159563!
On Jun 28, 2012, at 16:43 , Jordan Rose <jordan_rose at apple.com> wrote:
>
> On Jun 28, 2012, at 15:55 , Tom Care <tom.care at uqconnect.edu.au> wrote:
>
>> Looks great, this makes my C++ constructor inlining significantly less hacky. I'll have to integrate and see how it works with my branch, but I'm hoping to be able clean it up enough to contribute new/delete handling very soon, including MallocChecker support.
>>
>> Tom
>
> That would be awesome. Please take note of http://llvm.org/bugs/show_bug.cgi?id=12014 if you work on new/delete, though -- the upshot is that the visit order for the sub-operations in a new-expression is pretty unusual.
>
> For my part, I'm planning to work on enabling destructors once this gets in; turning on constructors without destructors pretty much results in false positives everywhere. Once we have ctors, dtors, new, and delete, we'll probably be able to turn on analysis for a huge portion of C++ code.
>
> Jordan
More information about the cfe-dev
mailing list