Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85720
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.169 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <CAFMT4NqiXeO=n_2NsnZQHBWFDYBmhoE20yJ=JaEDfDwcT+N51Q@mail.gmail.com>
References: <CA+9eiLvd0YPKtED9CgU_thC9HUfTquaMJNf_9zQC0jyeX+rTuw@mail.gmail.com>
	<33BCE1D0-BA6D-464C-B23D-69AF71356111@ajf.me>
	<CAFMT4NqiXeO=n_2NsnZQHBWFDYBmhoE20yJ=JaEDfDwcT+N51Q@mail.gmail.com>
Date: Fri, 3 Apr 2015 13:32:18 -0600
Message-ID: <CAFMT4NomdDukpNRk-s9TA1W67KOO5YacT+g2x-t3MZ5XyeXigA@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: Dmitry Stogov <dmitry@zend.com>, PHP Internals <internals@lists.php.net>, 
	Nikita Popov <nikita.ppv@gmail.com>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Re: Fix division by zero to throw exception
From: levim@php.net (Levi Morrison)

On Fri, Apr 3, 2015 at 1:31 PM, Levi Morrison <levim@php.net> wrote:
> 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.

Well, correct as defined by IEEE 754 anyway.