False alarms in lclint 1.4

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

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

• False alarms in lclint 1.4
• From: Jon Freeman <freeman_jon@jpmorgan.com>

• Prev: Where to get FAQ??
• Next: False alarms in lclint 1.4
• Index: Larch archive index