GNAT Extensions with ASIS?

Hi,

we are trying to use ASIS for GNAT (the version on SourceForge for GNAT
3.4.4) with .adt files that have been generated from sources using GNAT
Extensions (-gnatX). However, ASIS raises an exception when it
encounters the "with type" extension.

Here's a minimal example that shows the problem:

bellonsn@pslx1$ cat the_type.ads
package The_Type is
type X is access Integer;
end The_Type;

bellonsn@pslx1$ cat the_unit.ads
with type The_Type.X is access;
package The_Unit is
end The_Unit;

bellonsn@pslx1$ cat the_wither.adb
with The_Unit;
procedure The_Wither is
begin
null;
end The_Wither;

bellonsn@pslx1$ gnatmake -gnatX -gnatc -gnatt the_wither.adb
gcc-3.4 -c -gnatX -gnatc -gnatt the_wither.adb
gcc-3.4 -c -gnatX -gnatc -gnatt the_unit.ads

This produces an .adt file the_wither.adt. When we run this through our
ASIS tool, we get the following:

bellonsn@pslx1$ adt_dump the_wither.adt
oops...
Catched an ASIS exception.
Exception name: ASIS.EXCEPTIONS.ASIS_FAILED
Message: a4g-vcheck.adb:140
Call stack traceback locations:
0x80f2a02 0x8185088 0x81a390e 0x81a39ca 0x81a5842 0x81a380c 0x80e370a
0x80ef1b0 0x400e1728 0x818ecf3 0x80a1d40 0x40e72972

ASIS Status:
INTERNAL_ERROR
ASIS Diagnosis:
Internal implementation error: A4G.CU_Info2.Set_Dependencies

The symbolic stack traceback looks like this:

bellonsn@pslx1$ addr2line -e `which adt_dump` 0x80f2a02 0x8185088
0x81a390e 0x81a39ca 0x81a5842 0x81a380c 0x80e370a 0x80ef1b0 0x400e1728
0x818ecf3 0x80a1d40 0x40e72972
/asis-3_4_4-20041123.i686/include/asis/a4g-vcheck.adb:140
/asis-3_4_4-20041123.i686/include/asis/a4g-cu_info2.adb:461
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:181
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:209
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:622
/asis-3_4_4-20041123.i686/include/asis/a4g-contt-sd.adb:153
/asis-3_4_4-20041123.i686/include/asis/a4g-contt.adb:1234
/asis-3_4_4-20041123.i686/include/asis/asis-ada_environments.adb:361
??:0
/home/bellonsn/bauhaus/Ada-Code/Tools/Cati/adt_dump/src/adt_dump.adb:397
/home/bellonsn/bauhaus/Ada-Code/obj/b~adt_dump.adb:486
??:0

Our tools works with .adt files that have been generated from sources
that do not use GNAT Extensions.

Is there any way to get ASIS for GNAT working for source files
containing GNAT Extensions as well?

Thanks for all hints in advance!

--
Stefan Bellon
Bauhaus Software Technologies | TTI GmbH TGZ Softwareanalysen c/o ISTE
Tel.: +49 711 78 16 221 | Universitätsstraße 38
Fax.: +49 711 78 16 380 | 70569 Stuttgart
.

Relevant Pages

  • Re: GNAT Extensions with ASIS?
    ... > we are trying to use ASIS for GNAT (the version on SourceForge for GNAT ... > 3.4.4) with .adt files that have been generated from sources using GNAT ...
    (comp.lang.ada)
  • Re: [Announcement] New Project: ASIS for GNAT
    ... but the ASIS and GNAT parts are seperated inside two directrorys: ... > source package will suffer from the same trouble gcc 3.3 did: ... enough - ACT is a comertial company after all. ...
    (comp.lang.ada)
  • Re: GNAT Extensions with ASIS?
    ... > Martin Krischik wrote: ... >> Stefan Bellon wrote: ... >>> containing GNAT Extensions as well? ... >> No - currently only paying customers have access to the newest ASIS. ...
    (comp.lang.ada)
  • Re: [Announcement] New Project: ASIS for GNAT
    ... >> Note that having a reliable ASIS working with a particular GNAT version ... >> between the GNAT and ASIS data structures. ... I do updates on both on a regular basis. ...
    (comp.lang.ada)
  • Re: Using ASIS when source is in multiple directories
    ... > I'm working on software to analyze Ada programs using ASIS. ... Are the .adt files in multiple directories? ...
    (comp.lang.ada)