From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!eternal-september.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: moi <findlaybill@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: spurious error with GNAT 13.2.0 on Intel macOS 17.2
Date: Thu, 14 Dec 2023 23:49:15 +0000
Message-ID: <ku1ijrFhcjkU1@mid.individual.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net 3jCLO5M2NvrJg9N5MIWZbwtqsVv1lK9J/u89gaDXZoVLGCdm9s
Cancel-Lock: sha1:qr2RAtgXkrWt0sICjKcDtkjwIzY= sha256:f7tk1xz8TawTizPHuMu1MNm2lMfE7oafkk5AKSHCoCE=
User-Agent: Mozilla Thunderbird
Content-Language: en-GB
Xref: news.eternal-september.org comp.lang.ada:65916
List-Id: <comp.lang.ada>

The 17.2 update is accompanied by updated Command Line Tools,
so, having made a copy of the current CLTs, I let it update.


With GNAT 13.2.0 on Intel macOS 17.2 this happens:

/Users/wf/KDF9/emulation/Testing: chmod 444 ST0

On compiling and running the minimum test case:


with Ada.Direct_IO;
with Ada.IO_Exceptions;
procedure failure is
     package my_IO is new Ada.Direct_IO(Integer);
     use my_IO;
     my_file : File_Type;
begin
Open(my_file, Inout_File, "ST0");
exception
    when Ada.IO_Exceptions.Use_Error =>
        raise program_error with "Open failed to get RW access";
end failure;


I get:

A. with  ”-largs -Wl,-ld_classic” in the linker parameters:

/Users/wf/KDF9/emulation/Testing: failure
raised PROGRAM_ERROR : Open failed to get RW access

This is what should happen.

B. recompiled and relinked without ”-largs -Wl,-ld_classic”:

/Users/wf/KDF9/emulation/Testing: failure
raised CONSTRAINT_ERROR : erroneous memory access

OOPS!

Strangely, this is now the ONLY one out of dozens of regression tests
that fails in this software configuration.
Previously, they all failed at the link stage.

-- 
Bill F.