block-leave.js revision 3ef787dbeca8a5fb1086949cda830dccee07bfbd 
1// Copyright 2011 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6//     * Redistributions of source code must retain the above copyright
7//       notice, this list of conditions and the following disclaimer.
8//     * Redistributions in binary form must reproduce the above
9//       copyright notice, this list of conditions and the following
10//       disclaimer in the documentation and/or other materials provided
11//       with the distribution.
12//     * Neither the name of Google Inc. nor the names of its
13//       contributors may be used to endorse or promote products derived
14//       from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28// Flags: --harmony-scoping
29
30// TODO(ES6): properly activate extended mode
31"use strict";
32
33// We want to test the context chain shape.  In each of the tests cases
34// below, the outer with is to force a runtime lookup of the identifier 'x'
35// to actually verify that the inner context has been discarded.  A static
36// lookup of 'x' might accidentally succeed.
37
38{
39  let x = 2;
40  L: {
41    let x = 3;
42    assertEquals(3, x);
43    break L;
44    assertTrue(false);
45  }
46  assertEquals(2, x);
47}
48
49do {
50  let x = 4;
51  assertEquals(4,x);
52  {
53    let x = 5;
54    assertEquals(5, x);
55    continue;
56    assertTrue(false);
57  }
58} while (false);
59
60var caught = false;
61try {
62  {
63    let xx = 18;
64    throw 25;
65    assertTrue(false);
66  }
67} catch (e) {
68  caught = true;
69  assertEquals(25, e);
70  (function () {
71    try {
72      // NOTE: This checks that the block scope containing xx has been
73      // removed from the context chain.
74      eval('xx');
75      assertTrue(false);  // should not reach here
76    } catch (e2) {
77      assertTrue(e2 instanceof ReferenceError);
78    }
79  })();
80}
81assertTrue(caught);
82
83
84(function(x) {
85  label: {
86    let x = 'inner';
87    break label;
88  }
89  assertEquals('outer', eval('x'));
90})('outer');
91
92
93(function(x) {
94  label: {
95    let x = 'middle';
96    {
97      let x = 'inner';
98      break label;
99    }
100  }
101  assertEquals('outer', eval('x'));
102})('outer');
103
104
105(function(x) {
106  for (var i = 0; i < 10; ++i) {
107    let x = 'inner' + i;
108    continue;
109  }
110  assertEquals('outer', eval('x'));
111})('outer');
112
113
114(function(x) {
115  label: for (var i = 0; i < 10; ++i) {
116    let x = 'middle' + i;
117    for (var j = 0; j < 10; ++j) {
118      let x = 'inner' + j;
119      continue label;
120    }
121  }
122  assertEquals('outer', eval('x'));
123})('outer');
124
125
126(function(x) {
127  try {
128    let x = 'inner';
129    throw 0;
130  } catch (e) {
131    assertEquals('outer', eval('x'));
132  }
133})('outer');
134
135
136(function(x) {
137  try {
138    let x = 'middle';
139    {
140      let x = 'inner';
141      throw 0;
142    }
143  } catch (e) {
144    assertEquals('outer', eval('x'));
145  }
146})('outer');
147
148
149try {
150  (function(x) {
151    try {
152      let x = 'inner';
153      throw 0;
154    } finally {
155      assertEquals('outer', eval('x'));
156    }
157  })('outer');
158} catch (e) {
159  if (e instanceof MjsUnitAssertionError) throw e;
160}
161
162
163try {
164  (function(x) {
165    try {
166      let x = 'middle';
167      {
168        let x = 'inner';
169        throw 0;
170      }
171    } finally {
172      assertEquals('outer', eval('x'));
173    }
174  })('outer');
175} catch (e) {
176  if (e instanceof MjsUnitAssertionError) throw e;
177}
178
179
180// Verify that the context is correctly set in the stack frame after exiting
181// from with.
182function f() {}
183
184(function(x) {
185  label: {
186    let x = 'inner';
187    break label;
188  }
189  f();  // The context could be restored from the stack after the call.
190  assertEquals('outer', eval('x'));
191})('outer');
192
193
194(function(x) {
195  for (var i = 0; i < 10; ++i) {
196    let x = 'inner';
197    continue;
198  }
199  f();
200  assertEquals('outer', eval('x'));
201})('outer');
202
203
204(function(x) {
205  try {
206    let x = 'inner';
207    throw 0;
208  } catch (e) {
209    f();
210    assertEquals('outer', eval('x'));
211  }
212})('outer');
213
214
215try {
216  (function(x) {
217    try {
218      let x = 'inner';
219      throw 0;
220    } finally {
221      f();
222      assertEquals('outer', eval('x'));
223    }
224  })('outer');
225} catch (e) {
226  if (e instanceof MjsUnitAssertionError) throw e;
227}
228