[cfe-commits] r124402 - in /cfe/trunk/www/analyzer: index.html latest_checker.html.incl release_notes.html

Argyrios Kyrtzidis kyrtzidis at apple.com
Thu Jan 27 13:06:33 PST 2011


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 "init-like" 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
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits





More information about the cfe-commits mailing list