Fixed #5105 (false positive: (warning) Either the condition 'b!=0' is useless or there is division by zero)