lclint-interest message 143

From evans@cs.virginia.edu Thu Jul  3 12:54:23 1997
Date: Thu, 3 Jul 97 12:51:04 -0400
From: evans@cs.virginia.edu (David Evans)
To: J.J.vanderHeijden@student.utwente.nl
Cc: lclint-interest@larch.lcs.mit.edu
In-Reply-To: Jan-Jaap van der Heijden's message of Wed, 2 Jul 1997 22:57:05 +0100 (WET DST) 
Subject: out of memory


Hi JanJaap,

This does indeed look like an lclint bug.  Lclint doesn't handle parse
errors well (hence the "tryto" in +trytorecover).  From the messages, it
looks like module_t is a type name the is not defined, leading to the
parse error.  

Possibly, the module_t type is defined in one of the standard header
files.  Note that lclint does NOT include these files by default,
instead using a standard library following the ANSI (or POSIX when you
have the +posixlib) spec.  Probably one of the posix headers for your
system is defining module_t, which (unless there is a bug in the
library!) isn't defined in the POSIX spec, hence the parse error.  You
could try the -skipposixheaders flag to force lclint to use your local
posix headers.  (This may lead to other problems, if the headers use
non-standard extensions.)  Another workaround would be to just add a
type definition.

--- Dave