michael@0: // Binary: cache/js-dbg-32-9ca0a738a8ad-linux
michael@0: // Flags:
michael@0: //
michael@0: x = ({
michael@0:     x: /x/
michael@0: })
michael@0: x.p = []
michael@0: Object.defineProperty(x, "x", {
michael@0:     writable: ""
michael@0: })
michael@0: for (b in [[], null, [undefined]]) {
michael@0:     function f(a) {
michael@0:         delete a.x
michael@0:         a.x = Infinity
michael@0:     }
michael@0:     for each(z in [x]) {
michael@0:         f(z)
michael@0:     }
michael@0: }