From -4693227832208763310 X-Google-Thread: f78e5,1e6093a60facd084 X-Google-Attributes: gidf78e5,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news3.google.com!news.glorb.com!news.tele.dk!feed118.news.tele.dk!news.tele.dk!small.news.tele.dk!lnewsinpeer00.lnd.ops.eu.uu.net!emea.uu.net!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!stump.algebra.com!devnull From: tommi.hoynalanmaa@iki.fi (=?ISO-8859-1?Q?Tommi_H=F6yn=E4l=E4nmaa?=) Newsgroups: comp.std.c++ Subject: Re: [Proposal] noreturn_t Date: Wed, 1 Nov 2006 22:31:51 GMT Organization: Saunalahti Customer Lines: 38 Sender: mail2news@demon.net Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++) Message-ID: References: <1161490402.699940.293180@b28g2000cwb.googlegroups.com> NNTP-Posting-Host: news.news.demon.net Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: news.demon.co.uk 1162420322 28205 158.152.254.254 (1 Nov 2006 22:32:02 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Wed, 1 Nov 2006 22:32:02 +0000 (UTC) X-Original-To: std-c++@mailman.ucar.edu X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov) X-User-Agent: Thunderbird 1.5.0.7 (X11/20060922) X-MIME-Autoconverted: from 8bit to quoted-printable by mulga.csse.unimelb.edu.au id kA1MVwO9027189 X-Virus-Scanned: amavisd-new at csse.unimelb.edu.au X-Path: comp-std-cpp-robomod!not-for-mail X-Received: (from fjh@localhost) by mulga.csse.unimelb.edu.au (8.13.6+Sun/8.13.6/Submit) id kA1MVp5J027156; Thu, 2 Nov 2006 09:31:51 +1100 (EST) X-NNTP-Posting-Date: Wed, 01 Nov 2006 22:22:54 EET X-Delivered-To: std-c++@mailman.ucar.edu X-Authentication-Warning: mulga.csse.unimelb.edu.au: fjh set sender to devnull@stump.algebra.com using -f X-Newsgroups: comp.std.c++ Xref: g2news2.google.com comp.std.c++:4303 Tommi H=F6yn=E4l=E4nmaa kirjoitti: > There could be another attribute "mustreturn" to indicate that a=20 > function has to return. "mustreturn" and "noreturn" would be mutually=20 > exclusive. > Then > - A function with neither of the return attributes would be compatible=20 > with the corresponding function type with or without "noreturn" or=20 > "mustreturn" attributes. It would be semantically more reasonable to change this rule so that a=20 function with neither of the return attributes would not be compatible=20 with the corresponding function type with the "noreturn" attribute. If=20 we declare a function pointer with a type that has the "noreturn"=20 attribute then the values of this pointer should be guaranteed not to=20 return. Probably the rule should be changed for "mustreturn" in the same way.=20 The semantics of "mustreturn" are more unclear, though. > - A function with "noreturn" attribute would not be compatible with the= =20 > corresponding function type with the "mustreturn" attribute. > - A function with "mustreturn" attribute would not be compatible with=20 > the corresponding function type with the "noreturn" attribute. >=20 --=20 Tommi H=F6yn=E4l=E4nmaa s=E4hk=F6posti / e-mail: tommi.hoynalanmaa@iki.fi kotisivu / homepage: http://www.iki.fi/tohoyn/ --- [ comp.std.c++ is moderated. To submit articles, try just posting with ] [ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ] [ --- Please see the FAQ before posting. --- ] [ FAQ: http://www.comeaucomputing.com/csc/faq.html ]