Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85719
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.172 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <33BCE1D0-BA6D-464C-B23D-69AF71356111@ajf.me>
References: <CA+9eiLvd0YPKtED9CgU_thC9HUfTquaMJNf_9zQC0jyeX+rTuw@mail.gmail.com>
	<33BCE1D0-BA6D-464C-B23D-69AF71356111@ajf.me>
Date: Fri, 3 Apr 2015 13:31:39 -0600
Message-ID: <CAFMT4NqiXeO=n_2NsnZQHBWFDYBmhoE20yJ=JaEDfDwcT+N51Q@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: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.