From: Simon Wright <simon@pushface.org>
Subject: Re: GCC 4.8.1 for Mac OS X
Date: Mon, 08 Jul 2013 08:25:31 +0100
Date: 2013-07-08T08:25:31+01:00 [thread overview]
Message-ID: <ly61wlzf6c.fsf@pushface.org> (raw)
In-Reply-To: CDFFA40E.32082%yaldnif.w@blueyonder.co.uk
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.
> function hash_fn2 (the_key : naming.id)
> return hash_code is
> slice : constant slice_list
> with Import, Convention => Ada, Address => the_key'Address;
> h : hash_code := 0;
Should that 0 be empty_hash_code?
> begin
> 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.
> h := rotate_left(h, 2) + s;
> end loop;
> h := avalanche(h);
> return (if h = empty_hash_code then empty_hash_code + 1 else h);
> end hash_fn2;
next prev parent reply other threads:[~2013-07-08 7:25 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-07 18:37 GCC 4.8.1 for Mac OS X Simon Wright
2013-07-07 22:02 ` Bill Findlay
2013-07-08 7:25 ` Simon Wright [this message]
2013-07-08 17:57 ` Bill Findlay
2013-07-08 20:06 ` Felix Krause
2013-07-08 22:37 ` Simon Wright
2013-07-09 15:31 ` Felix Krause
2013-07-09 19:35 ` Simon Wright
2013-07-17 19:57 ` Felix Krause
2013-07-17 21:00 ` Simon Wright
2013-07-18 20:23 ` Simon Wright
2013-07-21 0:59 ` Michael Rohan
2013-07-21 1:06 ` Bill Findlay
2013-07-21 1:19 ` Michael Rohan
2013-07-21 3:57 ` Dennis Lee Bieber
2013-07-21 11:55 ` Simon Wright
2013-07-21 18:01 ` Michael Rohan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox