[Prev][Next][Index]

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

Reference(s):