lclint-interest message 36

Date: Mon, 19 Jun 95 11:36:01 -0400
From: evs (David Evans)
To: freeman_jon@jpmorgan.com
Cc: lclint-interest@larch.lcs.mit.edu
In-Reply-To: Jon Freeman's message of Mon, 19 Jun 1995 08:57:35 -0400 <199506191257.IAA14026@nygd-devc143.ny.jpmorgan.com>
Subject: False alarms in lclint 1.4


Jon,

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,

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

--- Dave