[cfe-dev] C++ memory analysis

[Chris Lattner]

On Jul 6, 2011, at 3:42 AM, Arthur Langereis wrote:

>> On Jul 5, 2011, at 22:33 PM, Chris Lattner wrote:
>> 
>> We even support the new ARC Objective-C feature in all modes as well, meaning that folks can write code in Objective-ARC++'0x if they so choose.
>> 
>> -Chris
> 
> Objarcox, I choose you!
> 
> Specifically, I'm trying out the analyzer and 0xB features and it was mentioned that all the analyzer notes now work in C++ mode as well and many do, but not memory management issues it seems.
> 
> Code like:
> 
> int main(int argc, char *argv[]) {
>     int *x = new int;
>     *x = 5;    // suppress dead store / not initialized warnings
>     return 0;
> }
> 
> yields no warnings from the analyzer. Same result with member vars, etc, Is this just a bridge too far (for now)?

The static analyzer has its existing checks and they work in [Obj]C++ code now.  However, it isn't finding all possible C++ bugs yet :)

-Chris

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20110706/4d4f92fe/attachment.html>