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