1--TEST-- 2Bug #72860: wddx_deserialize use-after-free 3--SKIPIF-- 4<?php 5if (!extension_loaded('wddx')) { 6 die('skip. wddx not available'); 7} 8?> 9--FILE-- 10<?php 11 12$xml=<<<XML 13<?xml version='1.0'?> 14<!DOCTYPE wddxPacket SYSTEM 'wddx_0100.dtd'> 15<wddxPacket version='1.0'> 16 <recordset fieldNames='F'> 17 <field name='F'> 18 </recordset> 19</wddxPacket> 20XML; 21 22var_dump(wddx_deserialize($xml)); 23?> 24DONE 25--EXPECT-- 26NULL 27DONE 28