From: Gautier <gautier@fakeaddress.nil>
Subject: Re: Bug in Ada (SuSe 10.2) ?
Date: Fri, 22 Feb 2008 06:40:02 +0100
Date: 2008-02-22T06:40:02+01:00 [thread overview]
Message-ID: <47be6006_6@news.bluewin.ch> (raw)
In-Reply-To: <dbe54d78-5bd2-4ad0-ab93-f00b099ae5a3@64g2000hsw.googlegroups.com>
> Reinert Korsnes wrote:
>> I looked for a general "safe mode" under gnat. Did not find. Is there any ?
Ludovic Brenta wrote:
> gnatmake -gnatafo -gnatVa -fstack-check
I'd suggest adding also that option:
-gnatecdebug.pra
File debug.pra contains:
pragma Initialize_Scalars;
It initializes variables, when possible, with out-of-range or otherwise invalid
values -> makes the error detection even better.
______________________________________________________________
Gautier -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm
NB: For a direct answer, e-mail address on the Web site!
prev parent reply other threads:[~2008-02-22 5:40 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-02-19 8:47 Bug in Ada (SuSe 10.2) ? Reinert Korsnes
2008-02-19 9:08 ` Niklas Holsti
2008-02-19 9:53 ` Reinert Korsnes
2008-02-19 11:21 ` Ludovic Brenta
2008-02-20 12:41 ` Reinert Korsnes
2008-02-20 16:50 ` Adam Beneschan
2008-02-20 18:31 ` Jeffrey R. Carter
2008-02-20 23:10 ` Adam Beneschan
2008-02-20 23:22 ` Adam Beneschan
2008-02-21 0:31 ` Randy Brukardt
2008-02-21 8:56 ` Jean-Pierre Rosen
2008-02-21 9:08 ` Alex R. Mosteo
2008-02-21 9:27 ` Ludovic Brenta
2008-02-21 9:46 ` billjones6789
2008-02-21 12:27 ` Access type (mis)use (Was: Bug in Ada (SuSe 10.2) ?) Jacob Sparre Andersen
2008-02-21 19:40 ` Bob Klungle
2008-02-21 21:25 ` Jeffrey R. Carter
2008-02-21 21:57 ` Vadim Godunko
2008-02-21 22:32 ` Bug in Ada (SuSe 10.2) ? Randy Brukardt
2008-02-22 16:10 ` billjones6789
2008-02-22 19:21 ` Georg Bauhaus
2008-02-22 21:29 ` Vadim Godunko
2008-02-22 21:39 ` Robert A Duff
2008-02-23 10:16 ` billjones6789
2008-02-22 19:52 ` Randy Brukardt
2008-02-23 10:36 ` billjones6789
2008-02-26 0:32 ` Randy Brukardt
2008-02-26 16:46 ` billjones6789
2008-02-26 20:53 ` Randy Brukardt
2008-02-27 1:05 ` Robert A Duff
2008-02-27 10:06 ` billjones6789
2008-02-27 17:49 ` Robert A Duff
2008-02-28 0:30 ` Randy Brukardt
2008-02-28 15:33 ` Robert A Duff
2008-03-06 17:46 ` Adam Beneschan
2008-02-21 0:31 ` Jeffrey R. Carter
2008-02-21 0:35 ` Jeffrey R. Carter
2008-03-06 11:55 ` Colin Paul Gloster
2008-02-21 0:55 ` tmoran
2008-02-21 8:08 ` billjones6789
2008-02-21 9:11 ` Alex R. Mosteo
2008-02-21 23:01 ` Randy Brukardt
2008-02-22 16:43 ` Adam Beneschan
2008-02-22 9:06 ` Stephen Leake
2008-02-22 5:40 ` Gautier [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox