Complete.Org: Mailing Lists: Archives: freeciv-dev: August 2004:
[Freeciv-Dev] Re: (PR#9809) patch: die should be labeled noreturn
Home

[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]
To: bh@xxxxxxxxxxxxxxxxxxx
Subject: [Freeciv-Dev] Re: (PR#9809) patch: die should be labeled noreturn
From: "Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 25 Aug 2004 09:41:44 -0700
Reply-to: rt@xxxxxxxxxxx

<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 <=