Applying the patch linked to above (https://git.php.net/?p=php-src.git;a=commitdiff;h=f938112c495b0d26572435c0be73ac0bfe642ecd) makes the segfault go away and the expected output occur.
So this bug IS in php (and also exist in file apparently). Reassigning to file is wrong, given the bug exists in php as reported. A separate bug for file ought to be created if it can be reproduced there. -- Len Sorensen -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
