From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: GNAT proposal: note on implicit exceptions insertion Date: Tue, 12 Feb 2019 17:08:00 -0600 Organization: JSA Research & Innovation Message-ID: References: <21f5f1ca-eabe-4ce6-9ee0-5d308d7676ff@googlegroups.com> <17375128-e016-4366-91ff-cd68f74689b3@googlegroups.com> <989ea6c7-b432-4214-beec-c0a50b76932c@googlegroups.com> Injection-Date: Tue, 12 Feb 2019 23:08:00 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="26586"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader01.eternal-september.org comp.lang.ada:55506 Date: 2019-02-12T17:08:00-06:00 List-Id: "Jesper Quorning" wrote in message news:989ea6c7-b432-4214-beec-c0a50b76932c@googlegroups.com... ... >> In the case of AdaCore, they have other tools for finding quality >> problems >> in Ada code (like CodePeer), and they may very well want to put new >> effort >> into those rather than into the compiler. > > You will reduce the need for other tools as the promary tool, GCC just > reports > as notes, what it is doing anyway. That's the reason for doing it in Janus/Ada. I don't see a reasonable place to put quality checks into normal workflow other than the compiler. In a separate tool, it is too late (unless of course you run those tools everytime you compile). The sort of problems found by quality warnings are easily found by testing; the value is to save the time debugging "obvious" errors. See the RRS blog entry on quality warnings: http://www.rrsoftware.com/html/blog/quality.html for more on this topic. Anyway, my point in mentioning that AdaCore has other tools for that purpose is that AdaCore may have business reasons for not wanting to put more stuff into the compiler. If you're giving away the compiler, then it might make business sense to keep some of the capabilities in stuff that you are charging for. (Let me say that I have no knowledge whatsoever on this topic, it is just speculation on my part.) I see from other messages that there is way to get the information you're asking for, even if it isn't optimal. So it's also likely that AdaCore will consider the need handled. Randy.