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=unavailable autolearn_force=no version=3.4.4
Path: 
 buffer2.nntp.dca1.giganews.com!local2.nntp.dca.giganews.com!nntp.posted.internetamerica!news.posted.internetamerica.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 02 May 2015 18:34:58 -0500
From: Robert Love <rblove@airmail.net>
Newsgroups: comp.lang.ada
Date: Sat, 2 May 2015 18:34:58 -0500
Message-ID: <201505021834588468-rblove@airmailnet>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Boeing 787 integer overflow
User-Agent: Unison/2.1.10
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 98.194.39.33
X-Trace: 
 sv3-0BBuAuXGuZJZMm7l3cjH5pOQvH/6BOQOrTbFGlHlATd96kCgqybYNOH2BgBinMhowLHki43evCX0Y5Z!AaOOqVdLQrKt6sllodnooT/tkrzgBkCPoYRkyca6wqqte3GuIensWC4NBrTPaFknKQ4hsnPp6ktb
X-Complaints-To: abuse@airmail.net
X-DMCA-Complaints-To: abuse@airmail.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
Xref: number.nntp.giganews.com comp.lang.ada:193006
Date: 2015-05-02T18:34:58-05:00
List-Id: <comp.lang.ada>

Ars Tecnica has this article:

http://arstechnica.com/information-technology/2015/05/01/boeing-787-dreamliners-contain-a-potentially-catastrophic-software-bug/ 


Can anyone comment on what language Boeing used for this?

If Ada, would a modular integer be more appropriate?  Is there an 
exception handler for this integer?