lclint-interest message 148

From evans@cs.virginia.edu Wed Sep 10 12:45:19 1997
Date: Wed, 10 Sep 97 10:52:38 -0400
From: evans@cs.virginia.edu (David Evans)
To: lclint-interest@larch.lcs.mit.edu
Cc: kir@iitb.fhg.de
In-Reply-To: Harald Kirsch's message of Wed, 10 Sep 1997 11:50:36 +0200 <199709100950.LAA27492@bsilx1.iitb.fhg.de>
Subject: proper annotation of arrays


The problem is that lclint cannot deep structures well enough to analyze
arrays of pointers correctly.  There are a couple possible ways to prevent
the warning in this case, although none is really satisfactory.  

The simplest thing to do is to put loopexec around the first loop:
	
	/*@+loopexec@*/
	for(i=0; i








 David
Evans 

University of Virginia, Computer Science

evans@cs.virginia.edu