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!news3.google.com!feeder.news-service.com!goblin3!goblin.stu.neva.ru!exi-transit.telstra.net!news.telstra.net!exi-spool.telstra.net!exi-reader.telstra.net!not-for-mail From: "robin" Newsgroups: comp.lang.ada References: <82d3lsvqw7.fsf@stephe-leake.org> <4d8200cc$0$43837$c30e37c6@exi-reader.telstra.net> Subject: Re: How would Ariane 5 have behaved if overflow checking were notturned off? Date: Fri, 18 Mar 2011 10:04:22 +1100 X-Newsreader: Microsoft Outlook Express 4.72.3110.5 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 Message-ID: <4d835400$0$43840$c30e37c6@exi-reader.telstra.net> NNTP-Posting-Host: 123.3.23.55 X-Trace: 1300452353 exi-reader.telstra.net 43840 123.3.23.55:1037 Xref: g2news2.google.com comp.lang.ada:19270 Date: 2011-03-18T10:04:22+11:00 List-Id: Vinzent Hoefler <0439279208b62c95f1880bf0f8776eeb@t-domaingrabbing.de> wrote in message ... >robin wrote: > >> The remedy could have been as simple as substituting the >> largest magnitude integer (with appropriate sign). > >And if _that_ would have caused the rocket to crash, you would >blame the software again and just suggest another fix, I suppose. I suggest that you read the Full Report: "... the computers within the SRIs could have continued to provide their best estimates of the required attitide information."