Fixed #5301 (False positive: (error) Division by zero - variables read from input stream)