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=-0.0 required=3.0 tests=BAYES_20 autolearn=ham
	autolearn_force=no version=3.4.6
X-Received: by 2002:a37:9a89:: with SMTP id c131mr2624929qke.191.1632814712923;
        Tue, 28 Sep 2021 00:38:32 -0700 (PDT)
X-Received: by 2002:a25:7396:: with SMTP id o144mr4533612ybc.452.1632814712533;
 Tue, 28 Sep 2021 00:38:32 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!news.misty.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 28 Sep 2021 00:38:32 -0700 (PDT)
In-Reply-To: <sis9jq$esi$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:2ab8:224:1:89ac:d513:3c78:e889;
 posting-account=VpkXKAoAAACJdJbPSrB2RRuO-i3D4Q8l
NNTP-Posting-Host: 2a02:2ab8:224:1:89ac:d513:3c78:e889
References: <sis53t$du1$1@dont-email.me> <sis9jq$esi$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d8844cde-babd-42ad-ba03-d4b30883f66en@googlegroups.com>
Subject: Re: How to challenge a GCC patch?
From: Arnaud Charlet <charlet@adacore.com>
Injection-Date: Tue, 28 Sep 2021 07:38:32 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:62852
List-Id: <comp.lang.ada>

On Monday, September 27, 2021 at 1:23:39 PM UTC+2, St=C3=A9phane Rivi=C3=A8=
re wrote:
> Le 27/09/2021 =C3=A0 12:06, J-P. Rosen a =C3=A9crit :=20
> > AdaCore has introduced a patch in FSF GCC to remove ASIS support.
> This is all the more surprising since it seems to me that ASIS is still=
=20
> in GNAT Pro. What a lack of fairness.

We have removed ASIS support first in our own trunk of GNAT, and then 6 mon=
ths later we have removed it from the GCC FSF trunk, so talking about lack =
of fairness is, well, unfair.

Why? Because ASIS is no longer maintained as an internal standard and hasn'=
t evolved beyond Ada 95 because there was not enough support in the communi=
ty and among vendors, so we've ended up maintaining it on our own for many =
years, which lately has become too large a burden. In addition, maintaining=
 ASIS tree generation in GNAT has been also a challenge and a resource drai=
n because each time we make a change in the GNAT front-end, this may break =
ASIS and we may have to make difficult investigation and changes and someti=
mes almost impossible changes because there are conflicts between the need =
of a code generator (GNAT for GCC or LLVM) and the need of an Ada analysis =
library (ASIS).

So we've decided to address this burden by moving tree generation for ASIS =
in a separate branch, so that this maintenance burden on GCC trunk would di=
sappear.

This has been done both in AdaCore's tree where ASIS now resides on a separ=
ate branch, and in GCC FSF where the tree generation is available in GCC 10=
.x and works well here, and is available for the community to contribute an=
d maintain for as long as needed.

Arno