Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.c
Subject: Re: C wish list
Date: Sun, 24 Mar 2019 17:57:27 -0700
Organization: None to speak of
Lines: 26
Message-ID: <lnbm1zdb48.fsf@kst-u.example.com>
References: <de7f6c95-d2a8-4f26-9416-f72305578c3b@googlegroups.com> <18RkE.296542$DH4.255445@fx24.am4> <q70vsp$avo$1@dont-email.me> <i_TkE.658776$OGY.405413@fx08.am4> <q72dfr$1c0$1@dont-email.me> <GP3lE.407767$%B.175266@fx03.am4> <q72npb$qtv$1@dont-email.me> <Yt6lE.304038$7F3.192949@fx30.am4> <q72tse$fn$1@dont-email.me> <2J7lE.185089$1p7.119303@fx05.am4> <lnbm22g2ox.fsf@kst-u.example.com> <tzalE.538943$uD1.435519@fx33.am4> <ln36neg124.fsf@kst-u.example.com> <2PalE.135956$Ef4.37063@fx38.am4> <lny356eikx.fsf@kst-u.example.com> <4BqlE.730757$RBa.544247@fx15.am4> <lnpnqhe5v6.fsf@kst-u.example.com> <VPylE.543550$uD1.407887@fx33.am4> <q78auq$kdv$1@dont-email.me> <lnimw7derw.fsf@kst-u.example.com> <GCVlE.158925$MT2.51988@fx21.am4>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="784bbd8fb1c90ff7036d4663e7b2295d"; logging-data="28212"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19BpB4kapT4VZdVkMgp3UGM"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:+1o+0K3m6tWMVQIlWZllSd6uOnA= sha1:jEmCpDfl8PGqaufnOUXdzfqa3yo=
Xref: csiph.com comp.lang.c:142386

Bart <bc@freeuk.com> writes:
> On 24/03/2019 23:38, Keith Thompson wrote:
>> David Brown <david.brown@hesbynett.no> writes:
>> [...]
>>> I've already told you.  Most languages that I know of which compile to
>>> assembly, and are aimed at high performance code, make signed integer
>>> overflow undefined behaviour.  Many tools for these languages provide
>>> some help in debugging such code, with options that inserting run-time
>>> checks (in the same way gcc and clang can do for C and C++).  Languages
>>> in this category include Pascal, Modula 2, Fortran, Ada, and Algol.
>> [...]
>> 
>> Ada requires an exception to be raised on signed integer overflow.
>
> What could the exception handler do? Especially on production code.

There are plenty of resources for learning Ada, including freely
available copies of the Ada language standard.  There's even a
comp.lang.ada newsgroup -- which this is not.

[...]

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */