Language: magic __get/__set pre/post dec no Undefined property (#32014)

phpunit.xml.dist

@@ -533,6 +533,10 @@
             <file>./test/compliance/UnserializeEmptySilentJITTest.php</file>
             <file>./test/compliance/DynPropIncUndefinedWarnVMTest.php</file>
             <file>./test/compliance/DynPropIncUndefinedWarnJITTest.php</file>
+            <file>./test/compliance/MagicPropIncNoUndefWarnVMTest.php</file>
+            <file>./test/compliance/MagicPropIncNoUndefWarnJITTest.php</file>
+            <file>./test/compliance/MagicPropDecNoUndefWarnVMTest.php</file>
+            <file>./test/compliance/MagicPropDecNoUndefWarnJITTest.php</file>
             <file>./test/compliance/XmlGetCurrentReflectionVMTest.php</file>
             <file>./test/compliance/XmlParserGetOptionReflectionVMTest.php</file>
             <file>./test/compliance/XmlParserFreeReflectionVMTest.php</file>

test/compliance/MagicPropDecNoUndefWarnJITTest.php

@@ -0,0 +1,29 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PHPCompiler;
+
+require_once __DIR__.'/../BaseTest.php';
+
+/**
+ * JIT: --$obj->n / $obj->n-- with __get/__set emits no Undefined property (#32014).
+ */
+final class MagicPropDecNoUndefWarnJITTest extends BaseTest
+{
+    protected static string $DIR = __DIR__;
+
+    public static function providePHPTests(): \Generator
+    {
+        $file = 'magic_prop_dec_no_undef_warn.phpt';
+        yield $file => self::parsePHPT(
+            __DIR__.'/cases/language/'.$file,
+            $file
+        );
+    }
+
+    public function setUp(): void
+    {
+        $this->BIN = realpath(__DIR__.'/../../bin/jit.php');
+    }
+}

test/compliance/MagicPropDecNoUndefWarnVMTest.php

@@ -0,0 +1,29 @@
+<?php
+
+declare(strict_types=1);
+
+namespace PHPCompiler;
+
+require_once __DIR__.'/../BaseTest.php';
+
+/**
+ * VM: --$obj->n / $obj->n-- with __get/__set emits no Undefined property (#32014).
+ */
+final class MagicPropDecNoUndefWarnVMTest extends BaseTest
+{
+    protected static string $DIR = __DIR__;
+
+    public static function providePHPTests(): \Generator
+    {
+        $file = 'magic_prop_dec_no_undef_warn.phpt';
+        yield $file => self::parsePHPT(
+            __DIR__.'/cases/language/'.$file,
+            $file
+        );
+    }
+
+    public function setUp(): void
+    {
+        $this->BIN = realpath(__DIR__.'/../../bin/vm.php');
+    }
+}

test/compliance/cases/language/magic_prop_dec_no_undef_warn.phpt

@@ -0,0 +1,28 @@
+--TEST--
+Language: --$obj->n / $obj->n-- with __get/__set emits no Undefined property (#32014, zend_object_handlers.c)
+--FILE--
+<?php
+error_reporting(E_ALL);
+class M {
+    private $d = ['n' => 1];
+    public function __get($k) { return $this->d[$k]; }
+    public function __set($k, $v) { $this->d[$k] = $v; }
+}
+$errs = [];
+set_error_handler(static function (int $errno, string $errstr) use (&$errs): bool {
+    $errs[] = [$errno, $errstr];
+    return true;
+});
+$m = new M();
+--$m->n;
+restore_error_handler();
+foreach ($errs as $e) {
+    echo "err[{$e[0]}] {$e[1]}\n";
+}
+echo "dec=", $m->n, "\n";
+$m = new M();
+$m->n--;
+echo "postdec=", $m->n, "\n";
+--EXPECT--
+dec=0
+postdec=0

test/repro/maintainer_gap_magic_prop_dec.php

@@ -0,0 +1,10 @@
+<?php
+error_reporting(E_ALL);
+class M {
+    private $d = ['n' => 1];
+    public function __get($k) { return $this->d[$k]; }
+    public function __set($k, $v) { $this->d[$k] = $v; }
+}
+$m = new M();
+--$m->n;
+echo 'dec=', $m->n, "\n";

test/repro/maintainer_gap_magic_prop_postdec.php

@@ -0,0 +1,10 @@
+<?php
+error_reporting(E_ALL);
+class M {
+    private $d = ['n' => 1];
+    public function __get($k) { return $this->d[$k]; }
+    public function __set($k, $v) { $this->d[$k] = $v; }
+}
+$m = new M();
+$m->n--;
+echo 'postdec=', $m->n, "\n";