Fixed #6118 (False positive: divide by zero - if condition not evaluated properly)