Message-ID:

The nicest thing about the Alto is that it doesn't run faster at night.

gnatstub

<641ca620$0$3207$426a74cc@news.free.fr>

https://www.rocksolidbbs.com/devel/article-flat.php?id=9420&group=comp.lang.ada#9420

Path: i2pn2.org!i2pn.org!news.nntp4.net!news.gegeweb.eu!gegeweb.org!usenet-fr.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed1-b.proxad.net!nnrp1-1.free.fr!not-for-mail
From: fantome.forums.tDeContes@free.fr.invalid (Thomas)
Newsgroups: comp.lang.ada
Mail-Copies-To: nobody
Subject: gnatstub
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 7bit
User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X)
Date: Thu, 23 Mar 2023 20:18:55 +0100
Lines: 25
Message-ID: <641ca620$0$3207$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 23 Mar 2023 20:18:56 CET
NNTP-Posting-Host: 91.175.52.121
X-Trace: 1679599136 news-1.free.fr 3207 91.175.52.121:8241
X-Complaints-To: abuse@proxad.net

by: Thomas - Thu, 23 Mar 2023 19:18 UTC

hi :-)

i have gnatstub 4.9.3 (Ubuntu 16), i can't get an earlier version yet.

does someone succeeded in use of this version of gnatstub ?

my problem :
i don't succeed to workaround this error :

+===========================ASIS BUG
DETECTED==============================+
| ASIS 2.0.R for GNAT 4.9.3 CONSTRAINT_ERROR a4g-gnat_int.adb:242 range
check failed|
| when processing A4G.Contt.SD.Read_and_Check_New (tree file
/home/a/rapid/test/src/peers/stub/mcc.adt)|

would anyone have a workaround please?
it would avoid me to make all by hand :-)

--
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

The nicest thing about the Alto is that it doesn't run faster at night.

devel / comp.lang.ada / gnatstub

devel / comp.lang.ada / gnatstub

Subject	Author
gnatstub	Thomas