From 38b1ce107b579e353f14a0ba73867ca2a8cc027f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adrian=20Heine=20n=C3=A9=20Lang?= <mail@adrianheine.de>
Date: Wed, 30 Jan 2019 22:35:07 +0100
Subject: [PATCH] Add missing tests for B.3.3.4 and B.3.3.5 (#2050)

---
 .../function-redeclaration-block.js           | 18 ++++++++++
 .../function-redeclaration-switch.js          | 33 +++++++++++++++++++
 2 files changed, 51 insertions(+)
 create mode 100644 test/annexB/language/function-code/function-redeclaration-block.js
 create mode 100644 test/annexB/language/function-code/function-redeclaration-switch.js

diff --git a/test/annexB/language/function-code/function-redeclaration-block.js b/test/annexB/language/function-code/function-redeclaration-block.js
new file mode 100644
index 0000000000..ae40db9f61
--- /dev/null
+++ b/test/annexB/language/function-code/function-redeclaration-block.js
@@ -0,0 +1,18 @@
+// Copyright (C) 2019 Adrian Heine. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+description: In non-strict mode, duplicate LexicallyDeclaredNames in a block are allowed if they are bound by FunctionDeclarations
+esid: sec-block-duplicates-allowed-static-semantics
+es6id: B.3.3.4
+flags: [noStrict]
+info: |
+    B.3.3.4 Changes to Block Static Semantics: Early Errors
+
+    For web browser compatibility, that rule is modified with the addition of the **highlighted** text:
+
+    Block: {StatementList}
+
+    It is a Syntax Error if the LexicallyDeclaredNames of StatementList contains any duplicate entries, **unless the source code matching this production is not strict mode code and the duplicate entries are only bound by FunctionDeclarations**.
+---*/
+
+{ function a() {} function a() {} }
diff --git a/test/annexB/language/function-code/function-redeclaration-switch.js b/test/annexB/language/function-code/function-redeclaration-switch.js
new file mode 100644
index 0000000000..1970859bc2
--- /dev/null
+++ b/test/annexB/language/function-code/function-redeclaration-switch.js
@@ -0,0 +1,33 @@
+// Copyright (C) 2019 Adrian Heine. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+description: In non-strict mode, duplicate LexicallyDeclaredNames in a switch statement's CaseBlock are allowed if they are bound by FunctionDeclarations
+esid: sec-switch-duplicates-allowed-static-semantics
+es6id: B.3.3.5
+flags: [noStrict]
+info: |
+    B.3.3.4 Changes to Block Static Semantics: Early Errors
+
+    For web browser compatibility, that rule is modified with the addition of the **highlighted** text:
+
+    Block: {StatementList}
+
+    It is a Syntax Error if the LexicallyDeclaredNames of StatementList contains any duplicate entries, **unless the source code matching this production is not strict mode code and the duplicate entries are only bound by FunctionDeclarations**.
+
+
+    B.3.3.5 Changes to switch Statement Static Semantics: Early Errors
+
+    For web browser compatibility, that rule is modified with the addition of the **highlighted** text:
+
+    SwitchStatement: switch ( Expression ) CaseBlock
+
+    It is a Syntax Error if the LexicallyDeclaredNames of CaseBlock contains any duplicate entries, **unless the source code matching this production is not strict mode code and the duplicate entries are only bound by FunctionDeclarations**.
+---*/
+
+let x
+switch (x) {
+case 1:
+  function a() {}
+case 2:
+  function a() {}
+}