From: lutz@iks-jena.de (Lutz Donnerhacke)
Subject: Re: Curiousity: pragma No_Run_Time for Gnat
Date: Wed, 26 Sep 2001 09:04:20 +0000 (UTC)
Date: 2001-09-26T09:04:20+00:00 [thread overview]
Message-ID: <slrn9r36gi.jv.lutz@taranis.iks-jena.de> (raw)
In-Reply-To: 5ee5b646.0109251140.547306a5@posting.google.com
* Robert Dewar wrote:
>lutz@iks-jena.de (Lutz Donnerhacke) wrote in message news:<slrn9r14aj.i8.lutz@taranis.iks-jena.de>...
>> No. That's not the purpose of No_Run_Time. It is used to prevent the
>> injection of unnecessary compiler generated code (especially code
>> containing decisions) in order to ease software verification (path
>> coverage tests).
>
>The above is completely incorrect, it has no such effect.
I only tried to follow a 1996 discussion at google about GNORT.
The statement above was constructed mostly from reading postings of Robert
Dewar.
>I am guessing that you are mixing this up with pragma Restrictions
>(No_Implicit_Conditionals).
It might be changed. But more probably I did not get it.
next prev parent reply other threads:[~2001-09-26 9:04 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-09-24 19:02 Curiousity: pragma No_Run_Time for Gnat Marin David Condic
2001-09-24 21:14 ` Sergey Koshcheyev
2001-09-24 21:54 ` Marin David Condic
2001-09-25 7:32 ` Sergey Koshcheyev
2001-09-25 14:00 ` Marin David Condic
2001-09-25 14:14 ` Lutz Donnerhacke
2001-09-25 19:40 ` Robert Dewar
2001-09-26 9:04 ` Lutz Donnerhacke [this message]
2001-09-25 15:20 ` Sergey Koshcheyev
2001-09-25 7:36 ` Jean-Marc Bourguet
2001-09-25 7:43 ` Peter Amey
2001-09-25 14:02 ` Marin David Condic
[not found] <Pine.LNX.4.33.0109251343310.2841-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 13:20 ` David C. Hoos
-- strict thread matches above, loose matches on Subject: below --
2001-09-25 14:09 M. A. Alves
2001-09-25 13:05 ` chris.danx
2001-09-25 13:07 ` Jacob Sparre Andersen
2001-09-25 13:37 ` Sergey Koshcheyev
[not found] <Pine.LNX.4.33.0109251630310.3066-100000@lagoa.niaad.liacc.up.pt>
2001-09-25 14:48 ` Samuel Tardieu
2001-09-25 16:49 M. A. Alves
2001-09-25 15:05 ` chris.danx
2001-09-25 15:38 ` Marin David Condic
2001-09-25 17:07 M. A. Alves
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox