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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Bill Findlay <yaldnif.w@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: GCC 4.8.1 for Mac OS X
Date: Mon, 08 Jul 2013 18:57:15 +0100
Message-ID: <CE00BC0B.32184%yaldnif.w@blueyonder.co.uk>
References: <lya9lyz06p.fsf@pushface.org>
 <CDFFA40E.32082%yaldnif.w@blueyonder.co.uk> <ly61wlzf6c.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: individual.net WDUxLglOsN8vWlkD7aNBbQzKIgc70JLhMFzgJd3DnGpem8h1cn
Cancel-Lock: sha1:ZeSkxjgMwcWlM4C1s4JJ0GAQEtI=
User-Agent: Microsoft-Entourage/12.36.0.130206
Thread-Topic: GCC 4.8.1 for Mac OS X
Thread-Index: Ac58BJRLBe+FxAkbkUCIG2hLn05neg==
Xref: news.eternal-september.org comp.lang.ada:16169
Date: 2013-07-08T18:57:15+01:00
List-Id: <comp.lang.ada>

On 08/07/2013 08:25, in article ly61wlzf6c.fsf@pushface.org, "Simon Wright"
<simon@pushface.org> wrote:

> Bill Findlay <yaldnif.w@blueyonder.co.uk> writes:
> 
>> On 07/07/2013 19:37, in article lya9lyz06p.fsf@pushface.org, "Simon Wright"
>> <simon@pushface.org> wrote:
>> 
>>> You can find this at
>>> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/4.8.1/
>>> 
>> 
>> Many thanks for that, Simon.
> 
> You're welcome.
> 
>> I see it shares with GNAT GPL 2013 this foible:
> 
> Foible! excellent word.

8-)

>>    h     : hash_code := 0;
> 
> Should that 0 be empty_hash_code?

I can see why you ask that.  empty_hash_code is chosen by the user to
indicate an empty table slot and the function is embedded in a generic
package having empty_hash_code as a constant parameter of the instantiation.
So it might not be zero, and I don't see much reason to start h off at
anything other than 0.

>>    for s of slice loop
>>    exit when s = all_blanks_code;
>>              |
>>>>> warning: variable "s" is not modified in loop body [enabled by default]
>>>>> warning: possible infinite loop [enabled by default]
> 
> Some sort of mistake about the flow analysis, I guess.
> 

Looks like it.

>>       h := rotate_left(h, 2) + s;
>>    end loop;

-- 
Bill Findlay
with blueyonder.co.uk;
use  surname & forename;