From: Brian Drummond <brian@shapes.demon.co.uk>
Subject: Re: How many Ada compiler bugs are here?
Date: Sat, 14 Jan 2012 14:03:54 +0000 (UTC)
Date: 2012-01-14T14:03:54+00:00 [thread overview]
Message-ID: <jes20a$h0u$1@dont-email.me> (raw)
In-Reply-To: 491fa855-f420-4701-a51a-39ac5a0cb63c@p42g2000vbt.googlegroups.com
On Sat, 14 Jan 2012 02:20:19 -0800, Maciej Sobczak wrote:
> The biggest issue is that the compiler fails
> to initialize some object (even ignoring the statically provided field
> initializers) and yet considers it to be worthy finalization - and the
> Finalize operation has absolutely no line of defense against this. This
> is a *very* serious problem.
I would agree with that!
However the following may be of interest:
brian@linnet:~/projects/ada/bugs> gnat --version
GNAT 4.6.2 20111212 [gcc-4_6-branch revision 182222]
Copyright 1996-2010, Free Software Foundation, Inc.
...
brian@linnet:~/projects/ada/bugs> gnatmake test
...
gnatlink: warning: executable name "test" may conflict with shell command
brian@linnet:~/projects/ada/bugs> ./test
exception handled
brian@linnet:~/projects/ada/bugs>
Not a whisper from finalization.
However it still doesn't flag Adjust as illegal.
- Brian
next prev parent reply other threads:[~2012-01-14 14:03 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-12 23:20 How many Ada compiler bugs are here? Maciej Sobczak
2012-01-13 0:21 ` Randy Brukardt
2012-01-13 1:26 ` Adam Beneschan
2012-01-13 8:23 ` Dmitry A. Kazakov
2012-01-13 8:47 ` AdaMagica
2012-01-13 9:07 ` Dmitry A. Kazakov
2012-01-13 9:35 ` AdaMagica
2012-01-13 10:00 ` Dmitry A. Kazakov
2012-01-13 10:38 ` georg bauhaus
2012-01-13 11:39 ` Dmitry A. Kazakov
2012-01-13 12:43 ` Georg Bauhaus
2012-01-13 13:06 ` AdaMagica
2012-01-13 13:16 ` AdaMagica
2012-01-13 13:22 ` Georg Bauhaus
2012-01-13 13:29 ` Dmitry A. Kazakov
2012-01-13 10:52 ` AdaMagica
2012-01-13 11:35 ` Dmitry A. Kazakov
2012-01-13 12:58 ` AdaMagica
2012-01-13 13:43 ` Dmitry A. Kazakov
2012-01-13 15:06 ` Robert A Duff
2012-01-13 15:46 ` Dmitry A. Kazakov
2012-01-13 17:42 ` georg bauhaus
2012-01-13 18:52 ` Dmitry A. Kazakov
2012-01-14 0:26 ` Randy Brukardt
2012-01-14 9:49 ` Dmitry A. Kazakov
2012-01-19 1:35 ` Randy Brukardt
2012-01-19 10:33 ` Dmitry A. Kazakov
2012-01-14 2:41 ` Robert A Duff
2012-01-13 17:23 ` Adam Beneschan
2012-01-14 2:41 ` Robert A Duff
2012-01-13 17:15 ` Adam Beneschan
2012-01-13 20:06 ` Blady
2012-01-13 23:30 ` Adam Beneschan
2012-01-14 13:29 ` Brian Drummond
2012-01-19 1:47 ` Randy Brukardt
2012-01-19 4:24 ` Adam Beneschan
2012-01-20 0:04 ` Randy Brukardt
2012-01-14 10:20 ` Maciej Sobczak
2012-01-14 14:03 ` Brian Drummond [this message]
2012-01-16 16:35 ` Adam Beneschan
2012-01-20 10:43 ` Brian Drummond
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox