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,e0e1d3b3f7c994b8 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!n77g2000hse.googlegroups.com!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: GNAT bug, Assert_Failure at atree.adb:2893 Date: Tue, 11 Mar 2008 02:49:54 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <13t4b2kkjem20f3@corp.supernews.com> <89af8399-94fb-42b3-909d-edf3c98d32e5@n75g2000hsh.googlegroups.com> <53e0fda7-a536-4899-a115-9d4e137ac698@13g2000hsb.googlegroups.com> <26533c61-29ed-4edd-afff-b77c82f92e3a@f63g2000hsf.googlegroups.com> NNTP-Posting-Host: 153.98.68.197 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: posting.google.com 1205228994 23707 127.0.0.1 (11 Mar 2008 09:49:54 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 11 Mar 2008 09:49:54 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: n77g2000hse.googlegroups.com; posting-host=153.98.68.197; posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.3) Gecko/20040924,gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:20292 Date: 2008-03-11T02:49:54-07:00 List-Id: Maciej Sobczak wrote: > BTW - this is what I got yesterday: > > +===========================GNAT BUG > DETECTED==============================+ > | 4.3.0 20070527 (experimental) (i686-apple-darwin8) Assert_Failure > atree.adb:2893| > [...] > > It was a basic program like the ones in Ada Gems. > I guess I have to install a newer compiler. ;-) Please report this in GCC bugzilla[1] along with your basic program. Do this even if the bug is absent from the just-released GCC 4.3.0. This bug may also be present in other versions of GCC, including those currently in stable distributions. Someone might contribute a workaround or a fix. The fix can then be backported if necessary. [1] http://gcc.gnu.org/bugzilla -- Ludovic Brenta.