1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
// Copyright (C) 2016 the V8 project authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-for-statement-runtime-semantics-labelledevaluation
description: >
No variable environment is created for each evaluation of the statement
body
info: |
[...]
11. Let bodyResult be ForBodyEvaluation(the first Expression, the second
Expression, Statement, perIterationLets, labelSet).
[...]
13.7.4.8 Runtime Semantics: ForBodyEvaluation
[...]
2. Perform ? CreatePerIterationEnvironment(perIterationBindings).
3. Repeat
[...]
b. Let result be the result of evaluating stmt.
[...]
e. Perform ? CreatePerIterationEnvironment(perIterationBindings).
[...]
13.7.4.9 Runtime Semantics: CreatePerIterationEnvironment
1. If perIterationBindings has any elements, then
[...]
e. Let thisIterationEnv be NewDeclarativeEnvironment(outer).
f. Let thisIterationEnvRec be thisIterationEnv's EnvironmentRecord.
flags: [noStrict]
---*/
var probeBefore = function() { return [x, y, z]; };
var probeTest, probeIncr, probeBody;
var run = true;
for (
;
run && (eval('var x = 1;'), probeTest = function() { return [x, y, z]; });
eval('var y = 1;'), probeIncr = function() { return [x, y, z]; }
)
var z = 1, _ = (probeBody = function() { return [x, y, z]; }), run = false;
var x = 2;
var y = 2;
var z = 2;
assert.sameValue(
probeBefore()[0],
2,
'reference preceeding statement (redeclared in "test" position)'
);
assert.sameValue(
probeBefore()[1],
2,
'reference preceeding statement (redeclared in statement body)'
);
assert.sameValue(
probeBefore()[2],
2,
'reference preceeding statement (redeclared in "increment" position)'
);
assert.sameValue(
probeTest()[0],
2,
'reference from "test" position (redeclared in "test" position)'
);
assert.sameValue(
probeTest()[1],
2,
'reference from "test" position (redeclared in statement body)'
);
assert.sameValue(
probeTest()[2],
2,
'reference from "test" position (redeclared in "increment" position)'
);
assert.sameValue(
probeBody()[0],
2,
'reference from statement body (redeclared in "test" position)'
);
assert.sameValue(
probeBody()[1],
2,
'reference from statement body (redeclared in statement body)'
);
assert.sameValue(
probeBody()[2],
2,
'reference from statement body (redeclared in "increment" position)'
);
assert.sameValue(
probeIncr()[0],
2,
'reference from "increment" position (redeclared in "test" position)'
);
assert.sameValue(
probeIncr()[1],
2,
'reference from "increment" position (redeclared in statement body)'
);
assert.sameValue(
probeIncr()[2],
2,
'reference from "increment" position (redeclared in "increment" position)'
);
|
