Ada in Debian: transition to GCC 4.3 for Lenny

Ada in Debian: transition to GCC 4.3 for Lenny

[Ludovic Brenta]

My last status report was back in June 2007 so I think I should keep
everyone posted.

gnat-4.2 has been in unstable since 2007-07-09. With help from Xavier
Grave of Toy Lovelace fame, we now provide both the zero-cost and
setjump/longjump exception handling mechanisms (i.e. two different
versions of libgnat). ZCX is still the default and comes in both
shared and static flavours. SJLJ is static only and is necessary for
proper operation of the Distributed Systems annex. In addition to
that, we are trying to add mips and mipsel to the list of supported
architectures.

Xavier took over maintenance of the gnat-glade package and has had
gnat-glade 2006 working with GCC 4.2 (SJLJ) experimentally since
around November.  However we decided not to upload it to unstable
because...

... we decided to skip the tranition to gnat-4.2 altogether, and go
straight for gnat-4.3.  As I reported earlier, upstream (and in
particular Samuel Tardieu who deserves special thanks) has been very
good at fixing bugs old and new. As a consequence, I feel that
gnat-4.3 will be more stable and correct than gnat-4.2 (which is
already pretty good). 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).

Xavier and I ported all our patches from gnat-4.2 to gnat-4.3. I
uploaded a prerelease of gnat-4.3 last week; it is now waiting for
approval in the queue of new packages. Xavier is already working on
porting gnat-glade to this prerelease.

The next steps are to stabilise gnat-4.3 to the point where we can
make it the default Ada compiler and then start upgrading the other
packages, starting, as usual, with asis and gnat-glade.

That's a lot of work and, as always, help is more than welcome.

--
Ludovic Brenta.

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

[Tero Koskinen]

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/

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

[Ludovic Brenta]

Tero Koskinen wrote:
> 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.

I know. This is http://gcc.gnu.org/PR34400 and I refrained from
uploading to Debian until it was fixed :)

> > 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.

Sure, I'll let you know. The code base of gnat-4.3 seems close to GNAT
GPL 2007 so I'll try ASIS 2007 first. Failing that, I'll fall back on
ASIS 2006.

> 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|

The root cause for this problem is that ASIS contains duplicate copies
of parts of GNAT - but, you giessed it, with different versions. ASIS
explicitly checks the value of GNATVSN.GNAT_Version_String and raises
this Program_Error if it finds a mismatch.

In Debian, this problem cannot arise because I have removed the root
cause for it. I build a library called libgnatvsn directly from the
GCC sources; then I remove the duplicate and inconsistent sources from
ASIS and build ASIS using libgnatvsn instead, and, of course, linking
dynamically.

The same applies to GPS which contains even more of GNAT's internal.
Specifically, in addition to the files in libgnatvsn, it contains an
out-of-date copy of the project manager. For this I build libgnatprj
from the GCC sources, remove the duplicates from GPS, and link
dynamically against both libgnatvsn and libgnatprj. Past versions of
GPS even contained an out-of-date copy of GtkAda which I also removed.

> +===========================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)|

That one is different but may still be related to a version clash. If
I see it, I'll fix it.

--
Ludovic Brenta.

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

[Dirk Heinrichs]

Ludovic Brenta wrote:

> That's a lot of work and, as always, help is more than welcome.

Although I'm not a debian user, I appreciate your good work. I usually
create my own toolchains from gcc sources and recently tried GCC 4.3 from
SVN as of 28.01.2008. I ran into a nasty GNAT bug error message while
compiling qtada (the 4.x bindings). Can post the details when I'm back home
this evening.

Bye...

        Dirk
-- 
Dirk Heinrichs          | Tel:  +49 (0)162 234 3408
Configuration Manager   | Fax:  +49 (0)211 47068 111
Capgemini Deutschland   | Mail: dirk.heinrichs@capgemini.com
Wanheimerstraße 68      | Web:  http://www.capgemini.com
D-40468 Düsseldorf      | ICQ#: 110037733
GPG Public Key C2E467BB | Keyserver: www.keyserver.net

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

[Dirk Heinrichs]

Dirk Heinrichs wrote:

> Ludovic Brenta wrote:
> 
>> That's a lot of work and, as always, help is more than welcome.
> 
> Although I'm not a debian user, I appreciate your good work. I usually
> create my own toolchains from gcc sources and recently tried GCC 4.3 from
> SVN as of 28.01.2008. I ran into a nasty GNAT bug error message while
> compiling qtada (the 4.x bindings). Can post the details when I'm back
> home this evening.

Here is what I get:

make[3]: Entering directory
`/gentoo/build/qtada-gpl-1.0.2-rc2/examples/main_windows/dock_widgets'
../../../adacompiler -c -g -O2 -gnat05 -gnatW8 -I. -I.  -gnatwG -I../../../source/gui -I../../../source/gui -I../../../source/core -I../../../source/core
main_windows-constructors.adb -o main_windows-constructors.o
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20080127 (experimental) (i686-pc-linux-gnu) Assert_Failure
exp_disp.adb:1114|
| Error detected at main_windows-constructors.adb:57:57                    |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Bye...

        Dirk

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

[Vadim Godunko]

On 7 фев, 21:39, Dirk Heinrichs <dirk.heinri...@online.de> wrote:
> Dirk Heinrichs wrote:
> > Ludovic Brenta wrote:
>
> >> That's a lot of work and, as always, help is more than welcome.
>
> > Although I'm not a debian user, I appreciate your good work. I usually
> > create my own toolchains from gcc sources and recently tried GCC 4.3 from
> > SVN as of 28.01.2008. I ran into a nasty GNAT bug error message while
> > compiling qtada (the 4.x bindings). Can post the details when I'm back
> > home this evening.
>
> Here is what I get:
>
> make[3]: Entering directory
> `/gentoo/build/qtada-gpl-1.0.2-rc2/examples/main_windows/dock_widgets'
> ../../../adacompiler -c -g -O2 -gnat05 -gnatW8 -I. -I.  -gnatwG -I../../../source/gui -I../../../source/gui -I../../../source/core -I../../../source/core
> main_windows-constructors.adb -o main_windows-constructors.o
> +===========================GNAT BUG DETECTED==============================+
> | 4.3.0 20080127 (experimental) (i686-pc-linux-gnu) Assert_Failure
> exp_disp.adb:1114|
> | Error detected at main_windows-constructors.adb:57:57                    |
> | Please submit a bug report; seehttp://gcc.gnu.org/bugs.html.            |
> | Use a subject line meaningful to you and us to track the bug.            |
> | Include the entire contents of this bug box in the report.               |
> | Include the exact gcc or gnatmake command that you entered.              |
> | Also include sources listed below in gnatchop format                     |
> | (concatenated together with no headers between files).                   |
> +==========================================================================+
>
> Bye...
>
>         Dirk
This is known bug in the GCC 4.3.0, see

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34290

If you want to use QtAda with GCC GNAT 4.3.0 you may download latest
snapshot of the 1.1.0 series from sf.net:

http://downloads.sourceforge.net/qtada/qtada-gpl-1.1.0-20080207-2506.tar.gz

and ASIS for GNAT:

http://downloads.sourceforge.net/qtada/asis-gcc-4.3.0-132166.tar.gz

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

[Dirk Heinrichs]

Vadim Godunko wrote:

> This is known bug in the GCC 4.3.0, see
> 
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34290
> 
> If you want to use QtAda with GCC GNAT 4.3.0 you may download latest
> snapshot of the 1.1.0 series from sf.net:
> 
>
http://downloads.sourceforge.net/qtada/qtada-gpl-1.1.0-20080207-2506.tar.gz
> 
> and ASIS for GNAT:
> 
> http://downloads.sourceforge.net/qtada/asis-gcc-4.3.0-132166.tar.gz

Thanks a lot, will try it tomorrow.

Bye...

        Dirk