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 | 86ee059a3a2a44fe52851509f11144a0278fee67 (patch) | |
tree | 0c413839a30d4d2a95de3a4041f8199cf0d54a3d /clang/docs/LanguageExtensions.html | |
parent | a9deb971907720f23358c6be0ac39a446e69a383 (diff) | |
download | bcm5719-llvm-86ee059a3a2a44fe52851509f11144a0278fee67.tar.gz bcm5719-llvm-86ee059a3a2a44fe52851509f11144a0278fee67.zip |
Wording changes.
llvm-svn: 68766
Diffstat (limited to 'clang/docs/LanguageExtensions.html')
-rw-r--r-- | clang/docs/LanguageExtensions.html | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/clang/docs/LanguageExtensions.html b/clang/docs/LanguageExtensions.html index 3571dfd8444..270d32d6964 100644 --- a/clang/docs/LanguageExtensions.html +++ b/clang/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 |