lclint-interest message 89
From mikee@rd.bbc.co.uk Thu Jul 18 15:22:08 1996
X-Mailer: exmh version 1.6.7 5/3/96
To: lclint-interest@larch.lcs.mit.edu
Cc: justin.mitchell@rd.bbc.co.uk
Subject: Initialising arrays in loops
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Thu, 18 Jul 1996 16:11:41 +0100
From: Mike Ellis
Hiya!
Can anyone out there help with this please?
% cat lclint.c
int main(void)
{
int array[4];
int count;
for (count = 0; count <= 3; count++)
{
array[count] = count;
}
/* initialised array[] */
return array[0];
}
% lclint lclint.c
LCLint 2.1b --- 15 May 96
lclint.c: (in function main)
lclint.c:12,10: Array element array[0] used before definition
An rvalue is used that may not be initialized to a value on some execution
path. (-usedef will suppress message)
Finished LCLint checking --- 1 code error found
%
Obviously, what we would like to do is have the comment carry some weight
- I "tell" LCLint that array[] has been initialised. Is there any way of
achieving this?
Cheers,
Mike.
Mike Ellis, Research and Development Engineer, BBC R & D
mike.ellis@rd.bbc.co.uk DDI:(+44) 1737 836663 Fax:(+44) 1737 836667
BBC R&D, Kingswood Warren, Woodland Way, Tadworth, Surrey KT20 6NP, UK
Any opinions expressed are my own and may not reflect those of the BBC
David
Evans
Software Devices and Systems
evs@sds.lcs.mit.edu