[php-src] Issue #7817: JIT segmentation fault in PHP 8.1
| From: | meinemitternacht | Date: | Thu, 31 Mar 2022 14:55:34 +0000 |
| Subject: | [php-src] Issue #7817: JIT segmentation fault in PHP 8.1 | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-240605@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/7817
Comment Author: meinemitternacht
I don't think it should be closed just because it is hard to reproduce, if that is indeed the
reason.