Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85716
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.160.174 as permitted sender)
MIME-Version: 1.0
Date: Fri, 3 Apr 2015 22:04:52 +0300
Message-ID: <CA+9eiLvd0YPKtED9CgU_thC9HUfTquaMJNf_9zQC0jyeX+rTuw@mail.gmail.com>
To: PHP Internals <internals@lists.php.net>, Nikita Popov <nikita.ppv@gmail.com>, 
	Andrea Faulds <ajf@ajf.me>
Content-Type: multipart/alternative; boundary=001a11c29cc08acc760512d69fa4
Subject: Fix division by zero to throw exception
From: dmitry@zend.com (Dmitry Stogov)

--001a11c29cc08acc760512d69fa4
Content-Type: text/plain; charset=UTF-8

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?

Thanks. Dmitry.

--001a11c29cc08acc760512d69fa4--