[LLVMbugs] [Bug 2665] New: Static analyzer should check for "over-releases"

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=2665

           Summary: Static analyzer should check for "over-releases"
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: Semantic Analyzer
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: mr_noodle at noodlesoft.com
                CC: llvmbugs at cs.uiuc.edu


Simple example:

  array = [NSArray array];

  [array release];


The create array is already autoreleased and the subsequent release will cause
havoc when the autorelease pool is released later. Since you seem to be keeping
some sort of retain count to check for leaks, it stands to reason that you can
extend it to check for cases where an object is over-released.


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.