Description:
------------
(sorry for english...)

here is my fifth segmentation fault in PHP 5...

Reproduce code:
---------------
<?
class test { }

class thamer {

	public $test;

	public function __construct() {
		$this->test = new test; /* An entire mystery, without this code, no segmentation fault */
	}

	public function __destruct() {
		fuck();
		/*
			If you don't like "fuck()" and if you want a segfault, you can try with everything that raise a fatal error. Some examples :
			- trigger_error("thamer", E_USER_ERROR);
			- unset(self::$thamer);
			Warning : no fatal error, no segfault :)
		*/
	}

}

$test = new thamer;
?>

Expected result:
----------------
A fatal error (no segmentation fault...).

Actual result:
--------------
[Mon Sep 13 22:07:42 2004] [error] PHP Fatal error:  Call to undefined function fuck() in /www/test.php on line 13
/www/test.php(13) : Fatal error - Call to undefined function fuck()
[Mon Sep 13 22:07:43 2004] [notice] child pid 4043 exit signal Segmentation fault (11)

#0  0x082030bc in zend_objects_destroy_object (object=0x83035dc, handle=2) at /usr/src/php-5.0.1/Zend/zend_objects.c:37
#1  0x08205be0 in zend_objects_store_del_ref (zobject=0x830359c) at /usr/src/php-5.0.1/Zend/zend_objects_API.c:144
#2  0x081ed016 in _zval_dtor (zvalue=0x830359c, __zend_filename=0x8260d40 "/usr/src/php-5.0.1/Zend/zend_execute_API.c",
    __zend_lineno=391) at /usr/src/php-5.0.1/Zend/zend_variables.c:61
#3  0x081e1850 in _zval_ptr_dtor (zval_ptr=0x83034f0,
    __zend_filename=0x8261c60 "/usr/src/php-5.0.1/Zend/zend_variables.c", __zend_lineno=193)
    at /usr/src/php-5.0.1/Zend/zend_execute_API.c:391
#4  0x081ed368 in _zval_ptr_dtor_wrapper (zval_ptr=0x83034f0) at /usr/src/php-5.0.1/Zend/zend_variables.c:193
#5  0x081f68b8 in zend_hash_destroy (ht=0x830fbc4) at /usr/src/php-5.0.1/Zend/zend_hash.c:519
#6  0x08203322 in zend_objects_free_object_storage (object=0x831702c) at /usr/src/php-5.0.1/Zend/zend_objects.c:88
#7  0x0820593d in zend_objects_store_free_object_storage (objects=0x8285204)
    at /usr/src/php-5.0.1/Zend/zend_objects_API.c:72
#8  0x081e137f in shutdown_executor () at /usr/src/php-5.0.1/Zend/zend_execute_API.c:272
#9  0x081ee9b7 in zend_deactivate () at /usr/src/php-5.0.1/Zend/zend.c:819
#10 0x081a7648 in php_request_shutdown (dummy=0x0) at /usr/src/php-5.0.1/main/main.c:1212
#11 0x082204ac in main (argc=2, argv=0xbffff664) at /usr/src/php-5.0.1/sapi/cli/php_cli.c:1046