From: utzoo!decvax!harpo!seismo!hao!hplabs!sri-unix!dbj.rice@Rand-Relay
Newsgroups: net.unix-wizards
Title: Re: On C Checkers
Article-I.D.: sri-arpa.797
Posted: Wed Mar 16 19:31:43 1983
Received: Mon Apr  4 02:16:22 1983

From:  Dave Johnson <dbj.rice@Rand-Relay>

Lint DOES find the error in the program fragment:

	while (cp < cend)
		*cp++ == *ct++;

but only if you give lint the "-h" flag to tell it to "Apply a number of
heuristic tests to attempt to intuit bugs, improve style, and reduce waste."
Lint will report "warning: null effect" giving the correct line number
of the "*cp++ == *ct++;" line.  I haven't seen cchk either, but I have
become a strong believer in lint.

                                        Dave Johnson
                                        Dept. of Mathematical Sciences
                                        Rice University


P.S.  I tried to send this before, but my mesage seems to have vanished
      somewhere around the CSNet connection...