lclint-interest message 122
From email@example.com Tue Nov 26 11:39:48 1996
Date: Tue, 26 Nov 96 10:52:18 -0500
From: firstname.lastname@example.org (David Evans)
In-Reply-To: "Albert L. Ting"'s message of Mon, 25 Nov 1996 13:14:52 -0800 (PST) <199611252114.NAA12225@seal.vlibs.com>
Subject: lclint format-type question
Type checking for printf format codes is enabled in -weak mode, the
difference is the type checking --- since char and int are equivalent in
weak mode, lclint will not report an error when a char is printed using
%d, etc. It will, for instance, report and error when a float is
printed as %d.
If this is what you have in mind, then you would need to set -charint to
get the errors reported in printf's (as elsewhere). If there is some
other kind of error you expect but aren't getting, let me know.
University of Virginia, Computer Science