This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][4.3] Deprecate -ftrapv
- From: "Steven Bosscher" <stevenb dot gcc at gmail dot com>
- To: "Robert Dewar" <dewar at adacore dot com>
- Cc: "Frank Ch. Eigler" <fche at redhat dot com>, gcc <gcc at gcc dot gnu dot org>
- Date: Sun, 2 Mar 2008 18:58:24 +0100
- Subject: Re: [PATCH][4.3] Deprecate -ftrapv
> There has been at least one incident of a software bug in certified
> code, but it is very rare, and the record is impressive (no life
> has been lost because of a software bug in the history of commercial
> aviation).
I agree with all you've said so far, but this statement above is a bit
too optimistic, unfortunately :-(
Air France flight 296 in 1988 is one example. It killed 3 people. The
cause was a systems bug that kept engines in idle in a low altitude
fly-by at a French air show. The systems assumed the pilot was trying
to land...
Malaysia Airlines Flight 124 is an example of a near-miss. And the
recent crash of British Airways Flight 38 also probably was due to a
software bug (investigation ongoing, of course).
In military aviation, there are plenty examples of software bugs that
killed people (V-22, Gripen, the F-22 equator bug, etc...). I would
guess all of these were flying with certified software.
Gr.
Steven