comp.lang.ada
 help / color / mirror / Atom feed
From: Ludovic Brenta <ludovic.brenta@insalien.org>
Subject: Re: ASIS and gnatelim : Will I make it work ?
Date: Fri, 27 May 2005 17:05:39 +0200
Date: 2005-05-27T17:06:38+02:00	[thread overview]
Message-ID: <87mzqg7lq4.fsf@insalien.org> (raw)
In-Reply-To: 429735fc$0$6504$636a15ce@news.free.fr

Jérôme Haguet writes:
> - With gnat 3.15p on Debian, I get :
>
>    gnatgcc -c -I./ -gnatc -gnatt -I- /home/homes/jerome/CVS-CO/HEAD/my_package_001.adb
>    gnatgcc -c -I./ -gnatc -gnatt -I- /home/homes/jerome/CVS-CO/HEAD/my_package_002.adb
>    ...
>    gnatgcc -c -I./ -gnatc -gnatt -I- /home/homes/jerome/CVS-CO/HEAD/my_package_098.adb
>    +===========================GNAT BUG DETECTED==============================+
>    | 3.15p  (20020523) (i486-pc-linux-gnu) Storage_Error stack overflow (or erroneous memory access)|
>    | Error detected at /home/homes/jerome/CVS-CO/HEAD/my_package_023.adb:137:7
>    [/home/homes/jerome/CVS-CO/HEAD/my_package_025.adb:130:7
>    [/home/homes/jerome/CVS-CO/HEAD/my_package_098:20:4]]|
>    | Please submit bug report by email to ...
>    ...

Is this one of the known bugs? If not, please report it in the Debian
bug tracking system.

> - OK. Let's move to a more recent release.
> As far as I understood, as gcc-4.0.0 includes some Ada0Y improvments, better
> to stay with a Ada95 compiler, let's try with Debian gcc-3.4.4 ...

With both versions (3.4 and 4.0), the Ada 200y features are only
enabled if you pass -gnatX on the command line.  But... ASIS is not
available with either of them, at least from AdaCore.

> This time, things are going further ...
>
>    gcc-3.4 -c -I./ -gnatc -gnatt -I- /home/homes/CVS-CO/HEAD/my_package_001.adb
>    gcc-3.4 -c -I./ -gnatc -gnatt -I- /home/homes/CVS-CO/HEAD/my_package_002.adb
>    ...
>    gcc-3.4 -c -I./ -gnatc -gnatt -I- /home/homes/CVS-CO/HEAD/my_package_199.adb
>
> Now, which gnatelim ?
> Should I build it from source ? Should I use a binary ? Which one ?
> I try both. Without any success.
> With asis-4_0_0-20050203.src, I build it following the instructions and ...
>
>    gnatelim                     license_manager_code_generator
>
>    Unexpected bug in --  GNATELIM (built with ASIS 2.0.R for GNAT 3.4.3)
>    ADA.IO_EXCEPTIONS.END_ERROR was raised: a-textio.adb:631
>    Please report to ...
>
> Any advice ?

My advice is to try to work around the bug in GNAT 3.15p, and use ASIS
3.15p.  Usually, this is not too difficult; a small change in
my_package_023.adb should suffice.

Or, if you feel adventurous, you can try to fix the bug in ASIS for GNAT 4.0.

> Thank you in advance.

-- 
Ludovic Brenta.



      reply	other threads:[~2005-05-27 15:05 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-05-27 15:00 ASIS and gnatelim : Will I make it work ? J�r�me Haguet
2005-05-27 15:05 ` Ludovic Brenta [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