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,4733833077838893 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news1.google.com!news2.google.com!proxad.net!newsfeed.icl.net!skynet.be!newsgate.cistron.nl!feeder.enertel.nl!nntpfeed-01.ops.asmr-01.energis-idc.net!feeder.xsnews.nl!130.161.131.117.MISMATCH!txtfeed2.tudelft.nl!tudelft.nl!txtfeed1.tudelft.nl!transit0.news.tiscali.nl!tiscali!transit1.news.tiscali.nl!dreader2.news.tiscali.nl!not-for-mail Newsgroups: comp.lang.ada Subject: Re: ASIS and gnatelim : Will I make it work ? References: <429735fc$0$6504$636a15ce@news.free.fr> From: Ludovic Brenta Date: Fri, 27 May 2005 17:05:39 +0200 Message-ID: <87mzqg7lq4.fsf@insalien.org> User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux) Cancel-Lock: sha1:R9SHWvd8U0kgjXyWoYMzK4BW4fs= MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Organization: Tiscali bv NNTP-Posting-Date: 27 May 2005 17:06:38 CEST NNTP-Posting-Host: 83.134.244.151 X-Trace: 1117206398 dreader2.news.tiscali.nl 1333 83.134.244.151:34324 X-Complaints-To: abuse@tiscali.nl Xref: g2news1.google.com comp.lang.ada:11182 Date: 2005-05-27T17:06:38+02:00 List-Id: 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.