mirror of
https://github.com/php/php-src.git
synced 2024-10-21 00:12:34 +00:00
18 lines
364 B
Plaintext
18 lines
364 B
Plaintext
|
--TEST--
|
||
|
Bug #34617 (zend_deactivate: objects_store used after zend_objects_store_destroy is called)
|
||
|
--SKIPIF--
|
||
|
<?php if (!extension_loaded("xml")) print "skip"; ?>
|
||
|
--FILE--
|
||
|
<?php
|
||
|
class Thing {}
|
||
|
function boom()
|
||
|
{
|
||
|
$reader = xml_parser_create();
|
||
|
xml_set_object($reader, new Thing());
|
||
|
die("ok\n");
|
||
|
xml_parser_free($reader);
|
||
|
}
|
||
|
boom();
|
||
|
?>
|
||
|
--EXPECT--
|
||
|
ok
|