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,FREEMAIL_FROM autolearn=ham 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!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!wns13feed!worldnet.att.net!attbi_s01.POSTED!53ab2750!not-for-mail From: "Jeff C r e e.m" Newsgroups: comp.lang.ada 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> Subject: Re: Problem with -gnatt X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.2180 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-RFC2646: Format=Flowed; Original Message-ID: <2QS9d.96627$He1.37132@attbi_s01> NNTP-Posting-Host: 24.147.74.171 X-Complaints-To: abuse@comcast.net X-Trace: attbi_s01 1097333118 24.147.74.171 (Sat, 09 Oct 2004 14:45:18 GMT) NNTP-Posting-Date: Sat, 09 Oct 2004 14:45:18 GMT Organization: Comcast Online Date: Sat, 09 Oct 2004 14:45:18 GMT Xref: g2news1.google.com comp.lang.ada:4957 Date: 2004-10-09T14:45:18+00:00 List-Id: "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. Whether the input is valid or invalid code probably changes the priority of the bug...but it is still a bug. And I would report it to Ada Core Tech. directly even though you are not a customer. Perhaps you will never hear anything back (it varies) but if they think it is real it probably will still get in the queue.