From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=3.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!news.mixmin.net!news2.arglkargh.de!news.karotte.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Bill Findlay <findlaybill@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: ANN: GNAT CE 2021 for Intel macOS
Date: Thu, 17 Jun 2021 19:45:13 +0100
Organization: none
Message-ID: <0001HW.267BCFB900EACDC870000DFBA38F@news.individual.net>
References: <lytulwzcdy.fsf@pushface.org>
Reply-To: findlaybill@blueyonder.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: individual.net 9l5LdDMPi5gF+8ZxDYmz6ggOhU7w2BnDXNw2ieQQx0ZiJhmGP/
X-Orig-Path: not-for-mail
Cancel-Lock: sha1:Tr6002KV53ECmVujVv6D+z1hyvQ=
User-Agent: Hogwasher/5.24
Xref: reader02.eternal-september.org comp.lang.ada:62240
List-Id: <comp.lang.ada>

On 17 Jun 2021, Simon Wright wrote
(in article <lytulwzcdy.fsf@pushface.org>):

> GNAT CE 2021, built for macOS El Capitan .. Big Sur, at
>
> Sourceforge:
> https://sourceforge.net/projects/gnuada/files/GNAT_GPL%20Mac%20OS%20X/2021-x86
> _64-darwin-bin/ [...]

That's great, thank you Simon.

I did encounter one strange compiler error.
A bit of trivial code that has been passingall
regression tests for a decade suddenly failed thus:

> raised CONSTRAINT_ERROR : erroneous memory access.

(without a line number).

Binary search in my code narrowed it down to this:

> full_ruler : constant String (1 .. 80) := (others =>  '_');
>
> procedure log_rule (start_a_new_line : in Boolean := False;
> iff : in Boolean := True) is
> begin
> if start_a_new_line then cc_list.log_new_line(iff); end if;
> log_line(full_ruler, iff); -- <====== FAILS HERE!
> end log_rule;

If I replace:

log_line(full_ruler, iff);

by:

log_line(String'(1..80 =>  '_'), iff);

the exception goes away!

-- 
Bill Findlay