From bacd4c877bf95141a290d9d81ed9b443b399e184 Mon Sep 17 00:00:00 2001
From: yavon007 <shiyu.weilan@gmail.com>
Date: Tue, 22 Sep 2026 15:45:21 +0800
Subject: [PATCH 1/2] fix(optimizer): preserve abs integer minimum result

---
 src/Optimizer/FuncCallOptimizer.php |  7 +++++
 tests/compiler/stdlib/abs_edge.phpt | 43 ++++++++++++++++++++++++-----
 2 files changed, 43 insertions(+), 7 deletions(-)

diff --git a/src/Optimizer/FuncCallOptimizer.php b/src/Optimizer/FuncCallOptimizer.php
index aecdafd6..938bbfaa 100644
--- a/src/Optimizer/FuncCallOptimizer.php
+++ b/src/Optimizer/FuncCallOptimizer.php
@@ -892,6 +892,13 @@ protected function dispatchBigType(
             $args[] = $this->parseOrderedOperand($expr->args[1]->value, false);
         }
 
+        // PHP abs(PHP_INT_MIN) returns a float. The scalar PHPX overload
+        // cannot represent that value-dependent return type, so route static
+        // integers through the Variant overload, which preserves it.
+        if ($target === 'php::fn::abs' && $type === Type::INT) {
+            return $target . '(php::Variant(' . $args[0] . '))';
+        }
+
         return $target . '(' . implode(', ', $args) . ')';
     }
 
diff --git a/tests/compiler/stdlib/abs_edge.phpt b/tests/compiler/stdlib/abs_edge.phpt
index ca51ed37..ef167f60 100644
--- a/tests/compiler/stdlib/abs_edge.phpt
+++ b/tests/compiler/stdlib/abs_edge.phpt
@@ -1,16 +1,45 @@
 --TEST--
-abs edge cases: PHP_INT_MIN and -0.0
+abs edge cases preserve PHP_INT_MIN's float result on static integer paths
 --FILE--
 <?php
-$value = std::any(PHP_INT_MIN);
-var_dump(abs($value));
-var_dump(abs(-0.0));
-var_dump(abs(0));
-var_dump(abs(-5));
-var_dump(abs(3.14));
+function typed_abs(int $value): int|float
+{
+    return abs($value);
+}
+
+function next_value(int $value, int &$calls): int
+{
+    $calls++;
+    return $value;
+}
+
+function main(): void
+{
+    $minimum = PHP_INT_MIN;
+    $absoluteMinimum = abs($minimum);
+    var_dump($absoluteMinimum);
+    var_dump(typed_abs(PHP_INT_MIN));
+    var_dump(typed_abs(-42));
+
+    $calls = 0;
+    var_dump(abs(next_value(PHP_INT_MIN, $calls)));
+    var_dump($calls);
+
+    $value = std::any(PHP_INT_MIN);
+    var_dump(abs($value));
+    var_dump(abs(-0.0));
+    var_dump(abs(0));
+    var_dump(abs(-5));
+    var_dump(abs(3.14));
+}
 ?>
 --EXPECT--
 float(9.223372036854776E+18)
+float(9.223372036854776E+18)
+int(42)
+float(9.223372036854776E+18)
+int(1)
+float(9.223372036854776E+18)
 float(0)
 int(0)
 int(5)

From a2694d85bc4653217fa078783d0781c492f6f1eb Mon Sep 17 00:00:00 2001
From: yavon007 <shiyu.weilan@gmail.com>
Date: Tue, 22 Sep 2026 16:13:57 +0800
Subject: [PATCH 2/2] test: update static callback closure magic name
 expectation

---
 tests/compiler/static/static_prop_write.phpt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/compiler/static/static_prop_write.phpt b/tests/compiler/static/static_prop_write.phpt
index d25a74a8..8827d81f 100644
--- a/tests/compiler/static/static_prop_write.phpt
+++ b/tests/compiler/static/static_prop_write.phpt
@@ -29,4 +29,4 @@ function main() {
 }
 ?>
 --EXPECT--
-string(4) "init"
\ No newline at end of file
+string(27) "{closure:Worker::init():18}"