Assertion `zval_get_type(&(*(zptr))) == 6 && "Concat should return string"' failed

Description

The following code:

<?php
class A
{
    public string $prop = "";

}
class B
{
    public function __toString()
    {
        global $a;
        $a = $a = "";
        $a->p = "";
        return "";

    }

}
$a = new A();
$a = $a->prop .= new B();

?>

Resulted in this output:

php-src/Zend/zend_execute.c:1582: zend_binary_assign_op_typed_prop: Assertion `zval_get_type(&(*(zptr))) == 6 && "Concat should return string"' failed.

With asan, the output is:

==5503==ERROR: AddressSanitizer: SEGV on unknown address 0x000000000001 (pc 0x555555ef095f bp 0x7fffffff9b00 sp 0x7fffffff9ad0 T0)
==5503==The signal is caused by a WRITE memory access.
==5503==Hint: address points to the zero page.
    #0 0x555555ef095e in zend_gc_addref /php-src/Zend/zend_types.h:1210
    #1 0x555555ef095e in ZEND_ASSIGN_OBJ_OP_SPEC_CV_CONST_HANDLER /php-src/Zend/zend_vm_execute.h:40931
    #2 0x555555f5c7cf in execute_ex /php-src/Zend/zend_vm_execute.h:60234
    #3 0x555555f91637 in zend_execute /php-src/Zend/zend_vm_execute.h:61087
...)

It seems a use-after-free bug.

PHP Version

PHP 8.3.0-dev

Operating System

No response

Beginne damit, das bereitgestellte PHP-Snippet mit einem ASAN-Build zu reproduzieren, und untersuche anschließend zend_binary_assign_op_typed_prop in Zend/zend_execute.c sowie den zugehörigen Ausführungspfad in Zend/zend_vm_execute.h und Zend/zend_types.h. Als erledigt gilt die Aufgabe, wenn die Reproduktion die Assertion oder den ungültigen Schreibzugriff nicht mehr auslöst und das Verhalten durch einen Regressionstest abgedeckt ist.