--TEST--
Bug #72787 (json_decode reads out of bounds)
--SKIPIF--
<?php if (!extension_loaded("json")) print "skip"; ?>
<?php if (PHP_INT_SIZE != 8) die("skip this test is for 64bit platform only"); ?>
--FILE--
<?php
var_dump(json_decode('[]', false, 0x100000000));
?>
--EXPECTF--
Warning: json_decode(): Depth must be lower than %d in %s on line %d
NULL