Date: Sun, 29 Mar 1998 19:22:59 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Ralph Proctor <ralphgpr AT shadow DOT net>
cc: djgpp AT delorie DOT com
Subject: Re: Static Analysis (Lint)
In-Reply-To: <3.0.1.16.19980329105135.24878bd6@shadow.net>
Message-ID: <Pine.SUN.3.91.980329191725.16257B-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Sun, 29 Mar 1998, Ralph Proctor wrote:

> Is there anything in the DJGPP suite that does some sort of static analysis
> like Lint?
> Does the compiler or anything else do it?

I think if you use -Wall and -O switches, you get much of the static 
analysis that Lint was designed to perform.  Just be sure to treat every 
warning as a potential bug.

> If not, do you know of a free Lint somewhere?

I think I saw some URL posted here a long time ago.  Try searching the 
DJGPP mail archives at http://www.delorie.com/djgpp/mail-archives/.

> I notice the Gimpel Lint is a whopping $235.00 and no free demo as far as I
> can tell. I can't afford this.

Judging by their ads, their Lint does a lot of checking (it typically 
takes me about 5-15 minutes to solve the little puzzles they include in 
their ads, although I'm a slow thinker).

> Why is Lint or something like it never mentioned on the list?

I have a clue, but I'd keep it to myself, lest I offend too many people 
here ;-).

> Should I give a damn about "static checking" at all?

IMHO, it is very important.