diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 070d85c8254cc3a796a986961944107b631b8238..52be1847a041cd898a8a7a2787ab6957fbea279a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-09-24  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+	PR c/12713
+	* doc/extend.texi: Document interaction of attribute noreturn and
+	longjmp.
+
 2004-09-24  Richard Henderson  <rth@redhat.com>
 
 	PR rtl-opt/17503
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index a407663ae103856bd78b4e40865ecba60321b0a4..f7f52f186b0f4d022c84961cc60012c606529704 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -2015,7 +2015,7 @@ 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.
+by throwing an exception or calling @code{longjmp}.
 
 Do not assume that registers saved by the calling function are
 restored before calling the @code{noreturn} function.