]> granicus.if.org Git - php/commit
Fixed bug #75938
authorNikita Popov <nikita.ppv@gmail.com>
Fri, 9 Feb 2018 14:10:23 +0000 (15:10 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Fri, 9 Feb 2018 14:10:23 +0000 (15:10 +0100)
commit7aac61ce762b2658263f605dd4d910f6914b7129
tree1ae0b5d168c74db6c7f1f0eac195cd690598be63
parentf9a16d492e4ab5d9e98a68206b80a4753631d8c0
Fixed bug #75938

New modulus range inference implementation has been verified using
https://gist.github.com/nikic/67947ff92cf0e1f7e931f2f0d4cf817f.

The computed bounds are not tight, but it seems to be very hard to
compute tight bounds on modulus operations.
NEWS
ext/opcache/Optimizer/zend_inference.c
ext/opcache/tests/bug75938.phpt [new file with mode: 0644]