blob: 79ccb3c18b0e89a1314cee120ce1d9e1d6d0a86a [file] [log] [blame]
keith_miller@apple.combcc77f22016-07-15 06:03:25 +00001// This file was procedurally generated from the following sources:
2// - src/annex-b-fns/eval-func-exsting-fn-no-init.case
3// - src/annex-b-fns/eval-func/direct-if-stmt-else-decl.template
4/*---
5description: Existing variable binding is not modified (IfStatement with a declaration in the second statement position in eval code)
6esid: sec-functiondeclarations-in-ifstatement-statement-clauses
7es6id: B.3.4
8flags: [generated, noStrict]
9info: |
10 The following rules for IfStatement augment those in 13.6:
11
12 IfStatement[Yield, Return]:
13 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else Statement[?Yield, ?Return]
14 if ( Expression[In, ?Yield] ) Statement[?Yield, ?Return] else FunctionDeclaration[?Yield]
15 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else FunctionDeclaration[?Yield]
16 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield]
17
18
19 B.3.3.3 Changes to EvalDeclarationInstantiation
20
21 [...]
22 b. When the FunctionDeclaration f is evaluated, perform the following steps
23 in place of the FunctionDeclaration Evaluation algorithm provided in
24 14.1.21:
25 i. Let genv be the running execution context's VariableEnvironment.
26 ii. Let genvRec be genv's EnvironmentRecord.
27 iii. Let benv be the running execution context's LexicalEnvironment.
28 iv. Let benvRec be benv's EnvironmentRecord.
29 v. Let fobj be ! benvRec.GetBindingValue(F, false).
30 vi. Perform ? genvRec.SetMutableBinding(F, fobj, false).
31 vii. Return NormalCompletion(empty).
32---*/
33var init;
34
35(function() {
36 eval(
37 'init = f;if (false) ; else function f() { return "inner declaration"; }function f() {\
38 return "outer declaration";\
39 }'
40 );
41}());
42
43assert.sameValue(init(), 'outer declaration');