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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Aug 11 11:10:38 PDT 2008


           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.

More information about the llvm-bugs mailing list