11e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// Copyright 2011 the V8 project authors. All rights reserved.
21e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// Redistribution and use in source and binary forms, with or without
31e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// modification, are permitted provided that the following conditions are
41e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// met:
51e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//
61e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//     * Redistributions of source code must retain the above copyright
71e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       notice, this list of conditions and the following disclaimer.
81e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//     * Redistributions in binary form must reproduce the above
91e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       copyright notice, this list of conditions and the following
101e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       disclaimer in the documentation and/or other materials provided
111e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       with the distribution.
121e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//     * Neither the name of Google Inc. nor the names of its
131e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       contributors may be used to endorse or promote products derived
141e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       from this software without specific prior written permission.
151e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//
161e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
171e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
181e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
191e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
201e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
211e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
221e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
231e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
241e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
251e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
261e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
271e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
283fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochfunction f() {
293fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  var i = 10;
303fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  var c = 0;
313fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  while (i-- > 0) {
323fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    c++;
333fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    if (i == 5) ;
343fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
353fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  assertEquals(10, c);
363fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch}
373fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochf();
383fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
393fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
403fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochfunction f2() {
413fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  var i = 10;
423fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  var c = 0;
433fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  while (i-- > 0) {
443fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    c++;
453fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    if (i == 5) break;
463fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
473fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  assertEquals(5, c);
483fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch}
493fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochf2();
501e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
513fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
523fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochfunction f3() {
533fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  var i = 10;
543fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  var c = 0;
553fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  outer: while (i-- > 0) {
563fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    var j = 10;
573fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    inner1: inner2: inner3: while (j-- > 0) {
583fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch      c++;
593fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch      if (i == 8)
603fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch        break inner2;
613fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch      if (i == 6)
623fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch        break outer;
633fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    }
643fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
653fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  assertEquals(22, c);
663fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch}
673fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochf3();
683fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
693fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochouter2: {
703fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  break outer2;
713fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  assertUnreachable();
721e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block}
73e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch
743fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
753fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochouter3: break outer3;  // nop
763fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochl1: l2: l3: break l2;  // nop
77