> > 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.
Thank you for update. If I add array[0]=""; just before the for loop it makes
splint happy and the for loop replaces it will the correct value. So
everything works as it should with an extra line of code which is not a big
deal.
Thanks,
_________________________________________________________________
Hotmail: Powerful Free email with security by Microsoft.
http://clk.atdmt.com/GBL/go/196390710/direct/01/_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
