strcpy question

[Lorenzo]

Is strcpy function in string.h correct ?
It seems that it doesn't copy the '\0' too in destination string:
s2 is {'h','e','l','l','o','\0'} and s1 is {'1','1','1','1','1','1'}
after strcpy(s1,s2), s1 is {'h','e','l','l','o','1'} and not {'h','e','l','l','o','\0'}.

Is it right ?

[Paolino]

I think there are some mis-understandings. I think s1 and s2 should have the same length. With the strings given strlen() function should return 5 for s2 and 6 for s1. Try with the example given in CCS help (look for STRLEN). It is not possible to do a=strlen("hello"); you must use arrays.

Best wishes.

Paolo.

[ckielstra]

It looks like a bug to me.

In v3.187 this is the code from string.h for strcpy():