lclint-interest message 122

From evans@cs.virginia.edu Tue Nov 26 11:39:48 1996
Date: Tue, 26 Nov 96 10:52:18 -0500
From: evans@cs.virginia.edu (David Evans)
To: alt@vlibs.com
Cc: lclint-interest@larch.lcs.mit.edu
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.

--- Dave