From: Ted Kremenek Date: Fri, 10 Apr 2009 05:04:22 +0000 (+0000) Subject: Wording changes. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4df211412c87df3a5e2ae8330d6c7ff521df2646;p=clang Wording changes. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68766 91177308-0d34-0410-b5e6-96231b3b80d8 --- 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 that is part of Clang's Analysis library.

analyzer_noreturn

Clang's static analysis engine understands the standard noreturn -attribute, which indicates that a call to a given function never returns. -Function prototypes for common functions like exit 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.

+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 exit 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.

While useful, noreturn is not applicable in all cases. Sometimes there are special functions that for all intensive purposes should be considered