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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,19e983c5955f75f X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-04-09 08:16:09 PST Path: supernews.google.com!sn-xit-03!supernews.com!freenix!isdnet!psinet-france!psiuk-f4!psiuk-p4!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Learning Ada (newbie) Date: Mon, 9 Apr 2001 10:54:22 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <9asiev$qff$1@nh.pace.co.uk> References: <9af9ao$6ee$1@taliesin.netcom.net.uk> <9aiq8h$ik8$1@nh.pace.co.uk> <9ankht$oaj$1@a1-hrz.uni-duisburg.de> NNTP-Posting-Host: 136.170.200.133 X-Trace: nh.pace.co.uk 986828063 27119 136.170.200.133 (9 Apr 2001 14:54:23 GMT) X-Complaints-To: newsmaster@pace.co.uk NNTP-Posting-Date: 9 Apr 2001 14:54:23 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: supernews.google.com comp.lang.ada:6662 Date: 2001-04-09T14:54:23+00:00 List-Id: AFAIK, we don't have this in-house at this time. It might be worth looking around for a way to include this in our compilation procedures to help cut down on the problems to some extent. The biggest problem is that too many of the "stupid mistake" errors that happen frequently in C are also the "clever trick" features that regularly get used in C programming. Checking for them and trying to eliminate them leaves you with the problem of being alerted to all sorts of "legitimate" uses of those features. Now you've got to deal with the "I meant to do that" problem. Does someone come by afterwards, see the warnings and waste a lot of time trying to eliminate them only to discover that this was what was intended? MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/ "Georg Bauhaus" wrote in message news:9ankht$oaj$1@a1-hrz.uni-duisburg.de... > Have you been trying LCLint? It does many many checks > beyond what gcc -pedantic will do. It's also helps a > lot in building ADTs even in C. > > Georg