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

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

From-SVN: r72401

gcc/ChangeLog

+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

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.