lclint-interest message 121

BABYL OPTIONS:
Version: 5
Labels:
Note:   This is the header of an rmail file.
Note:   If you are seeing it in rmail,
Note:    it means the file has no messages in it.

1, answered,,
Summary-line: 25-Nov              alt@vlibs.com  #lclint format-type question
Received: from larch.lcs.mit.edu by okemo.lcs.mit.edu; (5.65v3.2/1.1.8.2/02Jun95-1218PM)
	id AA10930; Mon, 25 Nov 1996 17:31:12 -0500
Received: by larch.lcs.mit.edu (5.57/Ultrix3.0-C)
	id AA07161; Mon, 25 Nov 96 17:30:34 -0500
Received: by netcomsv.netcom.com with UUCP (8.6.12/SMI-4.1)
	id OAA20727; Mon, 25 Nov 1996 14:22:27 -0800
Received: from seal.vlibs.com (seal.vlibs.com [192.149.105.60]) by pup.vlibs.com (8.7.4/8.7.3) with ESMTP id NAA14572 for ; Mon, 25 Nov 1996 13:14:52 -0800 (PST)
Received: (from alt@localhost) by seal.vlibs.com (8.7.4/8.7.3) id NAA12225; Mon, 25 Nov 1996 13:14:52 -0800 (PST)
Date: Mon, 25 Nov 1996 13:14:52 -0800 (PST)
Message-Id: <199611252114.NAA12225@seal.vlibs.com>
From: "Albert L. Ting" 
To: lclint-interest@larch.lcs.mit.edu
Subject: lclint format-type question
Status: RO

*** EOOH ***
Date: Mon, 25 Nov 1996 13:14:52 -0800 (PST)
From: "Albert L. Ting" 
To: lclint-interest@larch.lcs.mit.edu
Subject: lclint format-type question


How do you enable the printf format-string checks when in -weak mode?  
I've tried a number of combos and looked at the 2.2 manual, but haven't had
much luck.  The +format-type and +format-code don't seem to do the trick.

Thanks,
Albert

-- 
Albert L. M. Ting * mail:alt@vlibs.com * phone:408-487-5327 * fax:408-453-3500
VLSI Libraries Incorporated, 2077 Gateway Place, Suite 300, San Jose, CA 95110