Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Keith Thompson <kst-u@mib.org> |
|---|---|
| Newsgroups | comp.lang.c |
| Subject | Re: Baby X |
| Date | 2013-08-20 08:33 -0700 |
| Organization | None to speak of |
| Message-ID | <lnmwocidhd.fsf@nuthaus.mib.org> (permalink) |
| References | (14 earlier) <ku8fjm$juj$1@dont-email.me> <4bQNt.683$nK2.441@en-nntp-11.dc1.easynews.com> <lntxiwlz3c.fsf@nuthaus.mib.org> <b7ftu9Fg6sqU4@mid.individual.net> <87haek3eal.fsf@bazspaz.fatphil.org> |
Phil Carmody <thefatphil_demunged@yahoo.co.uk> writes:
> Ian Collins <ian-news@hotmail.com> writes:
>> Keith Thompson wrote:
>> >
>> > You *could* require all possible execution paths for a non-void function
>> > to lead to a return statement. C doesn't currently require that kind of
>> > compile-time analysis, but it's not all that difficult to do, and I
>> > think I've seen at least one language that requires it.
>>
>> I recently stumbled upon an interesting blog entry from one of the
>> X.Org developers regarding the work such changes can entail:
>>
>> https://blogs.oracle.com/alanc/entry/solaris_11_1_changes_handling
>
> There's so much fail in that article.
>
> You should never have to go in and annotate standard library functions.
> The compiler should know their return semantics.
C11 7.22.4.4:
_Noreturn void exit(int status);
The *implementation* should know the return semantics of the functions
it defines, including both ISO standard functions and others. It makes
sense to encode that information in the declarations of those functions.
If you mean that the programmer shouldn't have to add those annotations,
I agree.
But then again, if we programmers never had to do anything that we
"shouldn't" have to do, we might be out of a job.
[...]
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something. This is something. Therefore, we must do this."
-- Antony Jay and Jonathan Lynn, "Yes Minister"
Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar
Re: Baby X Ian Collins <ian-news@hotmail.com> - 2013-08-07 07:19 +1200
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-06 12:38 -0700
Re: Baby X Ian Collins <ian-news@hotmail.com> - 2013-08-07 07:49 +1200
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-06 15:17 -0700
Re: Baby X Ben Bacarisse <ben.usenet@bsb.me.uk> - 2013-08-07 00:29 +0100
Re: Baby X Ian Collins <ian-news@hotmail.com> - 2013-08-07 13:45 +1200
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-07 03:22 -0700
Re: Baby X James Kuyper <jameskuyper@verizon.net> - 2013-08-07 06:36 -0400
Re: Baby X Dr Nick <nospam-4@temporary-address.org.uk> - 2013-08-10 20:04 +0100
Re: Baby X Kelsey Bjarnason <kbjarnason@gmail.com> - 2013-08-09 17:28 +0000
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-09 12:43 -0700
Re: Baby X glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2013-08-09 20:01 +0000
[OT] Re: Baby X Eric Sosman <esosman@comcast-dot-net.invalid> - 2013-08-09 16:30 -0400
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-09 14:12 -0700
Re: Baby X Dr Nick <nospam-4@temporary-address.org.uk> - 2013-08-10 20:11 +0100
Re: Baby X Robert Wessel <robertwessel2@yahoo.com> - 2013-08-10 14:41 -0500
Re: Baby X James Kuyper <jameskuyper@verizon.net> - 2013-08-10 21:34 -0400
Re: Baby X Dr Nick <nospam-4@temporary-address.org.uk> - 2013-08-11 11:02 +0100
Re: Baby X James Kuyper <jameskuyper@verizon.net> - 2013-08-11 12:54 -0400
Re: Baby X Richard Damon <Richard@Damon-Family.org> - 2013-08-11 13:51 -0400
Re: Baby X James Kuyper <jameskuyper@verizon.net> - 2013-08-11 14:10 -0400
Re: Baby X Richard Damon <Richard@Damon-Family.org> - 2013-08-11 14:43 -0400
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-11 14:03 -0700
Re: Baby X Richard Damon <Richard@Damon-Family.org> - 2013-08-11 17:57 -0400
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-11 18:37 -0700
Re: Baby X glen herrmannsfeldt <gah@ugcs.caltech.edu> - 2013-08-12 04:12 +0000
Re: Baby X Dr Nick <nospam-4@temporary-address.org.uk> - 2013-08-12 07:42 +0100
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-12 09:10 -0700
Re: Baby X Philip Lantz <prl@canterey.us> - 2013-08-17 22:31 -0700
Re: Baby X James Kuyper <jameskuyper@verizon.net> - 2013-08-18 14:50 -0400
Re: Baby X Ike Naar <ike@iceland.freeshell.org> - 2013-08-18 20:15 +0000
Re: Baby X James Kuyper <jameskuyper@verizon.net> - 2013-08-18 16:30 -0400
Re: Baby X Ike Naar <ike@iceland.freeshell.org> - 2013-08-18 21:03 +0000
Re: Baby X Ian Collins <ian-news@hotmail.com> - 2013-08-20 13:09 +1200
Re: Baby X Phil Carmody <thefatphil_demunged@yahoo.co.uk> - 2013-08-20 12:24 +0300
Re: Baby X Ben Bacarisse <ben.usenet@bsb.me.uk> - 2013-08-20 13:11 +0100
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-20 08:33 -0700
Re: Baby X Phil Carmody <thefatphil_demunged@yahoo.co.uk> - 2013-08-23 11:32 +0300
Re: Baby X Ian Collins <ian-news@hotmail.com> - 2013-08-21 08:01 +1200
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-11 13:57 -0700
Re: Baby X James Kuyper <jameskuyper@verizon.net> - 2013-08-10 21:29 -0400
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-10 22:04 -0700
Re: Baby X Ike Naar <ike@iceland.freeshell.org> - 2013-08-09 20:16 +0000
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-09 15:29 -0700
Re: Baby X Ike Naar <ike@iceland.freeshell.org> - 2013-08-10 05:45 +0000
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-10 03:18 -0700
Re: Baby X Ike Naar <ike@iceland.freeshell.org> - 2013-08-10 17:02 +0000
csiph-web