c/3764: Gcc incorrectly complains that a noreturn function returns

[Richard Henderson]

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~