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_40,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a0c:ab13:: with SMTP id h19mr1655958qvb.54.1632942248643; Wed, 29 Sep 2021 12:04:08 -0700 (PDT) X-Received: by 2002:a05:6902:1549:: with SMTP id r9mr1888028ybu.204.1632942248208; Wed, 29 Sep 2021 12:04:08 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!news.misty.com!border2.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: Wed, 29 Sep 2021 12:04:07 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=185.59.39.53; posting-account=6yLzewoAAABoisbSsCJH1SPMc9UrfXBH NNTP-Posting-Host: 185.59.39.53 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: How to challenge a GCC patch? From: Emmanuel Briot Injection-Date: Wed, 29 Sep 2021 19:04:08 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:62870 List-Id: > The lack of 'fairness' (my apologies if you find that word a bit strong)= =20 > is that GNAT pro users are suddenly the only ones who can use ASIS,=20 > while a unique tool like Adacontrol (for code control quality) has=20 > always been available equally to the Free and Pro communities... I might have misunderstood Arno's point, but my understanding is that AdaCo= re no longer makes any patch for ASIS. So whatever pro customers have access to (and ASIS was always a paying addo= n), the community also has access to by downloading the latest available so= urces. The GNAT Pro compiler apparently is losing the capability to generate the t= ree information, just like the free version of the compiler. If you want to use ASIS, my understanding is that you would have to do a se= parate "compilation" pass using the compiler from the dedicated branch just= for the purpose of generating the tree files (and you can discard all the = object files it perhaps generates at the same time). Then you can run ASIS = tools. This is for sure a pain for AdaControl maintainers and users, no one disput= es that. On the other hand, if tree generation was indeed getting in the wa= y of compiler improvements that benefit every one, I, for one, am happy to = see the change. > Perhaps Adacore could help the community and Jean-Pierre in this > process? (targeted help, improved documentation, etc.)?=20 I suggested in an early message that perhaps the community could build an A= SIS API on top of libadalang, if there is a need for that. I also suggested that libadalang documentation should be improved, I defini= tely agree with that one !