js/src/tests/test262/annexB/language/eval-code/direct/func-if-stmt-else-decl-eval-func-init.js

   1 // This file was procedurally generated from the following sources:
   2 // - src/annex-b-fns/eval-func-init.case
   3 // - src/annex-b-fns/eval-func/direct-if-stmt-else-decl.template
   4 /*---
   5 description: Variable binding is initialized to `undefined` in outer scope (IfStatement with a declaration in the second statement position in eval code)
   6 esid: sec-functiondeclarations-in-ifstatement-statement-clauses
   7 flags: [generated, noStrict]
   8 info: |
   9     The following rules for IfStatement augment those in 13.6:
  10
  11     IfStatement[Yield, Return]:
  12         if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else Statement[?Yield, ?Return]
  13         if ( Expression[In, ?Yield] ) Statement[?Yield, ?Return] else FunctionDeclaration[?Yield]
  14         if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else FunctionDeclaration[?Yield]
  15         if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield]
  16
  17
  18     B.3.3.3 Changes to EvalDeclarationInstantiation
  19
  20     [...]
  21     a. If declaredFunctionOrVarNames does not contain F, then
  22        i. If varEnvRec is a global Environment Record, then
  23           [...]
  24        ii. Else,
  25            i. Let bindingExists be varEnvRec.HasBinding(F).
  26            ii. If bindingExists is false, then
  27                i. Perform ! varEnvRec.CreateMutableBinding(F, true).
  28                ii. Perform ! varEnvRec.InitializeBinding(F, undefined).
  29     [...]
  30 ---*/
  31 var init, changed;
  32
  33 (function() {
  34   eval(
  35     'init = f;\
  36     f = 123;\
  37     changed = f;if (false) ; else function f() {  }'
  38   );
  39 }());
  40
  41 assert.sameValue(init, undefined, 'binding is initialized to `undefined`');
  42 assert.sameValue(changed, 123, 'binding is mutable');
  43 assert.throws(ReferenceError, function() {
  44   f;
  45 }, 'global binding is not created');
  46
  47 reportCompare(0, 0);