// Any copyright is dedicated to the Public Domain. // http://creativecommons.org/licenses/publicdomain/ // Contributor: Gary Kwong <gary@rumblingedge.com>, Jesse Ruderman <jruderman@gmail.com> for (var u = 0; u < 3; ++u) { var y = []; Object.create(y); gc(); y.t = 3; gc(); } reportCompare(0, 0, 'ok');