lclint-interest message 122

From Tue Nov 26 11:39:48 1996
Date: Tue, 26 Nov 96 10:52:18 -0500
From: (David Evans)
In-Reply-To: "Albert L. Ting"'s message of Mon, 25 Nov 1996 13:14:52 -0800 (PST) <>
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

Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science