michael@0: // Binary: cache/js-dbg-64-3062ff7fef83-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: test();
michael@0: function test()
michael@0: {
michael@0:   for (var i = 0; i < 0e2.length; );
michael@0: }