comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <marin.condic.auntie.spam@pacemicro.com>
Subject: Re: Learning Ada (newbie)
Date: Mon, 9 Apr 2001 10:54:22 -0400
Date: 2001-04-09T14:54:23+00:00	[thread overview]
Message-ID: <9asiev$qff$1@nh.pace.co.uk> (raw)
In-Reply-To: 9ankht$oaj$1@a1-hrz.uni-duisburg.de

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" <sb463ba@l1-hrz.uni-duisburg.de> 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





  reply	other threads:[~2001-04-09 14:54 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-04-04 13:25 Learning Ada (newbie) Ayende Rahien
2001-04-04 14:36 ` Marin David Condic
2001-04-04 18:31   ` Ayende Rahien
2001-04-04 14:46 ` chris.danx
2001-04-04 15:09 ` Ted Dennison
2001-04-04 16:00 ` David Starner
2001-04-04 18:05 ` martin.m.dowie
2001-04-04 18:29   ` Ayende Rahien
2001-04-05 11:18     ` martin.m.dowie
2001-04-04 22:25 ` Peter Milliken
2001-04-04 23:57 ` Jerry Petrey
2001-04-05 13:46   ` BSCrawford
2001-04-05 21:06 ` Mark Lundquist
2001-04-05 22:06   ` Marin David Condic
2001-04-06  4:04     ` Mark Lundquist
2001-04-06 21:52       ` Britt Snodgrass
2001-04-06 14:13     ` Ted Dennison
2001-04-06 14:53       ` Marin David Condic
2001-04-06 17:24       ` Mark Lundquist
2001-04-07 17:59     ` Georg Bauhaus
2001-04-09 14:54       ` Marin David Condic [this message]
2001-04-06  0:44   ` Ayende Rahien
2001-04-06  0:56     ` Ayende Rahien
2001-04-06  7:04   ` Martin Dowie
2001-04-06 14:11     ` Mark Lundquist
2001-04-06 16:33       ` Mark Lundquist
2001-04-24  5:24   ` David Thompson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox