🚀 go-pugleaf

In article <1992Nov16.162313.3334@Urmel.Informatik.RWTH-Aachen.DE> berg@physik.tu-muenchen.de (Stephen R. van den Berg) writes:
>#include <string.h>
>char first[]="first";
>char second[]={'s','e','c','o','n','d'};
[...]
>strcmp(first,second);
>
>Is this program allowed to behave undefined?

ANSI section 4.11.4, page 165 lines 5 to 7, say that the result depends on
the sign of the difference between the first pair of characters that differ.
This doesn't exactly say if the function can continue inspecting irrelevant
characters up to the end of each string.

Section 4.11.4.2 implies that it might inspect each entire string.  But the
implication is suspect -- because section 4.11.4.1 (memcmp) has similar
language for the "Returns" paragraph in lines 16 to 17, forgetting the
length limit in the "Description" paragraph in lines 13 to 14.

It might be wise to request an interpretation ruling.
--
Norman Diamond       diamond@jit081.enet.dec.com
If this were the company's opinion, I wouldn't be allowed to post it.
"It's been a lovely recession."