Michael,
>>> - struct operation op;
>>> + struct operation op = {0,0,0,0,0};
>> This adds extra runtime overhead, but clearly does not fix
>> any real bug, unlike the other kinds of changes provided.
>
> It's also unnecessarily verbose, since:
>
> struct operation op = {0};
>
> will initialize all members of op appropriately...
Verbosity (redundancy) has its uses. In this case it provides
the opportunity for tools to check whether the number of fields
expected by the developer is the same as the number of fields
that appear in the code.
--
Derek M. Jones tel: +44 (0) 1252 520 667
Knowledge Software Ltd mailto:[EMAIL PROTECTED]
Source code analysis http://www.knosof.co.uk
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
