lclint-interest message 148

From Wed Sep 10 12:45:19 1997
Date: Wed, 10 Sep 97 10:52:38 -0400
From: (David Evans)
In-Reply-To: Harald Kirsch's message of Wed, 10 Sep 1997 11:50:36 +0200 <>
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:
	for(i=0; i

Previous Message

Next Message

Archive Summary

LCLint Home Page
University of Virginia, Computer Science