lclint-interest message 36

Date: Mon, 19 Jun 95 11:36:01 -0400
From: evs (David Evans)
In-Reply-To: Jon Freeman's message of Mon, 19 Jun 1995 08:57:35 -0400 <>
Subject: False alarms in lclint 1.4


Thanks for reporting the problem.  This is fixed in the development
version now, but may not be released for some time.

As a temporary fix with using Version 1.4c, you can use -unreachable to
supress the message.  For example,

      RecordError( "%s:  Failed.\n", routine );
      return FAILURE;
   /*@=unreachable@*/  /* yes, it really HAS to be after the } */

--- Dave

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