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
From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: Ada and Java. different behaviour. casting long to int problem.
Date: 1999/06/21
Message-ID: <t74sk1zdnh.fsf@calumny.jyacc.com>#1/1
X-Deja-AN: 492165058
Sender: hymie@calumny.jyacc.com
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>
 <7k8nn5$qcb$1@its.hooked.net> <3767E8A2.EF1A0570@itools.symantec.com>
 <7k8tv3$3gm@drn.newsguy.com> <t7so7rdd1u.fsf@calumny.jyacc.com>
 <7kg9is$85g@dfw-ixnews8.ix.netcom.com>
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@panix.com
X-Trace: news.panix.com 929984668 5982 209.49.126.226 (21 Jun 1999 17:04:28
 GMT)
Organization: PANIX Public Access Internet and UNIX, NYC
Mime-Version: 1.0
User-Agent: Gnus/5.070084 (Pterodactyl Gnus v0.84) Emacs/20.3
NNTP-Posting-Date: 21 Jun 1999 17:04:28 GMT
Newsgroups: comp.lang.ada
Date: 1999-06-21T17:04:28+00:00
List-Id: <comp.lang.ada>

Sera Hirasuna <serah@ix.netcom.com> writes:
> The Arianne engineers, if I recall correctly, chose to use one of the
> unchecked operations.  Such operations have a default of "unsafe."

Quite the contrary. The Ariane engineers examined the code in question,
concluded that it would behave correctly, and used a safe operation,
with no local handler in place for an exception at that point. That "safe"
operation detected the overflow and propogated the exception outward to a
handler which assumed that hardware failure had occurred.