Bug #80443 [NEW]: sysvsem segfault

From: video dot ice dot power at seznam dot cz Operating system: Linux/docker-alpine PHP version: 8.0.0 Package: Semaphore related Bug Type: Bug Bug description:sysvsem segfault Description: ------------ when sysvsem ext is not installed (and excluded from dev dependency from composer.json), there is no segfault, thus I am strongly belive there is an issue in "sysvsem" on php 7.4, there is no issue Test script: --------------- docker-php-ext-install pcntl sysvsem composer remove --no-update ext-memcached --dev composer remove --no-update ext-sysvsem --dev git clone https://github.com/php-lock/lock && cd lock && composer update vendor/bin/phpunit --no-coverage -v Expected result: ---------------- phpunit finishes Actual result: -------------- PHPUnit 9.4.3 by Sebastian Bergmann and contributors. Runtime: PHP 8.0.0RC4 Configuration: /builds/mahalux/php-lock-cust/phpunit.xml.dist ................SS...F...F./bin/bash: line 137: 4467 Segmentation fault (core dumped) vendor/bin/phpunit -- Edit bug report at https://bugs.php.net/bug.php?id=80443&edit=1 -- Fix committed: https://bugs.php.net/fix.php?id=80443&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=80443&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=80443&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=80443&r=needscript Try newer version: https://bugs.php.net/fix.php?id=80443&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=80443&r=support Expected behavior: https://bugs.php.net/fix.php?id=80443&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=80443&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=80443&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=80443&r=globals PHP version support discontinued: https://bugs.php.net/fix.php?id=80443&r=phptooold Daylight Savings: https://bugs.php.net/fix.php?id=80443&r=dst IIS Stability: https://bugs.php.net/fix.php?id=80443&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=80443&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=80443&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=80443&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=80443&r=mysqlcfg