michael@0: // |jit-test| error:Error
michael@0: 
michael@0: // Binary: cache/js-dbg-64-aeeb631c6d43-linux
michael@0: // Flags:
michael@0: //
michael@0: options('tracejit');
michael@0: var actual = ''
michael@0: function f() {
michael@0:     for (var a = 0; a < 3; ++a) {
michael@0:         (function () {
michael@0:             for (var b = 0; b < 2; ++b) {
michael@0:                 (function () {
michael@0:                     for (a = 0, b = 0; b < 15; b++, actual = actual + "7") {
michael@0:                     }
michael@0:                 })();
michael@0:             }
michael@0:         })();
michael@0:     }
michael@0: }
michael@0: f();