Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Phil Carmody <thefatphil_demunged@yahoo.co.uk> |
|---|---|
| Newsgroups | comp.lang.c |
| Subject | Re: Baby X |
| Date | 2013-08-23 11:32 +0300 |
| Organization | A noiseless patient Spider |
| Message-ID | <87ppt424ej.fsf@bazspaz.fatphil.org> (permalink) |
| References | (15 earlier) <4bQNt.683$nK2.441@en-nntp-11.dc1.easynews.com> <lntxiwlz3c.fsf@nuthaus.mib.org> <b7ftu9Fg6sqU4@mid.individual.net> <87haek3eal.fsf@bazspaz.fatphil.org> <lnmwocidhd.fsf@nuthaus.mib.org> |
Keith Thompson <kst-u@mib.org> writes: > 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. We are in firm agreement on all points. (Modulo Ian's "unless you're the the implementor" rider.) > 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. 5 weeks and counting... :-\ Phil -- If "law-abiding citizens have nothing to fear" from privacy-invading technologies and policies, then law-abiding governments should have nothing to fear from whistleblowers.
Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-03 16:40 -0700
Re: Baby X Jorgen Grahn <grahn+nntp@snipabacken.se> - 2013-08-04 06:04 +0000
Re: Baby X "BartC" <bc@freeuk.com> - 2013-08-04 10:29 +0100
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-04 02:53 -0700
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-04 14:34 -0700
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-05 04:36 -0700
Re: Baby X Keith Thompson <kst-u@mib.org> - 2013-08-05 08:04 -0700
Re: Baby X Ian Collins <ian-news@hotmail.com> - 2013-08-06 08:25 +1200
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-06 04:38 -0700
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
Re: Baby X Ike Naar <ike@ukato.freeshell.org> - 2013-08-06 21:00 +0000
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-06 15:07 -0700
Re: Baby X Ian Collins <ian-news@hotmail.com> - 2013-08-05 09:42 +1200
Re: Baby X Roberto Waltman <usenet@rwaltman.com> - 2013-08-04 14:46 -0400
Re: Baby X falk@rahul.net (Edward A. Falk) - 2013-08-15 03:02 +0000
Re: Baby X falk@rahul.net (Edward A. Falk) - 2013-08-15 03:23 +0000
Re: Baby X Malcolm McLean <malcolm.mclean5@btinternet.com> - 2013-08-15 06:09 -0700
csiph-web