On Jan 27, 2011, at 11:41 AM, Ted Kremenek wrote:

> Author: kremenek
> Date: Thu Jan 27 13:41:08 2011
> New Revision: 124402
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=124402&view=rev
> Log:
> Update checker build and post release notes.
> 
> +
> +<ul>
> +<li>Introduces new <tt>-init</tt> method checker to check if a super class's 
> init method is properly called.</li>
> +<li>Objective-C retain/release checker now reasons about calls to property 
> accessor methods (setter/getter).</li>

Actually all checkers can reason about property accesses (e.g. nil receiver 
checker)

-Argiris

> +<li>Introduces new attribute <a 
> href="annotations.html#attr_ns_consumes_self">ns_consumes_self</a> to educate 
> the Objective-C retain/release checker about custom &quot;init-like&quot; 
> methods that do not follow the standard Cocoa naming conventions.</li>
> +<li>Introduces new attributes <a 
> href="annotations.html#attr_ns_consumed">ns_consumed</a> and <a 
> href="annotations.html#attr_cf_consumed">cf_consumed</a> to educate the 
> Objective-C retain/release checker about methods/functions that decrement the 
> reference count of a parameter.</li>
> +</ul>
> +
> +</div>
> +</div>
> +</body>
> +</html>
> +
> 
> 
> _______________________________________________
> cfe-commits mailing list
> [email protected]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits


_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to