[LLVMbugs] [Bug 8838] New: CheckObjCDealloc skips IBOutlet properties if class has no other ivars

[bugzilla-daemon at llvm.org]

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

           Summary: CheckObjCDealloc skips IBOutlet properties if class
                    has no other ivars
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: ejopensource at gmail.com
                CC: llvmbugs at cs.uiuc.edu


The static analyzer skips all dealloc checking for any Obj-C class that
contains only IBOutlet pointer ivars. This can be a problem when the IBOutlet
ivars correspond to properties that have been declared with retain or copy
attributes.

The conditional used to skip the entire check begins at line 104 in
CheckObjCDealloc.cpp, based on the source code found at:
http://clang.llvm.org/doxygen/CheckObjCDealloc_8cpp_source.html

For more details, see:

1:
http://stackoverflow.com/questions/4474096/iphone-static-code-analysis-from-terminal-fails-to-find-a-missing-ivar-release

2:
http://stackoverflow.com/questions/1250518/what-happens-if-i-dont-retain-iboutlet/1250805#1250805

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

-- 
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.