This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: c/3764: Gcc incorrectly complains that a noreturn function returns
- To: Erik Mouw <J dot A dot K dot Mouw at ITS dot TUDelft dot NL>
- Subject: Re: c/3764: Gcc incorrectly complains that a noreturn function returns
- From: Richard Henderson <rth at redhat dot com>
- Date: Mon, 23 Jul 2001 01:35:53 -0700
- Cc: rth at gcc dot gnu dot org, gcc-bugs at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, nobody at gcc dot gnu dot org
- References: <20010723045818.7148.qmail@sourceware.cygnus.com> <20010723101707.E17535@arthur.ubicom.tudelft.nl>
On Mon, Jul 23, 2001 at 10:17:08AM +0200, Erik Mouw wrote:
> The way I read this is that the noreturn attribute tells the compiler
> that the function doesn't return.
It does.
> If the compiler doesn't listen to the directive, it will never
> be able to perform optimisations, and the attribute is useless.
It did listen to the directive. It also decided that it would
check up on you to see if you made a mistake. It thought you did.
r~