diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 47f03e5871c..5f64e151d85 100644
--- 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 d2f417da782..d24a725555a 100644
--- 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.