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=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: How to challenge a GCC patch? Date: Thu, 30 Sep 2021 08:19:30 +0200 Organization: Adalog Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 30 Sep 2021 06:19:33 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="7d29f4097bec0e630d98e9ca211f2b2a"; logging-data="15051"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX182lcGURJkXmDx69AOJ47/C" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 Cancel-Lock: sha1:I45BVfX5YvuCNYQ/rkyUPzg1yq8= In-Reply-To: Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:62876 List-Id: Le 29/09/2021 à 21:04, Emmanuel Briot a écrit : > I might have misunderstood Arno's point, but my understanding is that AdaCore no longer makes any patch for ASIS. No, ASIS is still maintained (although as LTM) for paying customers. > So whatever pro customers have access to (and ASIS was always a paying addon), the community also has access to by downloading the latest available sources. No, asis-gcc is not distributed by AdaCore. > The GNAT Pro compiler apparently is losing the capability to generate the tree 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 separate "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. Not really. Compile-on-the-fly is still working with asis-gcc (AdaControl is working like that). > This is for sure a pain for AdaControl maintainers and users, no one disputes that. On the other hand, if tree generation was indeed getting in the way of compiler improvements that benefit every one, I, for one, am happy to see the change. I'm afraid this is a red herring. I think rather that AdaCore has a hard time convincing people of moving from the well defined, carefully designed ASIS to the terrible mess of LibAdalang. To anybody interested in that issue: don't take my word for it. Please read the specification of any ASIS module, and compare it to libadalang.analysis package. Personnaly, I will never trust an interface that documents that I should expect a character literal on the LHS of an assignment statement! Another example: it's only very recently (not sure if it is already in GitHub) that LibAdalang considered the case of a variable declaration with multiple names. How do you explain such an omission after 5 years of development? >> Perhaps Adacore could help the community and Jean-Pierre in this >> process? (targeted help, improved documentation, etc.)? > I have had a tool partner's agreement with AdaCore, and until recently they have been very helpful. But the whole design of LibAdalang is not appropriate for deep static analysis, and it is an error to believe that it could replace ASIS. OTOH, it has plenty of useful features for other use cases not covered by ASIS, like handling of incomplete/incorrect code, no question about that. > I suggested in an early message that perhaps the community could build an ASIS API on top of libadalang, if there is a need for that. In the beginning of LibAdalang, AdaCore suggested doing that, but they abandonned it. > I also suggested that libadalang documentation should be improved, I definitely agree with that one ! > Unfortunately, the whole design (and especially the typing system) of Libadalang makes it much more difficult to use than 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