extend.texi (Function Attributes): Mention the exceptional path for noreturn-marked...

	* doc/extend.texi (Function Attributes): Mention the exceptional
	path for noreturn-marked functions.

From-SVN: r72401

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 47f03e5..5f64e15 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-10-12  Hans-Peter Nilsson  <hp@bitrange.com>
+
+       * doc/extend.texi (Function Attributes): Mention the exceptional
+       path for noreturn-marked functions.
+
 2003-10-12  Jan Hubicka  <jh@suse.cz>
 
        * cgraphunit.c (cgraph_decide_inlining): Fix uninitialized variable

diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index d2f417d..d24a725 100644 (file)
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -2020,6 +2020,10 @@ would happen if @code{fatal} ever did return.  This makes slightly
 better code.  More importantly, it helps avoid spurious warnings of
 uninitialized variables.
 
+The @code{noreturn} keyword does not affect the exceptional path when that
+applies: a @code{noreturn}-marked function may still return to the caller
+by throwing an exception.
+
 Do not assume that registers saved by the calling function are
 restored before calling the @code{noreturn} function.