From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Elaboration order
Date: 1996/03/20
Date: 1996-03-20T00:00:00+00:00 [thread overview]
Message-ID: <DoKnH5.L76@world.std.com> (raw)
In-Reply-To: 4ip58c$gqo@cliffy.lfwc.lockheed.com
In article <4ip58c$gqo@cliffy.lfwc.lockheed.com>,
Cordes MJ <l117593@cliffy.lfwc.lockheed.com> wrote:
>Thanks for the input, but that doesn't help me quantify the risk. Scanning
>the machine code for a complex application (assume over 200 packages), looking
>for a class of error which neither of us has seen, does not give me any
>confidence that we would catch the error if it did show up. Some sort
>of automated verification is a possibility, but I need a better understanding
>of the risk before I propose a new tool. And getting a grasp on the risk
>was the intent of my original post.
>
>Is there anybody out there who is doing analysis on elaboration order?
Sorry if I'm being unhelpful, but:
Why are you so interested in elaboration order bugs, when there are
thousands of other bugs an Ada compiler *might* have? I see no reason
why this one is more likely, or more harmful, than any other bug.
(Assuming we're talking about the sort of compiler bug that involves
incorrect behavior at run time.)
People who write safety critical programs really do analyze the machine
code, and that's extremely expensive. Presumably, if the compiler used
a wrong elaboration order, then this analysis would catch it just like
any other bug (compiler bug *or* programmer bug) -- it would notice, for
example, a machine instruction loading from a location that has not yet
been set to any value.
- Bob
next prev parent reply other threads:[~1996-03-20 0:00 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <314701A1.469D@lfwc.lockheed.com>
1996-03-15 0:00 ` Elaboration order Robert I. Eachus
1996-03-15 0:00 ` Robert Dewar
[not found] ` <1996Mar14.021345.9856@enterprise.rdd.lmsc.lockheed.com>
[not found] ` <314829CD.4FA9@lfwc.lockheed.com>
1996-03-15 0:00 ` Tucker Taft
1996-03-15 0:00 ` Ken Garlington
1996-03-16 0:00 ` Joe Wierzbowski
1996-03-26 0:00 ` AdaWorks
1996-03-26 0:00 ` Robert A Duff
1996-03-26 0:00 ` Robert Dewar
1996-03-26 0:00 ` IO in Pure packages, debugging Laurent Guerby
1996-03-26 0:00 ` Elaboration order Robert A Duff
1996-03-26 0:00 ` Robert Dewar
1996-03-16 0:00 ` Ted Dennison
1996-03-26 0:00 ` Laurent Guerby
1996-03-26 0:00 ` Robert A Duff
1996-03-18 0:00 ` Ken Garlington
1996-03-18 0:00 ` Ted Dennison
1996-03-19 0:00 ` Michel Gauthier
[not found] ` <Do8JDv.A2v@world.std.com>
[not found] ` <31494143.3825@lfwc.lockheed.com>
1996-03-15 0:00 ` Robert A Duff
1996-03-18 0:00 ` Norman H. Cohen
[not found] ` <EACHUS.96Mar18143219@spectre.mitre.org>
1996-03-18 0:00 ` Robert Dewar
1996-03-19 0:00 ` Ted Dennison
1996-03-18 0:00 ` Robert Dewar
1996-03-20 0:00 ` David Emery
1996-03-15 0:00 ` Mark A Biggar
1996-03-18 0:00 ` Ken Garlington
1996-03-19 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Cordes MJ
1996-03-19 0:00 ` Robert Dewar
1996-03-21 0:00 ` Ken Garlington
1996-03-21 0:00 ` Cordes MJ
1996-03-20 0:00 ` Robert A Duff
1996-03-20 0:00 ` Cordes MJ
1996-03-20 0:00 ` Robert A Duff [this message]
1996-03-22 0:00 ` Cordes MJ
1996-03-20 0:00 ` Robert Dewar
1996-03-21 0:00 ` Ken Garlington
1996-03-23 0:00 ` JP Thornley
1996-03-25 0:00 ` Robert Dewar
1996-03-26 0:00 ` JP Thornley
1996-03-19 0:00 ` Chris McKnight
1996-03-21 0:00 ` Ken Garlington
1996-03-20 0:00 ` Robert I. Eachus
1996-03-22 0:00 ` Robert I. Eachus
1996-03-22 0:00 ` Robert I. Eachus
1996-03-20 0:00 ` DenReimer
1996-03-20 0:00 ` Robert A Duff
1996-03-20 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Robert Dewar
1996-03-20 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Tucker Taft
1999-11-15 0:00 Elaboration Order Wolf-Dieter Heker
1999-11-15 0:00 ` Jean-Pierre Rosen
1999-11-15 0:00 ` Robert Dewar
1999-11-16 0:00 ` Jean-Pierre Rosen
1999-11-20 0:00 ` Simon Wright
1999-11-15 0:00 ` Robert Dewar
1999-11-16 0:00 ` Wolf-Dieter Heker
1999-11-16 0:00 ` David C. Hoos, Sr.
1999-11-16 0:00 ` Robert Dewar
1999-11-16 0:00 ` Robert Dewar
1999-11-20 0:00 ` Simon Wright
1999-11-22 0:00 ` Robert Dewar
1999-11-23 0:00 ` Mats Weber
-- strict thread matches above, loose matches on Subject: below --
1996-03-18 0:00 Elaboration order Jean-Pierre Rosen
1996-03-21 0:00 ` Ken Garlington
[not found] <DoDMLL.1F9@world.std.com>
1996-03-18 0:00 ` Chris McKnight
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox