Merge branch 'PHP-7.1'

* PHP-7.1:
  Prevent optimization of huge functions.

diff --cc ext/opcache/Optimizer/zend_ssa.c
Simple merge