diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-04-10 05:04:22 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-04-10 05:04:22 +0000 |
commit | 4df211412c87df3a5e2ae8330d6c7ff521df2646 (patch) | |
tree | 6e5ab5f6de4d33934ad18973874f2ee193ebc24d | |
parent | ed869315ce0a0f67389930f21d80126455ba7897 (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.html | 13 |
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 "panic" 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 "panic" 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 |