lclint-interest message 91

From oh@seung-hong.ganet.net Thu Jul 18 22:10:52 1996
Date: Thu, 18 Jul 1996 21:34:26 -0400 (EDT)
From: Seung-Hong Oh 
Reply-To: oh@cis.ohio-state.edu
To: David Evans 
Cc: lclint-interest@larch.lcs.mit.edu
Subject: Re: Initialising arrays in loops
In-Reply-To: <9607181929.AA18071@larch.lcs.mit.edu>
Organization: Oh's Laboratory
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

On Thu, 18 Jul 1996, David Evans wrote:

How about if I initialize struct fields with memset(bzero),
lclint gives warning like 
"Value *(options->rcfile) used before definition
  An rvalue is used that may not be initialized to a value on some
execution  path. (-usedef will suppress message)"

Is there annotation to tell lint that it is intialized with memset?

Thanks in advance.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Sean(Seung-Hong) Oh   
                     



Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu