C strcmp implementation using subtraction of characters

The strcmp(a,b) function is expected to return

• <0 if string a < string b
• >0 if string a > string b
• 0 if string a == string b

The test is actually made on the first char being different in the two strings at the same location (0, the string terminator, works as well).

Here since the function takes two uint8_t (unsigned char), the developer was probably worrying about doing a comparison on two unsigned chars would give a number between 0 and 255, hence a negative value would never be returned. For instance, 118 - 236 would return -118, but on 8 bits it would return 138.

Thus the programmer decided to cast to int_16, signed integer (16 bits).

That could have worked, and given the correct negative/positive values (provided that the function returns int_16 instead of int_8).

^{(*edit: comment from @zwol below, the integer promotion is unavoidable, thus this int16_t casting is not necessary)}

However the final int_8 cast breaks the logic. Since returned values may be from -255 to 255, some of these values will see their sign reversed after the cast to int_8.

For instance, doing 255 - 0 gives the positive 255 (on 16 bits, all lower 8 bits to 1, MSB to 0) but in the int_8 world (signed int of 8 bits) this is negative, -1, since we only have the last low 8 bits set to binary 11111111, or decimal -1.

Definitely not a good programming example.

That working function from Apple is better

for ( ; *s1 == *s2; s1++, s2++)
    if (*s1 == '\0')
        return 0;
return ((*(unsigned char *)s1 < *(unsigned char *)s2) ? -1 : +1);

(Linux does it in assembly code…)