[LLVMbugs] [Bug 12923] New: Exposing a mutable property as a immutable readonly getter causes warnings

[bugzilla-daemon at llvm.org]

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

             Bug #: 12923
           Summary: Exposing a mutable property as a immutable readonly
                    getter causes warnings
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: doug at getitdownonpaper.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


23-May-2012 08:45 AM Doug Russell:
Summary:

If you have an mutable property in your .m file (in a class extension) and
expose it in your header as an immutable readonly the static analyzer will
complain about unrecognized selectors even though the actual property is
mutable.

Steps to Reproduce:

Declare a immutable readonly getter for a mutable property

Expected Results:

Still be able to use mutable property as a mutable object

Actual Results:

Analyzer warnings

Regression:

Notes:

Sample project

http://cl.ly/1v2e2O430E272Y3I1A19

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