Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85718
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.212.176 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CA+9eiLvd0YPKtED9CgU_thC9HUfTquaMJNf_9zQC0jyeX+rTuw@mail.gmail.com>
References: <CA+9eiLvd0YPKtED9CgU_thC9HUfTquaMJNf_9zQC0jyeX+rTuw@mail.gmail.com>
Date: Fri, 3 Apr 2015 21:29:24 +0200
Message-ID: <CAF+90c-_e0JOecDCo8YKzRa53sEiHfRXRdbB6AU_az9qzo54vg@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: PHP Internals <internals@lists.php.net>, Andrea Faulds <ajf@ajf.me>
Content-Type: multipart/alternative; boundary=f46d0442678e58d8ea0512d6f742
Subject: Re: Fix division by zero to throw exception
From: nikita.ppv@gmail.com (Nikita Popov)

--f46d0442678e58d8ea0512d6f742
Content-Type: text/plain; charset=UTF-8

On Fri, Apr 3, 2015 at 9:04 PM, Dmitry Stogov <dmitry@zend.com> wrote:

> 1) Division by zero behavior in PHP is really inconsistent.
> It emits WARNING and returns FALLE.
>
> Note, that since PHP-5.6 division by zero may also occur in constant
> expressions. They are compiled and evaluated only once (on first request)
> and on next request WARNING is going to be hidden.
>
> $ cat div.php
> <?php
> class C {
>     const T = 5 / 0;
> }
> var_dump(C::T);
> ?>
>
> $ sapi/cgi/php-cgi -q -T 3 div.php
> PHP Warning:  Division by zero in
> /home/dmitry/php/php-master/CGI-DEBUG/div.php on line 3
> bool(false)
> bool(false)
> bool(false)
>
> I propose to change this into fatal error for division by zero at
> compile-time and exception a run-time.
>
> 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?
>

I'm okay with making both of these exceptions. It's really weird if
dividing two numbers you can suddenly end up with a boolean...

Nikita

--f46d0442678e58d8ea0512d6f742--