From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Bug in gnat-4.4, revisited
Date: Fri, 22 Oct 2010 21:41:41 +0200
Date: 2010-10-22T21:41:38+02:00 [thread overview]
Message-ID: <15dipljjnhf00$.t73hmmdzflqv.dlg@40tude.net> (raw)
In-Reply-To: 87vd4zs0bs.fsf@ludovic-brenta.org
On Mon, 18 Oct 2010 22:38:47 +0200, Ludovic Brenta wrote:
> That means your bug was really #589164, as I suspected. The backport
> for the fix is in -5.
OK, I have performed some further checks.
It seems that some traces of the bug are still present in 4.4.4-5. It is
more complicated now. test_handles works, but another test fails. When it
is compiled this way:
$ gcc -c sqlite-sources/sqlite3.c
$ gnatmake -O2 test_sqlite_persistence.adb -largs sqlite3.o -ldl
then
$ ./test_sqlite_persistence
Session 1
\_1
|\_2
| |\_*
| \_*
\_3
|\_4
| |\_5
| | |\_*
| | \_*
| \_*
\_6
|\_*
\_*
raised PROGRAM_ERROR : adjust/finalize raised PROGRAM_ERROR:
PERSISTENT.SQLITE.DATA_BASE_OBJECT is still in use
Interestingly, when compiled without -O2:
$ gnatmake test_sqlite_persistence.adb -largs sqlite3.o -ldl
the test does not fail.
It seems that the fix does not completely eliminate the bug when
optimization is on.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2010-10-22 19:41 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-17 21:32 GtkAda on Windows: Does anyone have a gtkada.gpr file? Michael R
2010-10-18 7:30 ` Rick
2010-10-18 7:50 ` Dmitry A. Kazakov
2010-10-18 12:43 ` Ludovic Brenta
2010-10-18 13:32 ` Georg Bauhaus
2010-10-18 15:32 ` Ludovic Brenta
2010-10-18 13:49 ` Dmitry A. Kazakov
2010-10-18 15:40 ` Ludovic Brenta
2010-10-18 16:43 ` Dmitry A. Kazakov
2010-10-18 17:04 ` Ludovic Brenta
2010-10-18 19:38 ` Simon Wright
2010-10-18 19:41 ` Bug in gnat-4.4 (was: GtkAda on Windows: Does anyone have a gtkada.gpr file?) Ludovic Brenta
2010-10-18 20:29 ` Bug in gnat-4.4 Dmitry A. Kazakov
2010-10-18 20:38 ` Ludovic Brenta
2010-10-19 6:36 ` Michael R
2010-10-19 7:24 ` Dmitry A. Kazakov
2010-10-22 19:41 ` Dmitry A. Kazakov [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