From 28d3ec4a98d4d20354098236dcc8af5bf677c29b Mon Sep 17 00:00:00 2001 From: hp Date: Sun, 12 Oct 2003 16:08:10 +0000 Subject: [PATCH] * doc/extend.texi (Function Attributes): Mention the exceptional path for noreturn-marked functions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@72401 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/doc/extend.texi | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 47f03e5..5f64e15 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-10-12 Hans-Peter Nilsson + + * doc/extend.texi (Function Attributes): Mention the exceptional + path for noreturn-marked functions. + 2003-10-12 Jan Hubicka * cgraphunit.c (cgraph_decide_inlining): Fix uninitialized variable diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index d2f417d..d24a725 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. -- 2.7.4