From: Leo Brewin <Leo.Brewin@monash.edu>
Subject: Re: Ann: HAC v.0.0996
Date: Sun, 23 Jan 2022 11:51:25 +1100 [thread overview]
Message-ID: <caa56d2b-7997-2c1e-2669-11ed0fc51210@monash.edu> (raw)
In-Reply-To: <57398132-c1c0-44bf-b974-78963f8d241fn@googlegroups.com>
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
next prev parent reply other threads:[~2022-01-23 0:51 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-22 9:41 Ann: HAC v.0.0996 Gautier write-only address
2022-01-23 0:51 ` Leo Brewin [this message]
2022-01-23 12:09 ` Gautier write-only address
2022-01-23 12:58 ` Gautier write-only address
2022-01-23 23:13 ` Leo Brewin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox