From: dewar@gnat.com (Robert Dewar)
Subject: Re: Elaboration in GNAT
Date: 28 Nov 2001 11:25:06 -0800
Date: 2001-11-28T19:25:07+00:00 [thread overview]
Message-ID: <5ee5b646.0111281125.7e9fbca3@posting.google.com> (raw)
In-Reply-To: 1006952193.650930@edh3
Frode Tenneboe <ft@alne.edh.ericsson.se> wrote in message news:<1006952193.650930@edh3>...
> Using -gnatwa I get some elaboration issues with some legacy code in GNAT.
> One of these are:
>
> foo.adb:69:04: warning: instantiation of "Client" may raise Program_Error
> foo.adb:69:04: warning: missing pragma Elaborate_All for "bar"
> Is there a way of getting the information above a bit
> more verbose?
If this message is not intelligible, I recommend reading
the entire chapter on elaboration issues in the users
guide. Elaboration is certainly a tricky issue, and
generally you should not turn on -gnatwl unless you know
what you are doing.
We certainly find that helping customers work through
elaboration issues is a significant part of our support
effort, which is why we implemented the static model
of elaboration to try to ameliorate this in the future.
next prev parent reply other threads:[~2001-11-28 19:25 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-28 12:34 Elaboration in GNAT Frode Tenneboe
2001-11-28 18:13 ` Mark Johnson
2001-11-29 3:44 ` Robert Dewar
2001-11-29 13:30 ` Stephen Leake
2001-11-28 19:25 ` Robert Dewar [this message]
2002-01-04 13:21 ` Frode Tenneboe
2002-01-04 15:07 ` Matthew Heaney
2002-01-05 0:43 ` Robert Dewar
2002-01-05 0:50 ` Robert Dewar
2002-01-07 17:22 ` Mark Johnson
2002-01-08 0:00 ` Robert Dewar
2002-01-10 21:54 ` Robert A Duff
2002-01-11 4:49 ` Robert Dewar
2002-01-11 13:35 ` Robert A Duff
2002-01-11 19:18 ` Robert Dewar
2002-01-16 11:48 ` Arnaud Charlet
2002-01-05 0:40 ` Robert Dewar
2002-01-07 13:28 ` Frode Tenneboe
2002-01-11 19:25 ` Robert Dewar
2001-11-29 13:13 ` Stephen Leake
2001-11-29 13:17 ` Stephen Leake
2001-11-30 12:44 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox