From: dewar@gnat.com (Robert Dewar)
Subject: Re: Curiousity: pragma No_Run_Time for Gnat
Date: 25 Sep 2001 12:40:22 -0700
Date: 2001-09-25T19:40:22+00:00 [thread overview]
Message-ID: <5ee5b646.0109251140.547306a5@posting.google.com> (raw)
In-Reply-To: slrn9r14aj.i8.lutz@taranis.iks-jena.de
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 am guessing that you are mixing this up with
pragma Restrictions (No_Implicit_Conditionals).
next prev parent reply other threads:[~2001-09-25 19:40 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 [this message]
2001-09-26 9:04 ` Lutz Donnerhacke
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