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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,546c9d71cfb0c1ee
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-03-19 09:11:06 PST
Path: 
 archiver1.google.com!news1.google.com!news.glorb.com!ecngs!feeder.ecngs.de!newsfeed.stueberl.de!eusc.inter.net!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: [Announcement] New Project: ASIS for GNAT
Date: Fri, 19 Mar 2004 17:11:05 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <c3f9j9$2c8$2@a1-hrz.uni-duisburg.de>
References: <1252369.os30E2mMWi@linux1.krischik.com>
   <4441304.6rRzW27CSL@linux1.krischik.com> <877jxns0e2.fsf@insalien.org>
 <1413383.96bL1pG4j9@linux1.krischik.com> <871xnvrqvl.fsf@insalien.org>
 <1420314.lQdMtk62IO@linux1.krischik.com>
 <Pine.LNX.4.44.0403161456120.14559-100000@aix.act-europe.fr>
 <87ekrsdg0r.fsf@insalien.org> <1728933.b9v3IVdcgI@linux1.krischik.com>
 <46b8b50a.0403180008.2e0f0ce1@posting.google.com>
 <c3bvd3$kcj$2@a1-hrz.uni-duisburg.de>
 <46b8b50a.0403190128.7779d8ee@posting.google.com>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1079716265 2440 134.91.1.34 (19 Mar 2004
 17:11:05 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Fri, 19 Mar 2004 17:11:05 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:6449
Date: 2004-03-19T17:11:05+00:00
List-Id: <comp.lang.ada>

Rolf Ebert <rolf.ebert_nospam_@gmx.net> wrote:
: 
: I build gcc from CVS sources, therefor the tested gcc always had
: checking enabled.  I don't see how that has any influence on the ACATS
: results, though, as it does not change the generated code.

I haven't got this far :-) No successful build since last year
on my machine in question (Duron, GNU/Linux). (It seems that
there is a loop in a stage1/gnat1 analysing sem_prag.adb)