clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-22 02:17:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixed type inference for COPY_TMP

Browse Source
This commit is contained in:
Dmitry Stogov 2021-10-11 16:56:07 +03:00
parent ccdda69a18
commit a4c41d45cd
2 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ext/opcache/Optimizer/zend_inference.c
View File

@ -2518,7 +2518,7 @@ static zend_always_inline int _zend_update_type_info(
tmp |= MAY_BE_RCN;
}
}
if (opline->opcode != ZEND_QM_ASSIGN) {
if (opline->opcode == ZEND_COALESCE || opline->opcode == ZEND_JMP_SET) {
/* COALESCE and JMP_SET result can't be null */
tmp &= ~MAY_BE_NULL;
if (opline->opcode == ZEND_JMP_SET) {

23
ext/opcache/tests/jit/copy_tmp_001.phpt Normal file
View File

@ -0,0 +1,23 @@
--TEST--
JIT COPY_TMP: 001
--INI--
opcache.enable=1
opcache.enable_cli=1
opcache.file_update_protection=0
opcache.jit_buffer_size=1M
opcache.protect_memory=1
--FILE--
<?php
function test() {
echo "";
}
$a = [];
$a[test()] ??= 1;
var_dump($a);
?>
--EXPECT--
array(1) {
[""]=>
int(1)
}