<?php
class test{
  public $c=1;
  function __destruct (){
    if (!isset($GLOBALS['p'])) {
        echo "NULL\n";
    } else {
        $GLOBALS['p']->c++; // no warning
        print $GLOBALS['p']->c."\n"; // segfault
        var_dump($GLOBALS['p']);
    }
  }
}
$p=new test;
$p=null; //destroy the object by a new assignment (segfault)
?>