--- Begin Message ---
Package: gnat-4.4
Version: 4.4.3-1
Severity: normal
When OpenToken tests are linked with the AUnit dynamic library, the
tests fail in odd ways. However, when the OpenToken tests bypass the
AUnit dynamic library, and just include the AUnit sources in the
project, the OpenToken tests work properly.
Packages installed in an unstable chroot:
libaunit-dbg (2009-1)
libaunit4-dev (2009-1)
libaunit4 (2009-1)
gnat-4.4 (4.4.3-1)
This version of AUnit is not in the unstable distribution yet; get
aunit-gpl-2009-src.tar.gz from http://libre.adacore.com/libre/, debian
files from the www.ada-france.org mtn repository, branch org.debian.libaunit,
version 56a45e506ad847f93bc1231ad082a22b40cc1d33
stephen_leake-2@stephe-leake.org 2010-01-25T00:07:01
Upstream OpenToken source from www.ada-france.org mtn repository,
branch org.opentoken, version 3ed79d3980cbd71e619d92cb2d340eab9288bc22
stephen_leake-2@stephe-leake.org 2010-02-10T16:46:41
OpenToken is checked out as /home/Projects/opentoken/opentoken.main
To build with the AUnit sources:
stephe@Shevek$ cd /home/Projects/opentoken/opentoken.main/Build/linux_release
stephe@Shevek$ schroot -- gnatmake -P opentoken_test.gpr test_all_harness
stephe@Shevek$ schroot -- ./test_all_harness.exe
I: [sid chroot] Running command: “./test_all_harness.exe”
--------------------
Total Tests Run: 19
Successful Tests: 19
OpenToken.Recognizer.CSV_Field.Test : Nominal
Lookahead_Test : Lookahead
Lookahead_Test : Lookahead_Push_Back
Lookahead_Test : Lookahead_Lexemes
Lookahead_Test : Mismatched_Tokens
Test_Accept_Index : Nominal
Test_Backtrack : Enumerated_Lookahead
Test_Backtrack : Sequence_Lookahead
Test_Backtrack : Selection_Backtrack
Test_Backtrack : Sequence_Backtrack
Test_LR0_Kernels : Nominal
Test_LR_Expecting : Nominal
Test_List_Actions : List_Action
Test_List_Stack : List_Stack
test_multi_parse_lalr.adb : Nominal
Test_Selection_Actions : Selection_Action
Test_Sequence_Actions : Sequence_Action
Test_Statement_Actions : Nominal
Test_Token_Identifier_Real_String : Nominal
Failed Assertions: 0
Unexpected Errors: 0
To build with the AUnit dynamic library, use the attached project
file:
stephe@Shevek$ schroot -- gnatclean -P opentoken_test.gpr
stephe@Shevek$ schroot -- gnatmake -P opentoken_test_bug.gpr test_all_harness
stephe@Shevek$ schroot -- ./test_all_harness.exe
I: [sid chroot] Running command: “./test_all_harness.exe”
--------------------
Total Tests Run: 19
Successful Tests: 19
OpenToken.Recognizer.CSV_Field.Test : Nominal
Lookahead_Test : Lookahead
Lookahead_Test : Lookahead_Push_Back
Lookahead_Test : Lookahead_Lexemes
Lookahead_Test : Mismatched_Tokens
Test_Accept_Index : Nominal
Test_Backtrack : Enumerated_Lookahead
Test_Backtrack : Sequence_Lookahead
Test_Backtrack : Selection_Backtrack
Test_Backtrack : Sequence_Backtrack
Test_LR0_Kernels : Nominal
Test_LR_Expecting : Nominal
Test_List_Actions : List_Action
Test_List_Stack : List_Stack
test_multi_parse_lalr.adb : Nominal
Test_Selection_Actions : Selection_Action
Test_Sequence_Actions : Sequence_Action
Test_Statement_Actions : Nominal
Test_Token_Identifier_Real_String : Nominal
Failed Assertions: 0
Unexpected Errors: 0
Time:
Execution terminated by unhandled exception
Exception name: CONSTRAINT_ERROR
Message: 64-bit arithmetic overflow
Call stack traceback locations:
0xb7dfde42 0xb7dfecae 0xb7ef63ef 0x81055cf 0x804e99d 0xb7aabb53
Changing the OpenToken test source code slightly in an effort to
isolate the problem produces other more mysterious errors.
Removing various compiler options from AUnit and OpenToken did not help.
Earlier versions of libaunit-dev (1.03-3) and OpenToken (3.1a-1) did
not have this problem. AUnit has changed significantly; it may be that
some construct in the latest AUnit is triggering a bug in gnat or ld.
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.26-2-686 (SMP w/2 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Versions of packages gnat-4.4 depends on:
ii gcc-4.4 4.4.3-2 The GNU C compiler
ii gnat-4.4-base 4.4.3-1 The GNU Compiler Collection (gnat
ii libc6 2.10.2-5 Embedded GNU C Library: Shared lib
ii libc6-dev 2.10.2-5 Embedded GNU C Library: Developmen
ii libgcc1 1:4.4.3-2 GCC support library
ii libgmp3c2 2:4.3.2+dfsg-1 Multiprecision arithmetic library
ii libgnat-4.4 4.4.3-1 Runtime library for GNU Ada applic
ii libgnatprj4.4 4.4.3-1 GNU Ada Project Manager
ii libgnatvsn4.4 4.4.3-1 GNU Ada compiler version library
ii libmpfr1ldbl 2.4.2-3 multiple precision floating-point
--
-- Stephe
--- End Message ---