[strong] Implement static restrictions on switch statement

test/mjsunit/strong/switch.js

+// Copyright 2015 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --strong-mode
+
+"use strict";
+
+function CheckSwitch() {
+  let jumpStatements = [
+    "break; ",
+    "continue; ",
+    "break foo; ",
+    "continue foo; ",
+    "return; ",
+    "throw new TypeError(); ",
+    "if(1) break; else continue; ",
+    "if(1) {1+1; {break;}} else continue; "
+  ]
+
+  let otherStatements = [
+    "null; ",
+    "1+1; ",
+    "{} ",
+    "for(;false;) {break;} ",
+    "for(;false;) {1+1; {throw new TypeError();}} ",
+    "(function(){return});",
+    "(function(){throw new TypeError();});",
+    "{break; 1+1;} ",
+    "if(1) break; ",
+    "if(1) break; else 1+1; ",
+    "if(1) 1+1; else break; ",
+  ]
+
+  let successContexts = [
+    ["switch(1) {case 1: ", "case 2: }"],
+    ["switch(1) {case 1: case 2: ", "default: }"],
+    ["switch(1) {case 1: case 2: ", "default: {}}"],
+    ["switch(1) {case 1: case 2: ", "default: 1+1}"],
+    ["switch(1) {case 1: break; case 2: ", "default: }"],
+    ["switch(1) {case 1: case 2: break; case 3: ", "case 4: default: }"],
+    ["switch(1) {case 1: if(1) break; else {", "} default: break;}"]
+  ]
+
+  let strongThrowContexts = [
+    ["switch(1) {case 1: 1+1; case 2: ", "}"],
+    ["switch(1) {case 1: bar: break foo; case 2: ", "}"],
+    ["switch(1) {case 1: bar:", " case 2: }"],
+    ["switch(1) {case 1: bar:{ ", "} case 2: }"],
+    ["switch(1) {case 1: bar:{ ", "} default: break;}"],
+    ["switch(1) {case 1: { bar:{ { ", "} } } default: break;}"],
+    ["switch(1) {case 1: { { { ", "} 1+1;} } default: break;}"],
+    ["switch(1) {case 1: if(1) {", "} default: break;}"],
+    ["switch(1) {case 1: bar:if(1) break; else {", "} default: break;}"]
+  ]
+
+  let sloppy_wrap = ["function f() { foo:for(;;) {", "}}"];
+  let strong_wrap = ["function f() { 'use strong'; foo:for(;;) {", "}}"];
+
+  for (let context of successContexts) {
+    let sloppy_prefix = sloppy_wrap[0] + context[0];
+    let sloppy_suffix = context[1] + sloppy_wrap[1];
+    let strong_prefix = strong_wrap[0] + context[0];
+    let strong_suffix = context[1] + strong_wrap[1];
+
+    for (let code of jumpStatements) {
+      assertDoesNotThrow(strong_wrap[0] + "switch(1) {case 1: " + code + "}}}");
+      assertDoesNotThrow(strong_prefix + code + strong_suffix);
+      assertDoesNotThrow(strong_prefix + "{ 1+1; " + code + "}" +
+                         strong_suffix);
+      assertDoesNotThrow(strong_prefix + "{ 1+1; { 1+1; " + code + "}}" +
+                         strong_suffix);
+      assertDoesNotThrow(strong_prefix + "if(1) " + code + "else break;" +
+                         strong_suffix);
+      assertDoesNotThrow(strong_prefix + "if(1) " + code +
+                         "else if (1) break; else " + code + strong_suffix);
+    }
+    for (let code of otherStatements) {
+        assertDoesNotThrow(sloppy_prefix + code + sloppy_suffix);
+        assertThrows(strong_prefix + code + strong_suffix, SyntaxError);
+    }
+  }
+
+  for (let context of strongThrowContexts) {
+    let sloppy_prefix = sloppy_wrap[0] + context[0];
+    let sloppy_suffix = context[1] + sloppy_wrap[1];
+    let strong_prefix = strong_wrap[0] + context[0];
+    let strong_suffix = context[1] + strong_wrap[1];
+
+    for (let code of jumpStatements.concat(otherStatements)) {
+      assertDoesNotThrow(sloppy_prefix + code + sloppy_suffix);
+      assertThrows(strong_prefix + code + strong_suffix, SyntaxError);
+    }
+  }
+
+  for (let code of otherStatements) {
+    assertDoesNotThrow("switch(1) {default: " + code + "}");
+    assertDoesNotThrow("switch(1) {case 1: " + code + "}");
+    assertDoesNotThrow("switch(1) {case 1: default: " + code + "}");
+    assertDoesNotThrow("switch(1) {case 1: break; default: " + code + "}");
+    assertDoesNotThrow("switch(1) {case 1: " + code + "break; default: }");
+  }
+}
+
+CheckSwitch();
+
+assertDoesNotThrow("'use strong'; switch(1) {}");
+assertDoesNotThrow("'use strong'; switch(1) {case 1:}");
+assertDoesNotThrow("'use strong'; switch(1) {default:}");
+assertDoesNotThrow("'use strong'; switch(1) {case 1: case 2: default:}");