js/src/tests/test262/annexB/language/eval-code/direct/global-if-decl-else-stmt-eval-global-block-scoping.js

   1 // This file was procedurally generated from the following sources:
   2 // - src/annex-b-fns/eval-global-block-scoping.case
   3 // - src/annex-b-fns/eval-global/direct-if-decl-else-stmt.template
   4 /*---
   5 description: A block-scoped binding is created (IfStatement with a declaration in the first 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     13.2.14 Runtime Semantics: BlockDeclarationInstantiation
  19
  20     [...]
  21     4. For each element d in declarations do
  22        a. For each element dn of the BoundNames of d do
  23           i. If IsConstantDeclaration of d is true, then
  24              [...]
  25           ii. Else,
  26               2. Perform ! envRec.CreateMutableBinding(dn, false).
  27
  28        b. If d is a GeneratorDeclaration production or a FunctionDeclaration
  29           production, then
  30           i. Let fn be the sole element of the BoundNames of d.
  31           ii. Let fo be the result of performing InstantiateFunctionObject for
  32               d with argument env.
  33           iii. Perform envRec.InitializeBinding(fn, fo).
  34 ---*/
  35 var initialBV, currentBV;
  36
  37 eval(
  38   'if (true) function f() { initialBV = f; f = 123; currentBV = f; return "decl"; } else ;'
  39 );
  40
  41 f();
  42
  43 assert.sameValue(
  44   initialBV(),
  45   'decl',
  46   'Block-scoped binding value is function object at execution time'
  47 );
  48 assert.sameValue(currentBV, 123, 'Block-scoped binding is mutable');
  49 assert.sameValue(
  50   f(),
  51   'decl',
  52   'Block-scoped binding is independent of outer var-scoped binding'
  53 );
  54
  55 reportCompare(0, 0);