From: "Alex R. Mosteo" <devnull@mailinator.com>
Subject: Re: Bug in GNAT GPL 2006?
Date: Thu, 22 Feb 2007 11:52:35 +0100
Date: 2007-02-22T11:52:35+01:00 [thread overview]
Message-ID: <545av3F1ukgfpU1@mid.individual.net> (raw)
In-Reply-To: C202523B.98716%yaldnif.w@blueyonder.co.uk
(see below) wrote:
> Using GNAT GPL 2006 (20060522-34) I get warning messages
> like the following when using extended return statements:
>
> function is_empty (the_table : a_safe_table) return Boolean is
> begin
> return result : Boolean do
> |
> >>> warning: variable "result" is assigned but never read
>
> lock_table;
> result := is_empty(a_basic_table(the_table));
> unlock_table;
> end return;
> end is_empty;
>
> I'm inclined to assume that this is a compiler bug, but can
> anyone more knowledgeable about Ada 200[57] confirm this?
It was my impression that extended return wasn't completely finished. Did you
get that to work, despite the warning?
next prev parent reply other threads:[~2007-02-22 10:52 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-02-21 19:47 Bug in GNAT GPL 2006? (see below)
2007-02-21 20:19 ` Randy Brukardt
2007-02-21 20:57 ` (see below)
2007-02-22 2:14 ` Adam Beneschan
2007-02-22 6:09 ` (see below)
2007-02-22 6:53 ` Per Sandberg
2007-02-22 10:52 ` Alex R. Mosteo [this message]
2007-02-22 16:39 ` (see below)
2007-02-23 1:37 ` Robert A Duff
2007-02-23 3:51 ` (see below)
2007-02-24 19:15 ` Robert A Duff
2007-02-24 20:52 ` Georg Bauhaus
2007-02-25 1:21 ` Jeffrey R. Carter
2007-02-23 14:04 ` The Ada 2005 name (was: Re: Bug in GNAT GPL 2006?) Dirk Craeynest
2007-02-24 10:47 ` The Ada 2005 name Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox