From: Stephen Leake <stephen_leake@acm.org>
To: comp.lang.ada@ada-france.org
Subject: Re: Problem with -gnatt
Date: 10 Oct 2004 10:42:23 -0400
Date: 2004-10-10T10:42:23-04:00 [thread overview]
Message-ID: <mailman.256.1097419356.390.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <2QS9d.96627$He1.37132@attbi_s01>
"Jeff C r e e.m" <jcreem@yahoo.com> writes:
> "Stephen Leake" <stephen_leake@acm.org> wrote in message
> news:mailman.250.1097331421.390.comp.lang.ada@ada-france.org...
> > "Alex R. Mosteo" <devnull@mailinator.com> 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
next prev parent reply other threads:[~2004-10-10 14:42 UTC|newest]
Thread overview: 53+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-07 10:40 Javadoc-like for Ada Alex R. Mosteo
2004-10-07 11:46 ` stephane richard
2004-10-07 13:05 ` Marc A. Criley
2004-10-07 13:39 ` Alex R. Mosteo
2004-10-07 16:51 ` Problem with -gnatt (was Re: Javadoc-like for Ada) Alex R. Mosteo
2004-10-07 18:43 ` Marc A. Criley
2004-10-07 20:07 ` Björn Persson
2004-10-08 8:40 ` Alex R. Mosteo
2004-10-07 19:21 ` Problem with -gnatt Ludovic Brenta
2004-10-08 8:45 ` Alex R. Mosteo
2004-10-08 9:43 ` Martin Dowie
2004-10-08 13:09 ` Alex R. Mosteo
2004-10-09 14:17 ` Stephen Leake
2004-10-15 20:11 ` Matthew Heaney
2004-10-18 7:59 ` Alex R. Mosteo
2004-10-08 16:52 ` Ludovic Brenta
2004-10-09 14:16 ` Stephen Leake
2004-10-09 14:45 ` Jeff C r e e.m
2004-10-10 12:25 ` Ludovic Brenta
2004-10-10 14:42 ` Stephen Leake [this message]
2004-10-15 20:03 ` Matthew Heaney
2004-10-16 13:16 ` Stephen Leake
2004-10-15 20:00 ` Matthew Heaney
2004-10-15 20:06 ` Matthew Heaney
2004-10-18 7:59 ` Alex R. Mosteo
2004-10-18 16:48 ` Matthew Heaney
2004-10-18 18:21 ` Alex R. Mosteo
2004-10-19 0:20 ` Matthew Heaney
2004-10-19 2:41 ` Brian May
2004-10-19 3:08 ` Matthew Heaney
2004-10-19 7:15 ` Alex R. Mosteo
2004-10-19 14:52 ` Matthew Heaney
2004-10-19 15:46 ` Alex R. Mosteo
2004-10-19 20:03 ` Matthew Heaney
2004-10-19 20:38 ` Alex R. Mosteo
2004-10-23 6:28 ` Brian May
2004-10-24 5:45 ` Jeffrey Carter
2004-10-24 8:54 ` Dmitry A. Kazakov
2004-10-20 1:20 ` Jeffrey Carter
2004-10-20 14:48 ` Matthew Heaney
2004-10-19 7:36 ` Alex R. Mosteo
2004-10-20 5:19 ` Simon Wright
2004-10-20 7:59 ` Alex R. Mosteo
2004-10-11 22:53 ` Javadoc-like for Ada Lionel Draghi
-- strict thread matches above, loose matches on Subject: below --
2004-10-20 1:34 Problem with -gnatt Stephen Leake
2004-10-20 6:37 ` Matthew Heaney
2004-10-20 9:19 ` Pascal Obry
2004-10-20 13:22 Stephen Leake
2004-10-20 15:08 ` Pascal Obry
2004-10-20 16:23 ` Alex R. Mosteo
2004-10-20 16:38 ` Pascal Obry
2004-10-20 20:05 ` Alex R. Mosteo
2004-10-23 20:12 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox