ASIS and gnatelim : Will I make it work ?

ASIS and gnatelim : Will I make it work ?

[J�r�me Haguet]

Hello
I try to work with gnatelim, and I faced a few problems ...

- With gnat 3.15p on Windows, I get :

   gcc -c -I./ -gnatc -gnatt -I- c:/CVS-CO/HEAD/my_package_001.adb
   gcc -c -I./ -gnatc -gnatt -I- c:/CVS-CO/HEAD/my_package_002.adb
   ...
   gcc -c -I./ -gnatc -gnatt -I- c:/CVS-CO/HEAD/my_package_125.adb
   gcc -c -I./ -gnatc -gnatt -I- c:/CVS-CO/HEAD/my_package_126.adb
   gnatmake: "c:/CVS-CO/HEAD/my_package_126.adb" compilation error

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

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

Thank you in advance.

Re: ASIS and gnatelim : Will I make it work ?

[Ludovic Brenta]

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.