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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,7e8cebf09cf80560 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: How would Ariane 5 have behaved if overflow checking were notturned off? Date: Wed, 16 Mar 2011 15:16:12 +0000 Organization: A noiseless patient Spider Message-ID: References: <4d80b140$0$43832$c30e37c6@exi-reader.telstra.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Info: mx01.eternal-september.org; posting-host="dFCm8HWntFqmDIilBLqEJQ"; logging-data="22975"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18v6d+pLppBfzE02egVyPh/wTAtQ2g68oI=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin) Cancel-Lock: sha1:jgYG/7py9crIM9/svkaqCY9uFlo= sha1:dVpqIAmYKEDZ5AlCPvICJ0w+Y+4= Xref: g2news2.google.com comp.lang.ada:19216 Date: 2011-03-16T15:16:12+00:00 List-Id: "robin" writes: > An error handler would have rescued the mission. Errm - if the fixed-point type used for horizontal velocity was say delta 2.0**-14 range -2.0 .. 2.0 the compiler would almost certainly have packed it so that there were no spare bits; 1.9999 would be represented as 16#3fff#. So if the value that is to be fitted into this type is >= 2.0, there is no way to represent it and any calculations based on the velocity over the ground as stored would be garbage. Mission almost certainly over, I think.