[Freeciv-Dev] Re: (PR#9809) patch: die should be labeled noreturn

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=9809 >

Benoit Hudson wrote:
> <URL: http://rt.freeciv.org/Ticket/Display.html?id=9809 >
> 
> die doesn't return, so it should be labeled as such to kill warnings about 
> falling off the end of 
> a function and etc.

I agree.  But see PR#3427.

jason