Regression: sem_get() auto_release — rejects int coerce and bool (re-#3704, ext/sysvsem/sysvsem.c) #19515

Category

stdlib · php-src-strict / regression

Problem

After #3704 landed, sem_get() exists but argument #4 ($auto_release) does not match php-src. Zend types it as bool and coerces int (e.g. 1). This compiler’s execute path parses it as int (SemArgs::parseOptionalInt) while an earlier signature check expects bool — so neither 1 nor true works.

php-src reference

• php/php-src ext/sysvsem/sysvsem.c — PHP_FUNCTION(sem_get)
• php/php-src ext/sysvsem/sysvsem.stub.php — function sem_get(int $key, int $max_acquire = 1, int $permissions = 0666, bool $auto_release = true): SysvSemaphore|false

PHP implementation target

• ext/sysvsem/sem_get.php — use bool parsing with php-src coercion (int → bool), not parseOptionalInt for arg 4
• ext/sysvsem/SemArgs.php — coerce-to-bool helper aligned with other builtins; PHP-in-PHP only (no runtime/*.c)
• Align reflected parameter type/name with the stub (permissions, auto_release: bool)

Repro

./script/docker-exec.sh -- bash -lc 'cat > /tmp/sem.php <<'"'"'PHP'"'"'
<?php
$key = ftok(__FILE__, "s");
$a = @sem_get($key, 1, 0666, 1);
echo "int_arg=", ($a !== false ? "ok" : "fail"), "\n";
$b = @sem_get($key + 1, 1, 0666, true);
echo "bool_arg=", ($b !== false ? "ok" : "fail"), "\n";
PHP
php /tmp/sem.php; php bin/vm.php /tmp/sem.php'

Done when

• Both auto_release=1 and auto_release=true return a live SysvSemaphore like Zend
• ReflectionFunction('sem_get') shows bool $auto_release
• Compliance .phpt under test/compliance/cases/sysvsem/
• php-src-strict; no new C runtime logic