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

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

Relevant Pages

  • Re: [patch] scsi: revert "[SCSI] Get rid of scsi_cmnd->done"
    ... Noone knows how many thousand bug reports have never reached lkml ... filing or get back to terminate the report. ... But I would like kernel people to become less egocentric ... Send _one_ email to lkml and you'll get forever spam to this address. ...
    (Linux-Kernel)
  • Re: 2.6.25-rc8: FTP transfer errors
    ... Yes, Mark, we used to do things that way for every bug in the kernel. ... We should be very careful about git-bisect. ... the developers, because when they think they might have fixed it, ... But I know that a report is a report, and even if I have a ...
    (Linux-Kernel)
  • Re: [patch] scsi: revert "[SCSI] Get rid of scsi_cmnd->done"
    ... Noone knows how many thousand bug reports have never reached lkml ... filing or get back to terminate the report. ... But I would like kernel people to become less egocentric ... Send _one_ email to lkml and you'll get forever spam to this address. ...
    (Linux-Kernel)
  • Re: Linux 2.6.21
    ... The kernel Bugzilla currently contains 1600 open bugs. ... Adrian, why do you keep harping on this, and ignoring reality? ... I suspect some bug reports get ignored deliberately. ... engage some developers on a bug report. ...
    (Linux-Kernel)
  • Bugfix(59/8=APNIC), math jobs (was: JDEE/CGI/flashcards ...)
    ... bug report so I could fix the problem quickly. ... > Note that I said it "looks" incomplete and buggy, ... > high math skills. ...
    (comp.lang.lisp)