diff options
| -rw-r--r-- | docs/LanguageExtensions.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/LanguageExtensions.html b/docs/LanguageExtensions.html index 55fb615834..c855a5057a 100644 --- a/docs/LanguageExtensions.html +++ b/docs/LanguageExtensions.html @@ -376,11 +376,11 @@ 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 -panic functions (i.e., they are only called when an internal program error -occurs) but may actually return so that the program can fail gracefully. The -<tt>analyzer_noreturn</tt> attribute allows one to annotate such functions as -being interpreted as "no return" functions by the analyzer (thus +there are special functions that for all intents and purposes should be +considered panic functions (i.e., they are only called when an internal program +error occurs) but may actually return so that the program can fail gracefully. +The <tt>analyzer_noreturn</tt> attribute allows one to annotate such functions +as being interpreted as "no return" functions by the analyzer (thus pruning bogus paths) but will not affect compilation (as in the case of <tt>noreturn</tt>).</p> |