inference

Author: nielsdos

Zend/Optimizer/zend_inference.c

@@ -3299,8 +3299,8 @@ static zend_always_inline zend_result _zend_update_type_info(
 		case ZEND_ROPE_END:
 			UPDATE_SSA_TYPE(MAY_BE_STRING|MAY_BE_RC1|MAY_BE_RCN, ssa_op->result_def);
 			break;
-		// TODO: ZEND_RECV_CE
 		case ZEND_RECV:
+		case ZEND_RECV_CE:
 		case ZEND_RECV_INIT:
 		case ZEND_RECV_VARIADIC:
 		{

ext/opcache/tests/opt/prop_types.phpt

@@ -58,7 +58,7 @@ noScope:
 BB0:
      ; start exit lines=[0-9]
      ; level=0
-0000 #1.CV0($test) [object (instanceof Test)] = RECV 1
+0000 #1.CV0($test) [object (instanceof Test)] = RECV_CE 1 string("Test")
 0001 INIT_FCALL 3 %d string("var_dump")
 0002 #2.T1 [bool] = FETCH_OBJ_R #1.CV0($test) [object (instanceof Test)] string("public")
 0003 SEND_VAL #2.T1 [bool] 1
@@ -96,7 +96,7 @@ Test::inTestWithTest2:
 BB0:
      ; start exit lines=[0-9]
      ; level=0
-0000 #1.CV0($test2) [object (instanceof Test2)] = RECV 1
+0000 #1.CV0($test2) [object (instanceof Test2)] = RECV_CE 1 string("Test2")
 0001 INIT_FCALL 3 %d string("var_dump")
 0002 #2.T1 [bool] = FETCH_OBJ_R #1.CV0($test2) [object (instanceof Test2)] string("public")
 0003 SEND_VAL #2.T1 [bool] 1