]> granicus.if.org Git - clang/commitdiff
Wording changes.
authorTed Kremenek <kremenek@apple.com>
Fri, 10 Apr 2009 05:04:22 +0000 (05:04 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 10 Apr 2009 05:04:22 +0000 (05:04 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68766 91177308-0d34-0410-b5e6-96231b3b80d8

docs/LanguageExtensions.html

index 3571dfd84443a94e2c9a91c6641f31a2516978dc..270d32d696459c35e36f1e4603848a83595e5051 100644 (file)
@@ -289,12 +289,13 @@ engine</a> that is part of Clang's Analysis library.</p>
 <h4 id="attr_analyzer_noreturn"><tt>analyzer_noreturn</tt></h4>
 
 <p>Clang's static analysis engine understands the standard <tt>noreturn</tt>
-attribute, which indicates that a call to a given function never returns.
-Function prototypes for common functions like <tt>exit</tt> are typically
-annotated with this attribute, as well as a variety of common assertion
-handlers. Users can educate the static analyzer about their own custom assertion
-handles (thus cutting down on false positives due to false paths) by marking
-their own &quot;panic&quot; functions with this attribute.</p>
+attribute. This attribute, which is typically affixed to a function prototype,
+indicates that a call to a given function never returns. Function prototypes for
+common functions like <tt>exit</tt> are typically annotated with this attribute,
+as well as a variety of common assertion handlers. Users can educate the static
+analyzer about their own custom assertion handles (thus cutting down on false
+positives due to false paths) by marking their own &quot;panic&quot; functions
+with this attribute.</p>
 
 <p>While useful, <tt>noreturn</tt> is not applicable in all cases. Sometimes
 there are special functions that for all intensive purposes should be considered