michael@0: // |jit-test| error:InternalError
michael@0: 
michael@0: // Binary: cache/js-dbg-64-d43c6dddeb2b-linux
michael@0: // Flags: -m -n
michael@0: //
michael@0: 
michael@0: function printBugNumber (num) {
michael@0:   BUGNUMBER = num;
michael@0:   print ('BUGNUMBER: ' + num);
michael@0: }
michael@0: var actual = '';
michael@0: test();
michael@0: function test() {
michael@0:   printBugNumber(test);
michael@0:   function f(N) {
michael@0:     for (var i = 0; i != N; ++i) {
michael@0:       for (var repeat = 0;repeat != 2; ++repeat) {
michael@0:         var count = BUGNUMBER(repeat);
michael@0:       }
michael@0:     }
michael@0:   }
michael@0:   var array = [function() { f(10); }, ];
michael@0:   for (var i = 0; i != array.length; ++i)
michael@0:     array[i]();
michael@0: }