Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Make sure your code does nothing gracefully.


devel / comp.lang.ada / Re: ANN: GCC 11.1.0 for macOS

SubjectAuthor
* ANN: GCC 11.1.0 for macOSSimon Wright
+* Re: ANN: GCC 11.1.0 for macOSDmitry A. Kazakov
|`* Re: ANN: GCC 11.1.0 for macOSStephen Leake
| `- Re: ANN: GCC 11.1.0 for macOSDmitry A. Kazakov
+* Re: ANN: GCC 11.1.0 for macOSJ-P. Rosen
|+* Re: ANN: GCC 11.1.0 for macOSLuke A. Guest
||`- Re: ANN: GCC 11.1.0 for macOSJ-P. Rosen
|`- Re: ANN: GCC 11.1.0 for macOSSimon Wright
+* Re: ANN: GCC 11.1.0 for macOSBill Findlay
|`- Re: ANN: GCC 11.1.0 for macOSSimon Wright
+- Re: ANN: GCC 11.1.0 for macOSSimon Wright
+- Re: ANN: GCC 11.1.0 for macOSBlady
`- Re: ANN: GCC 11.1.0 for macOSSimon Wright

1
ANN: GCC 11.1.0 for macOS

<lyeeep2j8m.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5142&group=comp.lang.ada#5142

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: ANN: GCC 11.1.0 for macOS
Date: Sun, 02 May 2021 17:28:09 +0100
Organization: Aioe.org NNTP Server
Lines: 24
Message-ID: <lyeeep2j8m.fsf@pushface.org>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
Cancel-Lock: sha1:alNXOcqBfugH0wL70b/qK5dZZBs=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Simon Wright - Sun, 2 May 2021 16:28 UTC

GCC 11.1.0 x86_64-apple-darwin for macOS is available at:

https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/native

The release no longer supports ASIS.

Libadalang and tools (gnatmetric, gnatpp, gnatstub, gnattest) are
included.

Please note:

* This release is made as an installer package. Because I don't have a
signing ID, you can't double-click on it; instead, right-button, Open,
and ignore the warnings. Sorry.

* In the past, I've included modified versions of the compiler specs
files. This time, such a modified specs file wouldn't run on El
Capitan, so I've supplied the compiler as-built; if you're on Mojave
or later, you need to set SDKROOT to pick up the place where Apple
provide them. This means that the compiler won't automatically look in
/usr/local/include (affects C, C++) or /usr/local/lib (affects all
languages).

See the release notes at Sourceforge.

Re: ANN: GCC 11.1.0 for macOS

<s6mlfu$eii$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5143&group=comp.lang.ada#5143

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org.POSTED!not-for-mail
From: mail...@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Sun, 2 May 2021 18:54:25 +0200
Organization: Aioe.org NNTP Server
Lines: 43
Message-ID: <s6mlfu$eii$1@gioia.aioe.org>
References: <lyeeep2j8m.fsf@pushface.org>
NNTP-Posting-Host: 5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
 by: Dmitry A. Kazakov - Sun, 2 May 2021 16:54 UTC

On 2021-05-02 18:28, Simon Wright wrote:
> GCC 11.1.0 x86_64-apple-darwin for macOS is available at:
>
> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/native
>
> The release no longer supports ASIS.
>
> Libadalang and tools (gnatmetric, gnatpp, gnatstub, gnattest) are
> included.
>
> Please note:
>
> * This release is made as an installer package. Because I don't have a
> signing ID, you can't double-click on it; instead, right-button, Open,
> and ignore the warnings. Sorry.
>
> * In the past, I've included modified versions of the compiler specs
> files. This time, such a modified specs file wouldn't run on El
> Capitan, so I've supplied the compiler as-built; if you're on Mojave
> or later, you need to set SDKROOT to pick up the place where Apple
> provide them. This means that the compiler won't automatically look in
> /usr/local/include (affects C, C++) or /usr/local/lib (affects all
> languages).
>
> See the release notes at Sourceforge.

Thanks Simon!

--------------
As a side note. The version 11 brings new incompatibilities breaking old
code. In some cases X'Access is no more accepted and need to be replaced
by X'Unchecked_Access.

I am to lazy to analyze whether that it is a bug of feature, just be aware.

I dare say that every Ada style guideline should require
'Unchecked_Access everywhere. The issue became a permanent maintenance
nightmare.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: ANN: GCC 11.1.0 for macOS

<s6oc9i$mtj$1@dont-email.me>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5144&group=comp.lang.ada#5144

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ros...@adalog.fr (J-P. Rosen)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Mon, 3 May 2021 10:29:38 +0200
Organization: Adalog
Lines: 19
Message-ID: <s6oc9i$mtj$1@dont-email.me>
References: <lyeeep2j8m.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 3 May 2021 08:29:38 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="e11650104f406e2936e3b302f648de72";
logging-data="23475"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18QepaaDXfgqHBipWj1uerc"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.0
Cancel-Lock: sha1:gNuIqOG4cC0rfWsPVZwptp70Px0=
In-Reply-To: <lyeeep2j8m.fsf@pushface.org>
Content-Language: fr
 by: J-P. Rosen - Mon, 3 May 2021 08:29 UTC

Le 02/05/2021 à 18:28, Simon Wright a écrit :
> GCC 11.1.0 x86_64-apple-darwin for macOS is available at:
>
> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/native
>
> The release no longer supports ASIS.
That's unfortunate. Actually, Gnat FSF could be a good opportunity to
continue support for ASIS.
>
> Libadalang and tools (gnatmetric, gnatpp, gnatstub, gnattest) are
> included.
But I guess not gnatcheck, since it needs ASIS.

--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr

Re: ANN: GCC 11.1.0 for macOS

<s6okan$g6a$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5145&group=comp.lang.ada#5145

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org.POSTED!not-for-mail
From: lagu...@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Mon, 3 May 2021 11:46:51 +0100
Organization: Aioe.org NNTP Server
Lines: 12
Message-ID: <s6okan$g6a$1@gioia.aioe.org>
References: <lyeeep2j8m.fsf@pushface.org> <s6oc9i$mtj$1@dont-email.me>
NNTP-Posting-Host: JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Thunderbird/78.10.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
 by: Luke A. Guest - Mon, 3 May 2021 10:46 UTC

On 03/05/2021 09:29, J-P. Rosen wrote:
> Le 02/05/2021 à 18:28, Simon Wright a écrit :
>> GCC 11.1.0 x86_64-apple-darwin for macOS is available at:
>>
>> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/native
>>
>>
>> The release no longer supports ASIS.
> That's unfortunate. Actually, Gnat FSF could be a good opportunity to
> continue support for ASIS.

Why? ASIS is dead, even the WG don't bother anymore.

Re: ANN: GCC 11.1.0 for macOS

<lypmy8ysqk.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5146&group=comp.lang.ada#5146

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Mon, 03 May 2021 12:14:11 +0100
Organization: Aioe.org NNTP Server
Lines: 11
Message-ID: <lypmy8ysqk.fsf@pushface.org>
References: <lyeeep2j8m.fsf@pushface.org> <s6oc9i$mtj$1@dont-email.me>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
Cancel-Lock: sha1:JYW1/gZgcjyJ9lGKH2rHRLUp0LA=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Simon Wright - Mon, 3 May 2021 11:14 UTC

"J-P. Rosen" <rosen@adalog.fr> writes:

> But I guess not gnatcheck, since it needs ASIS.

gnatcheck isn't in any of the recent releases of CE. [1], see the
[Tools] section at the end, says it's not.

The [Tools] section also says ASIS is available as an add-on.
But it says that about GNATtest.

[1] https://www.adacore.com/gnatpro/comparison

Re: ANN: GCC 11.1.0 for macOS

<s6oo2e$dfn$1@dont-email.me>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5147&group=comp.lang.ada#5147

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ros...@adalog.fr (J-P. Rosen)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Mon, 3 May 2021 13:50:38 +0200
Organization: Adalog
Lines: 11
Message-ID: <s6oo2e$dfn$1@dont-email.me>
References: <lyeeep2j8m.fsf@pushface.org> <s6oc9i$mtj$1@dont-email.me>
<s6okan$g6a$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 3 May 2021 11:50:38 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="e11650104f406e2936e3b302f648de72";
logging-data="13815"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19j+3uVBe2wZp+DhYhav5gh"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.0
Cancel-Lock: sha1:+k5BRdGw89DblWZ2qv09+e+KqfI=
In-Reply-To: <s6okan$g6a$1@gioia.aioe.org>
Content-Language: fr
 by: J-P. Rosen - Mon, 3 May 2021 11:50 UTC

Le 03/05/2021 à 12:46, Luke A. Guest a écrit :
> Why? ASIS is dead, even the WG don't bother anymore.
Many tools depend on ASIS, and there might well be an update of the
standard. It is still supported by GnatPro (and PTC).

--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr

Re: ANN: GCC 11.1.0 for macOS

<0001HW.26404B620107AA187000016E138F@news.individual.net>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5148&group=comp.lang.ada#5148

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: findlayb...@blueyonder.co.uk (Bill Findlay)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Mon, 03 May 2021 16:16:50 +0100
Organization: none
Lines: 20
Message-ID: <0001HW.26404B620107AA187000016E138F@news.individual.net>
References: <lyeeep2j8m.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 5r6JudwA7gh32pefqQWw1AN8DgNCqSdW4BHSsVpxFMH7IibNS4
X-Orig-Path: not-for-mail
Cancel-Lock: sha1:dY5SZdNyuKzHLWM2y4hBUorVWuk=
User-Agent: Hogwasher/5.24
 by: Bill Findlay - Mon, 3 May 2021 15:16 UTC

On 2 May 2021, Simon Wright wrote
(in article <lyeeep2j8m.fsf@pushface.org>):

> GCC 11.1.0 x86_64-apple-darwin for macOS is available at:
>
> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/native
>
> The release no longer supports ASIS.

Thanks for that Simon.
My KDF9 emulator (~25KSLOC of Ada 2012) compiles and runs correctly,
but the (stripped) object codeis about10% bigger and runs about
10% slower than a verion compiled with GNAT CE 2020.

Is an Apple Silicon compiler a reasonable thing to hope
for in the not too distant future? (Hint 8-)

--
Bill Findlay

Re: ANN: GCC 11.1.0 for macOS

<lylf8vzusb.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5150&group=comp.lang.ada#5150

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Mon, 03 May 2021 16:44:36 +0100
Organization: Aioe.org NNTP Server
Lines: 13
Message-ID: <lylf8vzusb.fsf@pushface.org>
References: <lyeeep2j8m.fsf@pushface.org>
<0001HW.26404B620107AA187000016E138F@news.individual.net>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:kyuzCR0czi0wzk6GgxswxgoP4UI=
 by: Simon Wright - Mon, 3 May 2021 15:44 UTC

Bill Findlay <findlaybill@blueyonder.co.uk> writes:

> My KDF9 emulator (~25KSLOC of Ada 2012) compiles and runs correctly,
> but the (stripped) object codeis about10% bigger and runs about
> 10% slower than a verion compiled with GNAT CE 2020.

Sorry to hear that.

> Is an Apple Silicon compiler a reasonable thing to hope
> for in the not too distant future? (Hint 8-)

Work is in progress, but not so far by me since I don't own any Apple
Silicon :-(

Re: ANN: GCC 11.1.0 for macOS

<lyczu6zfsx.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5153&group=comp.lang.ada#5153

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Tue, 04 May 2021 16:20:30 +0100
Organization: Aioe.org NNTP Server
Lines: 10
Message-ID: <lyczu6zfsx.fsf@pushface.org>
References: <lyeeep2j8m.fsf@pushface.org>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:sRZMbv/UmAGTiuA+jSvrfRMr9ig=
 by: Simon Wright - Tue, 4 May 2021 15:20 UTC

GCC 11.1.0 arm-eabi-apple-darwin for macOS is available at:

https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/arm-eabi

Please note:
This release is made as an installer package. Because I don't have a
signing ID, you can't double-click on it; instead, right-button, Open,
and ignore the warnings. Sorry.

See the release notes at Sourceforge.

Re: ANN: GCC 11.1.0 for macOS

<86v97yie5y.fsf@stephe-leake.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5154&group=comp.lang.ada#5154

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org.POSTED!not-for-mail
From: stephen_...@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Tue, 04 May 2021 10:47:53 -0700
Organization: Aioe.org NNTP Server
Lines: 23
Message-ID: <86v97yie5y.fsf@stephe-leake.org>
References: <lyeeep2j8m.fsf@pushface.org> <s6mlfu$eii$1@gioia.aioe.org>
NNTP-Posting-Host: pBWEO6hi52oGFheO/GY5ag.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:TPzuf4sYow8aOwTbWUt0L5qjABw=
 by: Stephen Leake - Tue, 4 May 2021 17:47 UTC

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> As a side note. The version 11 brings new incompatibilities breaking
> old code. In some cases X'Access is no more accepted and need to be
> replaced by X'Unchecked_Access.
>
> I am to lazy to analyze whether that it is a bug of feature, just be aware.
>
> I dare say that every Ada style guideline should require
> 'Unchecked_Access everywhere. The issue became a permanent maintenance
> nightmare.

I had a similar issue upgrading from GNAT Community 2020 to GNAT Pro 21.
The GNAT compiler has gotten smarter about enforcing accessibility
rules.

Since those rules are there to prevent dangling references, they should
be respected; I fixed my code to compile with 'Access.

It is a pain that GNAT didn't get this totally correct the first time
around, but that's life.
--
-- Stephe

Re: ANN: GCC 11.1.0 for macOS

<s6s9rm$1clb$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5155&group=comp.lang.ada#5155

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org.POSTED!not-for-mail
From: mail...@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Tue, 4 May 2021 22:12:42 +0200
Organization: Aioe.org NNTP Server
Lines: 57
Message-ID: <s6s9rm$1clb$1@gioia.aioe.org>
References: <lyeeep2j8m.fsf@pushface.org> <s6mlfu$eii$1@gioia.aioe.org>
<86v97yie5y.fsf@stephe-leake.org>
NNTP-Posting-Host: 5WHqCw2XxjHb2npjM9GYbw.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Dmitry A. Kazakov - Tue, 4 May 2021 20:12 UTC

On 2021-05-04 19:47, Stephen Leake wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> As a side note. The version 11 brings new incompatibilities breaking
>> old code. In some cases X'Access is no more accepted and need to be
>> replaced by X'Unchecked_Access.
>>
>> I am to lazy to analyze whether that it is a bug of feature, just be aware.
>>
>> I dare say that every Ada style guideline should require
>> 'Unchecked_Access everywhere. The issue became a permanent maintenance
>> nightmare.
>
> I had a similar issue upgrading from GNAT Community 2020 to GNAT Pro 21.
> The GNAT compiler has gotten smarter about enforcing accessibility
> rules.

Alas.

> Since those rules are there to prevent dangling references, they should
> be respected; I fixed my code to compile with 'Access.

For example:

declare
Location : Abstract_Layer'Class renames
Abstract_Layer'Class (Under.all);
begin
...
if Location'Access = Location.Widget.Bottom then

This does not compile anymore. Clearly there cannot be any dangling
references here.

Recent changes broke a lot of code involving comparisons of access
types, especially if an anonymous access type is involved. Among them
are cases when even 'Unchecked_Access does not help. So, one should
resort to awful 'Address instead.

The situation is quite dire. I would even suggest introducing a built-in
operation to compare an object with an access, e.g.

P'Refers (X) -- True if P points to X

since comparison of access types became too volatile.

> It is a pain that GNAT didn't get this totally correct the first time
> around, but that's life.

I am not a language lawyer to judge. My impression that in practice
accessibility rules significantly reduce safety and code quality rather
than add it.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: ANN: GCC 11.1.0 for macOS

<s8d0dm$1gtv$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5215&group=comp.lang.ada#5215

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!9bNnNKa4f3Fu/2GiH6GCRQ.user.gioia.aioe.org.POSTED!not-for-mail
From: p.p...@orange.fr (Blady)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Sun, 23 May 2021 09:32:07 +0200
Organization: Aioe.org NNTP Server
Lines: 11
Message-ID: <s8d0dm$1gtv$1@gioia.aioe.org>
References: <lyeeep2j8m.fsf@pushface.org>
NNTP-Posting-Host: 9bNnNKa4f3Fu/2GiH6GCRQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0)
Gecko/20100101 Thunderbird/78.10.2
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Blady - Sun, 23 May 2021 07:32 UTC

Le 02/05/2021 à 18:28, Simon Wright a écrit :
> GCC 11.1.0 x86_64-apple-darwin for macOS is available at:
>
> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/native

Thanks Simon for that significant full work!

How to know which Ada 202x features are included in this 11.1.0 release?

Thanks, Pascal.

Re: ANN: GCC 11.1.0 for macOS

<lytum5wuze.fsf@pushface.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=5354&group=comp.lang.ada#5354

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org.POSTED!not-for-mail
From: sim...@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Thu, 10 Jun 2021 17:21:57 +0100
Organization: Aioe.org NNTP Server
Lines: 31
Message-ID: <lytum5wuze.fsf@pushface.org>
References: <lyeeep2j8m.fsf@pushface.org>
NNTP-Posting-Host: yy9MKEJN2ULhWGfnfq4v5w.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:TkrF1r86d6i4yJO2VInUEEXWpEQ=
 by: Simon Wright - Thu, 10 Jun 2021 16:21 UTC

Simon Wright <simon@pushface.org> writes:

> GCC 11.1.0 x86_64-apple-darwin for macOS is available at:
>
> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/11.1.0/native

This release contains versions of gnatstub, gnattest, gnatpp and
gnatmetric which fail to load:

$ /opt/gcc-11.1.0/bin/gnattest --help
dyld: Library not loaded: @rpath/libgnarl-11.dylib
Referenced from: /opt/gcc-11.1.0/bin/gnattest
Reason: image not found
Abort trap: 6

Workround:
export DYLD_FALLBACK_LIBRARY_PATH=/opt/gcc-11.1.0/lib/gcc/x86_64-apple-darwin15/11.1.0/adalib

~~~~~~~~~~~~~~~~~~~

You may not be aware that gprbuild now lets you specify building
standalone static libraries "for Library_Interface use (list-of-units);"
- this doesn't work on macOS, and in fact cannot work, because it uses
features of binutils object binaries that aren't available in
Mach-O. The effect of this is that a static link against such a library
will fail if the library involves any tasking. If you try to fix this by
using the relocatable version, and then move the executable, it won't
find the GNAT runtime dylibs.

I wonder why the GNAT runtime dylibs are all the way down there without
a symlink in $prefix/lib?

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor