From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fee8802cc3d8334d
X-Google-Attributes: gid103376,public
X-Google-Thread: 10a146,fee8802cc3d8334d
X-Google-Attributes: gid10a146,public
From: "George W. Bayles" <georgeb@cajunbro.com>
Subject: Re: Ada and Java. different behaviour. casting long to int problem.
Date: 1999/06/16
Message-ID: <3767CDFC.798BBB23@cajunbro.com>#1/1
X-Deja-AN: 490304613
Content-Transfer-Encoding: 7bit
References: <7jt2c0$vrb@drn.newsguy.com> <f92d7yyweva.fsf@eng.sun.com>
 <7k57vb$1ipf@drn.newsguy.com> <3766650F.705125B7@pwfl.com>
 <7k64t7$igo$1@its.hooked.net> <7k689a$ci2@drn.newsguy.com>
 <3766C842.E1EAB60A@pwfl.com> <3766D1CC.D712895E@itools.symantec.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: newsabuse@remarQ.com
X-Trace: 929549821.723.83 2BDTXNQOI54E1D18EC qube-01.us-ca.remarq.com
Organization: Posted via RemarQ Communities, Inc.
MIME-Version: 1.0
NNTP-Posting-Date: Wed, 16 Jun 1999 16:17:01 GMT
Newsgroups: comp.lang.ada,comp.lang.java.programmer
Date: 1999-06-16T00:00:00+00:00
List-Id: <comp.lang.ada>

D'Arcy Smith wrote:
[snip]
> Could the language be defined differently to point out overflow
> erorrs?  Sure.
>

Perhaps you assume that all processors can automatically detect
integer overflow in hardware? Any requirement wrt handling integer 
overflow you make in the language would incur severe performance 
penalties if the hardware doesn't support it.

It's a tradeoff - safety vs performance. How much safety are you 
losing though? Almost all the integer ops in a real program will
never overflow. The few that can overflow can be readily checked

int a,b,c;
....
a = b + c;
boolean overflowed = (c<0) ? (a>b) : (a<b);

[snip]