[strong] Implement static restrictions on switch statement

src/preparser.h

 // Copyright 2012 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.
 
 #ifndef V8_PREPARSER_H
 #define V8_PREPARSER_H
 
 #include "src/v8.h"
 
 #include "src/bailout-reason.h"
@@ skipping 1086 matching lines @@
 typedef PreParserList<PreParserExpression> PreParserExpressionList;
 typedef PreParserList<PreParserIdentifier> PreParserFormalParameterList;
 
 
 class PreParserStatement {
  public:
   static PreParserStatement Default() {
     return PreParserStatement(kUnknownStatement);
   }
 
+  static PreParserStatement Terminating() {

[rossberg, 2015/04/14 20:19:49]

...and then we can just rename this to Jump as well.

[conradw, 2015/04/15 11:40:03]

Done.

+    return PreParserStatement(kTerminatingStatement);
+  }
+
   static PreParserStatement FunctionDeclaration() {
     return PreParserStatement(kFunctionDeclaration);
   }
 
   // Creates expression statement from expression.
   // Preserves being an unparenthesized string literal, possibly
   // "use strict".
   static PreParserStatement ExpressionStatement(
       PreParserExpression expression) {
     if (expression.IsUseStrictLiteral()) {
@@ skipping 15 matching lines @@
   bool IsUseStrictLiteral() {
     return code_ == kUseStrictExpressionStatement;
   }
 
   bool IsUseStrongLiteral() { return code_ == kUseStrongExpressionStatement; }
 
   bool IsFunctionDeclaration() {
     return code_ == kFunctionDeclaration;
   }
 
+  bool IsStrongSwitchTerminatingStatement() {
+    return code_ == kTerminatingStatement;
+  }
+
  private:
   enum Type {
     kUnknownStatement,
+    kTerminatingStatement,
     kStringLiteralExpressionStatement,
     kUseStrictExpressionStatement,
     kUseStrongExpressionStatement,
     kFunctionDeclaration
   };
 
   explicit PreParserStatement(Type code) : code_(code) {}
   Type code_;
 };
 
@@ skipping 2320 matching lines @@
       *ok = false;
       return;
     }
     has_seen_constructor_ = true;
     return;
   }
 }
 } }  // v8::internal
 
 #endif  // V8_PREPARSER_H