Bug #80443 [Opn->Fbk]: sysvsem segfault

Edit report at https://bugs.php.net/bug.php?id=80443&edit=1 ID: 80443 Updated by: requinix@php.net Reported by: video dot ice dot power at seznam dot cz Summary: sysvsem segfault -Status: Open +Status: Feedback Type: Bug Package: Semaphore related Operating System: Linux/docker-alpine PHP Version: 8.0.0 Block user comment: N Private report: N New Comment: Thank you for this bug report. To properly diagnose the problem, we need a backtrace to see what is happening behind the scenes. To find out how to generate a backtrace, please read http://bugs.php.net/bugs-generating-backtrace.php for *NIX and http://bugs.php.net/bugs-generating-backtrace-win32.php for Win32 Once you have generated a backtrace, please submit it to this bug report and change the status back to "Open". Thank you for helping us make PHP better. Not sure which version of PHP 8 "RC4" is, but please try with the 8.0.0 GA that was released a few days ago. Previous Comments: ------------------------------------------------------------------------ [2020-11-29 13:44:39] video dot ice dot power at seznam dot cz 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 this bug report at https://bugs.php.net/bug.php?id=80443&edit=1