From: roderick.chapman@googlemail.com
Subject: Re: Missing Index Value in Array Aggregate
Date: Wed, 03 Oct 2007 17:01:45 -0000
Date: 2007-10-03T17:01:45+00:00 [thread overview]
Message-ID: <1191430905.614175.11750@57g2000hsv.googlegroups.com> (raw)
In-Reply-To: <1191011215.892759.221190@19g2000hsx.googlegroups.com>
On Sep 28, 9:26 pm, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> -fstack-check -gnata -gnatf -gnato -gnatv -gnatVa -gnatwa -gnatwd -
> gnatwe -gnatwh -gnatwl -gnatwt -gnatwH -gnaty3aAbcdefhiklM120nprtux
We regularly compile the SPARK tools with
-gnato -gnatwa -gnatwe -gnatVa -fstack-check
here for internal testing purposes. Unsurprisingly,
it works fine.
> Who can beat this? ;-)
The SPARK Toolset!
SPARK, just for starters, statically eliminates all
possibility of erroneous execution - I don't know of
any compiler that can do that... :-)
- Rod, SPARK Team
next prev parent reply other threads:[~2007-10-03 17:01 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-09-26 13:21 Missing Index Value in Array Aggregate Charles H. Sampson
2007-09-26 15:54 ` Adam Beneschan
2007-09-26 23:33 ` Randy Brukardt
2007-09-28 3:21 ` Charles H. Sampson
2007-09-28 10:05 ` Stephen Leake
2007-09-28 10:26 ` Ludovic Brenta
2007-09-28 16:21 ` Pascal Obry
2007-09-28 20:26 ` Maciej Sobczak
2007-10-03 17:01 ` roderick.chapman [this message]
2007-09-29 15:31 ` Charles H. Sampson
2007-09-30 11:02 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox