17b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org// Copyright 2011 the V8 project authors. All rights reserved.
29a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// Redistribution and use in source and binary forms, with or without
39a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// modification, are permitted provided that the following conditions are
49a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// met:
59a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//
69a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//     * Redistributions of source code must retain the above copyright
79a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//       notice, this list of conditions and the following disclaimer.
89a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//     * Redistributions in binary form must reproduce the above
99a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//       copyright notice, this list of conditions and the following
109a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//       disclaimer in the documentation and/or other materials provided
119a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//       with the distribution.
129a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//     * Neither the name of Google Inc. nor the names of its
139a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//       contributors may be used to endorse or promote products derived
149a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//       from this software without specific prior written permission.
159a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com//
169a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
179a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
189a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
199a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
209a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
219a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
229a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
239a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
249a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
259a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
269a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
279a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com
287b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgfunction f() {
297b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  var i = 10;
307b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  var c = 0;
317b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  while (i-- > 0) {
327b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org    c++;
337b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org    if (i == 5) ;
347b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  }
357b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  assertEquals(10, c);
367b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org}
377b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgf();
387b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org
397b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org
407b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgfunction f2() {
417b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  var i = 10;
427b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  var c = 0;
437b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  while (i-- > 0) {
447b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org    c++;
457b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org    if (i == 5) break;
467b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  }
477b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  assertEquals(5, c);
487b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org}
497b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgf2();
509a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com
517b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org
527b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgfunction f3() {
537b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  var i = 10;
547b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  var c = 0;
557b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  outer: while (i-- > 0) {
567b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org    var j = 10;
577b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org    inner1: inner2: inner3: while (j-- > 0) {
587b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org      c++;
597b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org      if (i == 8)
607b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org        break inner2;
617b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org      if (i == 6)
627b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org        break outer;
637b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org    }
647b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  }
657b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  assertEquals(22, c);
667b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org}
677b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgf3();
687b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org
697b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgouter2: {
707b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  break outer2;
717b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org  assertUnreachable();
729a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com}
739a4089a092cad9ff23b6416b92cd5d818dc101d1mads.s.ager@gmail.com
747b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.org
757b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgouter3: break outer3;  // nop
767b26015ac58e54e88f4214e248f772ad4f055477whesse@chromium.orgl1: l2: l3: break l2;  // nop
77