From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2d1b5f8529b08dc1,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news4.google.com!news2.google.com!proxad.net!newsfeed.stueberl.de!feed.news.tiscali.de!news.belwue.de!news.informatik.uni-stuttgart.de!not-for-mail
From: Stefan Bellon <bellon@bauhaus-tec.com>
Newsgroups: comp.lang.ada
Subject: GNAT Extensions with ASIS?
Date: Fri, 20 May 2005 13:51:54 +0200
Organization: Bauhaus Software Technologies
Message-ID: <20050520135154.72336e9e@pslx1>
NNTP-Posting-Host: pslx1.informatik.uni-stuttgart.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: inf2.informatik.uni-stuttgart.de 1116589914 27482 129.69.217.101 (20
 May 2005 11:51:54 GMT)
X-Complaints-To: usenet@news.informatik.uni-stuttgart.de
NNTP-Posting-Date: 20 May 2005 11:51:54 GMT
X-Newsreader: Sylpheed-Claws 1.0.1 (GTK+ 1.2.10; i386-pc-linux-gnu)
Xref: g2news1.google.com comp.lang.ada:11099
Date: 2005-05-20T11:51:54+00:00
List-Id: <comp.lang.ada>

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;  =20

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=20
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!

--=20
Stefan Bellon
Bauhaus Software Technologies | TTI GmbH TGZ Softwareanalysen c/o ISTE
Tel.: +49 711 78 16 221       | Universit=E4tsstra=DFe 38
Fax.: +49 711 78 16 380       | 70569 Stuttgart