aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-04-10 05:04:22 +0000
committerTed Kremenek <kremenek@apple.com>2009-04-10 05:04:22 +0000
commit4df211412c87df3a5e2ae8330d6c7ff521df2646 (patch)
tree6e5ab5f6de4d33934ad18973874f2ee193ebc24d
parented869315ce0a0f67389930f21d80126455ba7897 (diff)
Wording changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68766 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--docs/LanguageExtensions.html13
1 files changed, 7 insertions, 6 deletions
diff --git a/docs/LanguageExtensions.html b/docs/LanguageExtensions.html
index 3571dfd844..270d32d696 100644
--- a/docs/LanguageExtensions.html
+++ b/docs/LanguageExtensions.html
@@ -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