lclint-interest message 185

From evs Thu Feb  5 20:58:36 1998
Date: Thu, 5 Feb 98 19:56:18 -0500
From: evs (David Evans)
In-Reply-To: David A Vincent's message of 06 Feb 1998 10:23:04 +1100 
Subject: systemState anomaly

The documentation is buggy --- it should read "fileSystem" not
"systemState".  ("systemState" would actually be a better name, since it
isn't limited to the file system.)

void foo(void) /*@globals fileSystem; @*/ ;

should do what you want.

--- Dave

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