We know there are plenty of values for whichA > (L_1 - L_2)
is true.
For example, with L_1 == L_2
and A == UINT_MAX
.
But 0 > (L_1 - L_2) - A
is always false. As L1
, L2
and A
are unsigned operands (L_1 - L_2) - A
is an unsigned expression. The value of an unsigned expression is always >= 0
.