From: Pierre Joye <pierre.php@gmail.com>
Date: Tue, 19 Jul 2016 08:53:25 +0000 (+0700)
Subject: Merge branch 'PHP-5.6' into PHP-7.0
X-Git-Tag: php-7.1.0beta1~25^2~4
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=bc8c722cb4feb457b40bd88840989c63691150ab;p=php

Merge branch 'PHP-5.6' into PHP-7.0

* PHP-5.6:
  improve fix #72558, while (u>=0) with unsigned int will always be true
---

bc8c722cb4feb457b40bd88840989c63691150ab