
--TEST--
tidy_get_body() crash
--SKIPIF--
<?php if (!extension_loaded('tidy')) die('skip'); ?>
--FILE--
<?php

// bug report taken from http://news.php.net/php.notes/130628

$inputs = array(
    '<frameset > </frameset>',
    '<html><frameset> </frameset> </html',
);


foreach ($inputs as $input) { 

    $t = tidy_parse_string($input);
    $t->cleanRepair();
    var_dump(tidy_get_body($t));
}

echo "Done\n";
?>
--EXPECT--
NULL
NULL
Done