Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index f070163a72366170ae8dfba2b47c801c8e14c783,6e7e7e8840690b4a93e64f095e5256461d7068c4..90a797700324f4d9045c03bc326778e6e5d428e2
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -33,15 -33,6 +33,17 @@@ PH
    . Fixed bug #65414 (deal with leading slash when adding files correctly).
      (bishopb)
  
 +- ODBC:
 +  . Fixed bug #73725 (Unable to retrieve value of varchar(max) type). (Anatol)
 +
 +- Opcache:
 +  . Fixed bug #75729 (opcache segfault when installing Bitrix). (Nikita)
 +  . Fixed bug #75893 (file_get_contents $http_response_header variable bugged
 +    with opcache). (Nikita)
 +  . Fixed bug #75938 (Modulus value not stored in variable). (Nikita)
++  . Fixed bug #75969 (Assertion failure in live range DCE due to block pass
++    misoptimization). (Nikita)
 +
  - SPL:
    . Fixed bug #74519 (strange behavior of AppendIterator). (jhdxr)
  

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