Re: Ada in Debian: transition to GCC 4.3 for Lenny

[Tero Koskinen <tero.koskinen@iki.fi>]

On Tue, 5 Feb 2008 02:03:49 -0800 (PST) Ludovic Brenta wrote:
> As a consequence, I feel that
> gnat-4.3 will be more stable and correct than gnat-4.2 (which is
> already pretty good).

I have been playing with gnat-4.3 on OpenBSD lately. Early January
snapshots had some strange regression and "make bootstrap" took
over 30 hours when it normally takes only about 2-3 hours on my computer.
Fortunately, this was fixed in later snapshots and so far gnat-4.3
has behaved nicely for me. For example, gnat-4.3 seems to be about
10%-20% faster than gnat-gpl-2007.

> In addition, it seems suitable for building the
> latest versions of AWS and ASIS (but I'll report separately on that
> when the time comes).

I would like to know if you get ASIS working with gnat-4.3.

I tried to compile gnat-asis-2007 using my customized gnat-4.3, but
adabrowse and adacontrol started to give Program_Errors and
Constrain_Errors, so I had to revert back to gnat-gpl-2007+gnat-asis-2007
combination for ASIS. Those errors might be because of my own
customizations, but I don't have a Linux computer around so I cannot
verify where the problem is.


-snip-
Example errors:
+===========================ASIS BUG DETECTED==============================+
| ASIS 2.0.R for GNAT GPL 2007 (20070402)) PROGRAM_ERROR Inconsistent versions of GNAT and ASIS|
| when processing Asis.Compilation_Units.Compilation_Unit_Body (AHVEN)     |
| Please submit a bug report by email to report@adacore.com.               |
| GAP members can alternatively use GNAT Tracker:                          |
| http://www.adacore.com/ section 'send a report'.                         |
| See gnatinfo.txt for full info on procedure for submitting bugs.         |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box and the ASIS debug info      |
| in the report.                                                           |
| Include the exact list of the parameters of the ASIS queries             |
| Asis.Implementation.Initialize and Asis.Ada_Environments.Associate       |
| from the ASIS application for which the bug is detected                  |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
| Use plain ASCII or MIME attachment.                                      |
| NOTE: ASIS bugs may be submitted to asis-report@adacore.com              |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases, 
so please double check that the problem can still 
be reproduced with the set of files listed.


ASIS internal implementation error detected for
Asis.Compilation_Units.Compilation_Unit_Body (AHVEN)
PROGRAM_ERROR  Inconsistent versions of GNAT and ASIS
*** Error code 10
-snip-
After removing explicit "raise Program_Error"s from asis sources:

+===========================ASIS BUG DETECTED==============================+
| ASIS 2.0.R for GNAT GPL 2007 (20070402)) CONSTRAINT_ERROR table.adb:199 range check failed|
| when processing A4G.Contt.SD.Read_and_Check_New (tree file /home/tkoskine/work/ahven/ahven-doubly_linked_list.adt)|
| Please submit a bug report by email to report@adacore.com.               |
| GAP members can alternatively use GNAT Tracker:                          |
| http://www.adacore.com/ section 'send a report'.                         |
| See gnatinfo.txt for full info on procedure for submitting bugs.         |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box and the ASIS debug info      |
| in the report.                                                           |
| Include the exact list of the parameters of the ASIS queries             |
| Asis.Implementation.Initialize and Asis.Ada_Environments.Associate       |
| from the ASIS application for which the bug is detected                  |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
| Use plain ASCII or MIME attachment.                                      |
| NOTE: ASIS bugs may be submitted to asis-report@adacore.com              |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases, 
so please double check that the problem can still 
be reproduced with the set of files listed.
-snip-

-- 
Tero Koskinen - http://iki.fi/tero.koskinen/