How to find a segfault in PHP

segfault-finder.php

<?php

register_tick_function(function() {
    $bt = debug_backtrace(DEBUG_BACKTRACE_IGNORE_ARGS, 1);
    $last = reset($bt);
    $info = sprintf("%s +%d\n", $last['file'], $last['line']);
    file_put_contents('/tmp/segfault.txt', $info, FILE_APPEND);
    // or
    // file_put_contents('php://output', $info, FILE_APPEND);
});

declare(ticks=1);

function foobar()
{
    $c = 1;
    $d = 1;
    // segfault
    // $d = 1;
}
foobar();