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);
    echo sprintf("%s +%d\n", $last['file'], $last['line']);
});

declare(ticks=1);


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