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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e44790cdcea9da82 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!news.cs.univ-paris8.fr!ciril.fr!news.completel.fr!blob.linuxfr.org!213.91.2.137!teaser.fr!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: Problem with -gnatt Date: 10 Oct 2004 10:42:23 -0400 Organization: Cuivre, Argent, Or Message-ID: References: <41651D37.4030805@mailinator.com> <2skt9qF1ljjdtU1@uni-berlin.de> <4165472D.2030704@mailinator.com> <416573FA.4010003@mailinator.com> <87k6u2mj08.fsf@insalien.org> <4166538E.6090907@mailinator.com> <2QS9d.96627$He1.37132@attbi_s01> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: melchior.cuivre.fr.eu.org 1097419357 88502 212.85.156.195 (10 Oct 2004 14:42:37 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Sun, 10 Oct 2004 14:42:37 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: In-Reply-To: <2QS9d.96627$He1.37132@attbi_s01> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:4993 Date: 2004-10-10T10:42:23-04:00 "Jeff C r e e.m" writes: > "Stephen Leake" wrote in message > news:mailman.250.1097331421.390.comp.lang.ada@ada-france.org... > > "Alex R. Mosteo" writes: > > > >> Ludovic Brenta wrote: > >> > "Alex R. Mosteo" writes: > >> > > >> >>I'm trying now AdaBrowse with a fairly big project of mine and: > >> >> > >> >>When I add the -gnatt switch to get the tree, gnat bails out with a > >> >>"gnat bug detected". Compiling normally it goes ok... > >> >> > >> >>Pretty bad luck. > >> > Is this the same as Debian bug #267788? See here: > >> > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=267788 > >> > >> I don't think so. It bails out in a storage error in the instance of > >> one of the new AI.302 containers which I'm using in place of Charles. > >> See: > >> > >> +===========================GNAT BUG > >> DETECTED==============================+ > >> | 3.15p (20020523) (i686-pc-linux-gnu) Storage_Error stack overflow > >> (or erroneous memory access)| > >> | Error detected at ../../containers/a-cohama.adb:508:4 > >> [../download/adagio-download-slot.ads:78:4]| > >> > >> Should I report the bug? I'm not customer of ACT so I don't have > >> customer number, for example. > > > > Perhaps you simply have a stack overflow, and you need to give it more > > stack space. That's not a bug in ASIS. > > > >> Maybe the use of the Ada.Containers is a practice of risk? ;) > > > > There may be something about this implementation of Ada.Containers > > that is more complex for ASIS to handle then other code you have, > > causing it to use more stack space. > > > > At first, always assume the compiler error message is correct, and you > > are doing something wrong. With GNAT, that's usually true! > > > > Even if there is something wrong with the code that is being > analyzed, the fact that it is caught buy a GNAT BUG DETECTED handler > really says that there is a GNAT bug here too. For example if I feed > the following into an Ada compiler > > main() > {printf ("hello world\n); > } > > I'd like to get a nice error message and not something that looks like the > compiler died. Well, that's true. But it is difficult in general to handle Storage_Error due to stack overflow; you can't trust _anything_. So in this particular instance, I would not expect a much better error message. -- -- Stephe