| // This file was procedurally generated from the following sources: |
| // - src/annex-b-fns/eval-func-existing-fn-no-init.case |
| // - src/annex-b-fns/eval-func/direct-if-decl-no-else.template |
| /*--- |
| description: Existing variable binding is not modified (IfStatement without an else clause in eval code) |
| esid: sec-functiondeclarations-in-ifstatement-statement-clauses |
| es6id: B.3.4 |
| flags: [generated, noStrict] |
| info: | |
| The following rules for IfStatement augment those in 13.6: |
| |
| IfStatement[Yield, Return]: |
| if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else Statement[?Yield, ?Return] |
| if ( Expression[In, ?Yield] ) Statement[?Yield, ?Return] else FunctionDeclaration[?Yield] |
| if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else FunctionDeclaration[?Yield] |
| if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] |
| |
| |
| B.3.3.3 Changes to EvalDeclarationInstantiation |
| |
| [...] |
| b. When the FunctionDeclaration f is evaluated, perform the following steps |
| in place of the FunctionDeclaration Evaluation algorithm provided in |
| 14.1.21: |
| i. Let genv be the running execution context's VariableEnvironment. |
| ii. Let genvRec be genv's EnvironmentRecord. |
| iii. Let benv be the running execution context's LexicalEnvironment. |
| iv. Let benvRec be benv's EnvironmentRecord. |
| v. Let fobj be ! benvRec.GetBindingValue(F, false). |
| vi. Perform ? genvRec.SetMutableBinding(F, fobj, false). |
| vii. Return NormalCompletion(empty). |
| ---*/ |
| var init; |
| |
| (function() { |
| eval( |
| 'init = f;if (true) function f() { return "inner declaration"; }function f() {\ |
| return "outer declaration";\ |
| }' |
| ); |
| }()); |
| |
| assert.sameValue(init(), 'outer declaration'); |