From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Leo Brewin <Leo.Brewin@monash.edu>
Newsgroups: comp.lang.ada
Subject: Re: Ann: HAC v.0.0996
Date: Sun, 23 Jan 2022 11:51:25 +1100
Organization: A noiseless patient Spider
Message-ID: <caa56d2b-7997-2c1e-2669-11ed0fc51210@monash.edu>
References: <57398132-c1c0-44bf-b974-78963f8d241fn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org; posting-host="be8920a51248f98503e98040b5bcbd10";
	logging-data="29726"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18DISTmKxZ3FbJZfj9ihj7cwLsEqFREALS3IyS1HzJTEQ=="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
 Gecko/20100101 Thunderbird/91.5.0
Cancel-Lock: sha1:pAGBkaB5mGM/sVERYE4EiUCroVY=
In-Reply-To: <57398132-c1c0-44bf-b974-78963f8d241fn@googlegroups.com>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:63396
List-Id: <comp.lang.ada>

Thanks Gautier for the latest updates to HAC.

I just ran the gallery test on my macOS and I got a constraint error 
while running attributes.adb. Here is the output:

Attributes      Standard subtypes are indicated with '*'
==========           HAL subtypes are indicated with '#'

S'First and S'Last attributes for scalar subtype S:

   * Integer's bounds    : -9223372036854775808 .. 9223372036854775807
   * Natural's bounds    : 0 .. 9223372036854775807
   * Positive's bounds   : 1 .. 9223372036854775807
     Some_Range's bounds : -123 .. 456
   * Boolean's bounds    : False .. True
     A_to_Z's bounds     : A .. Z

Execution of ../hac terminated by unhandled exception
raised CONSTRAINT_ERROR : erroneous memory access
Load address: 0x10f8a0000
Call stack traceback locations:
0x10f9d02a7 0x7ff80fc2ae2b 0x10f9bcee4

If I comment out line number 47 (which uses Real'First and Real'Last) 
then the code runs without error.

For gnatmake I used the AdaCore 2019 version,

GNATMAKE Community 2019 (20190517-83)
Copyright (C) 1995-2019, Free Software Foundation, Inc.

and I'm running this on macOS 12.1

Cheers,
Leo