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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,11c630572e59f461,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!newsfeed-0.progon.net!progon.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Bug in GNAT GPL 2006?
Date: Wed, 21 Feb 2007 19:47:07 +0000
Message-ID: <C202523B.98716%yaldnif.w@blueyonder.co.uk>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: individual.net 5v3oMamkujj/77wV2Sh3hgn48cv4mRYlTyyqJVMgq8wYAMRIoI
User-Agent: Microsoft-Entourage/11.3.3.061214
Thread-Topic: Bug in GNAT GPL 2006?
Thread-Index: AcdV8RFaUBBZK8HkEduXeQARJIjQTg==
Xref: g2news2.google.com comp.lang.ada:9378
Date: 2007-02-21T19:47:07+00:00
List-Id: <comp.lang.ada>

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?

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk