lclint-interest message 2

To: peterc@a3.ph.man.ac.uk (Peter Chang)
Cc: evans@cs.virginia.edu (David Evans), horning@src.dec.com
Subject: Re: improvement on predicates?
In-Reply-To: Message of Mon, 24 Oct 1994 16:11:53 +0100
Date: Mon, 24 Oct 94 11:34:16 -0700
From: horning@src.dec.com
X-Mts: smtp

Peter,

Dave can check me on this, but I think you can eliminate this problem
merely by declaring verbose to be a bool, rather than an int, if it is
intended to be used for logical tests.

Separately, a check for pure assignments in predicates might be a good
addition.

Jim H.