Re: Bug in GNAT GPL 2006?

["(see below)" <yaldnif.w@blueyonder.co.uk>]

On 22/2/07 10:52, in article 545av3F1ukgfpU1@mid.individual.net, "Alex R.
Mosteo" <devnull@mailinator.com> wrote:

> (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.

Looks like it. Trouble is, I can't find anything on the Libre
site that defines what is or is not finished in GNAT GPL. 8-(

> Did you get that to work, despite the warning?

Yes, that runs properly as far as I have tested it.

This bug:

>> Obtaining the value of a defining identifier from a call to another
>> (inlined) function having itself an extended return also fails to compile;
>> giving a nonsensical message at the point of call of the latter.

is interesting - if I interpret the error message correctly,
the compiler is trying (in effect) to textually nest the extended
return of the subsidiary function inside the caller's extended return
and then complaining that the product of doing that is illegal
(as I would hope it is).

It compiles correctly (modulo further testing) if inlining is switched off.

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