replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Wording changes. 

llvm-svn: 68766
This commit is contained in:
Ted Kremenek 2009-04-10 05:04:22 +00:00
parent a9deb97190
commit 86ee059a3a
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
clang/docs/LanguageExtensions.html
View 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