[Freeciv-Dev] Re: (PR#9809) patch: die should be labeled noreturn
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
<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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Freeciv-Dev] Re: (PR#9809) patch: die should be labeled noreturn,
Jason Short <=
|
|