Yes, this is guaranteed. According to the C ISO spec, §6.5.5/5:
The result of the / operator is the quotient from the division of the first operand by the
second;
The quotient of 1 / 2 is 0, so 1 / 2 == 0
is guaranteed to be true in C.
Hope this helps!