Re: Re: Fix division by zero to throw exception

On Fri, Apr 3, 2015 at 1:10 PM, Andrea Faulds <ajf@ajf.me> wrote: > Hi Dmitry, > >> On 3 Apr 2015, at 20:04, Dmitry Stogov <dmitry@zend.com> wrote: >> >> 2) Very similar weird behavior was introduced for shift with negative offsets. I also >> propose to change it in the same way (Fatal error at compile-time, Exception in run-time). >> >> Any thoughts? objections? > > For consistency with IEEE 754, shouldn't we produce INF on a division by zero, at least > for floats (but probably integers too because of weak typing)? I don't think producing a > warning is an issue, but FALSE isn't the right value to produce. I agree with Andrea. Currently we do floating point division even if both arguments are integers, and the correct behavior for a floating point divide by zero is to produce an INF or -INF.