That line is only reached if the low mask is zero. If the high mask is zero then value is zero and the initial check at the start of the function catches it.