Exposing a mutable property as a immutable readonly getter causes warnings

Originator:doug
Number:rdar://11515056 Date Originated:
Status:Open Resolved:
Product:Developer Tools Product Version:4.x
Classification:Enhancement Reproducible:N/A
 
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

Comments

Duped

rdar://11515196

By krismarkel at May 23, 2012, 3:59 p.m. (reply...)

Please note: Reports posted here will not necessarily be seen by Apple. All problems should be submitted at bugreport.apple.com before they are posted here. Please only post information for Radars that you have filed yourself, and please do not include Apple confidential information in your posts. Thank you!