[splint-discuss] Passed storage not completely defined

[Bill Pringlemeir]

On 30 Jan 2010, bofh1234 at hotmail.com wrote:

> Thank you for the example.  I tried it and splint gives the same message.

I sent a message to say I was sorry, this seemed to be a bug, shortly
after posting that (however, I did that with a different email address
than registered and it is taking time to make it to the list).  I had
missed the fact that I added,

  array[0] = "";

I had this running in the debugger and the symbol type for the
parameter changed due to this.  Also memset() has the same
behavior.

Thanks,
Bill Pringlemeir.

-- 
Unfortunately, since the TCP and IP protocols were not designed by a
committee, all these header fields serve some useful purpose and its
not possible to simply omit some in the name of efficiency.
- Van Jacobson, RFC 1144.