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

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

[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
To: undisclosed-recipients: ;
Subject: [Freeciv-Dev] (PR#9809) patch: die should be labeled noreturn
From: "Benoit Hudson" <bh@xxxxxxxxxxxxxxxxxxx>
Date: Wed, 25 Aug 2004 09:28:51 -0700
Reply-to: rt@xxxxxxxxxxx 
<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.

Attachment: die_noreturn.diff
Description: Binary data

[Prev in Thread] Current Thread [Next in Thread]
  • [Freeciv-Dev] (PR#9809) patch: die should be labeled noreturn, Benoit Hudson <=