[parser] Allow duplicate __proto__ keys in patterns

src/parsing/expression-classifier.h

 // 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.
 
 #ifndef V8_PARSING_EXPRESSION_CLASSIFIER_H
 #define V8_PARSING_EXPRESSION_CLASSIFIER_H
 
 #include "src/messages.h"
 #include "src/parsing/scanner.h"
 #include "src/parsing/token.h"
 
 namespace v8 {
 namespace internal {
 
 
 #define ERROR_CODES(T)                          \
   T(ExpressionProduction, 0)                    \
   T(FormalParameterInitializerProduction, 1)    \
   T(BindingPatternProduction, 2)                \
   T(AssignmentPatternProduction, 3)             \
   T(DistinctFormalParametersProduction, 4)      \
   T(StrictModeFormalParametersProduction, 5)    \
   T(ArrowFormalParametersProduction, 6)         \
   T(LetPatternProduction, 7)                    \
-  T(CoverInitializedNameProduction, 8)          \
+  T(ObjectLiteralProduction, 8)                 \
   T(TailCallExpressionProduction, 9)            \
   T(AsyncArrowFormalParametersProduction, 10)   \
   T(AsyncBindingPatternProduction, 11)
 
-
 template <typename Traits>
 class ExpressionClassifier {
  public:
   enum ErrorKind : unsigned {
 #define DEFINE_ERROR_KIND(NAME, CODE) k##NAME = CODE,
     ERROR_CODES(DEFINE_ERROR_KIND)
 #undef DEFINE_ERROR_KIND
     kUnusedError = 15  // Larger than error codes; should fit in 4 bits
   };
 
@@ skipping 26 matching lines @@
         (ExpressionProduction | FormalParameterInitializerProduction |
          TailCallExpressionProduction),
     PatternProductions =
         (BindingPatternProduction | AssignmentPatternProduction |
          LetPatternProduction | AsyncBindingPatternProduction),
     FormalParametersProductions = (DistinctFormalParametersProduction |
                                    StrictModeFormalParametersProduction),
     AllProductions =
         (ExpressionProductions | PatternProductions |
          FormalParametersProductions | ArrowFormalParametersProduction |
-         CoverInitializedNameProduction | AsyncArrowFormalParametersProduction)
+         ObjectLiteralProduction | AsyncArrowFormalParametersProduction)
   };
 
   enum FunctionProperties : unsigned {
     NonSimpleParameter = 1 << 0
   };
 
   explicit ExpressionClassifier(const Traits* t)
       : zone_(t->zone()),
         non_patterns_to_rewrite_(t->GetNonPatternList()),
         reported_errors_(t->GetReportedErrorList()),
@@ skipping 92 matching lines @@
   }
 
   V8_INLINE const Error& strict_mode_formal_parameter_error() const {
     return reported_error(kStrictModeFormalParametersProduction);
   }
 
   V8_INLINE const Error& let_pattern_error() const {
     return reported_error(kLetPatternProduction);
   }
 
-  V8_INLINE bool has_cover_initialized_name() const {
-    return !is_valid(CoverInitializedNameProduction);
+  V8_INLINE bool has_object_literal_error() const {
+    return !is_valid(ObjectLiteralProduction);
   }
 
-  V8_INLINE const Error& cover_initialized_name_error() const {
-    return reported_error(kCoverInitializedNameProduction);
+  V8_INLINE const Error& object_literal_error() const {
+    return reported_error(kObjectLiteralProduction);
   }
 
   V8_INLINE bool has_tail_call_expression() const {
     return !is_valid(TailCallExpressionProduction);
   }
   V8_INLINE const Error& tail_call_expression_error() const {
     return reported_error(kTailCallExpressionProduction);
   }
+
   V8_INLINE const Error& async_arrow_formal_parameters_error() const {
     return reported_error(kAsyncArrowFormalParametersProduction);
   }
 
   V8_INLINE const Error& async_binding_pattern_error() const {
     return reported_error(kAsyncBindingPatternProduction);
   }
 
   V8_INLINE bool is_simple_parameter_list() const {
     return !(function_properties_ & NonSimpleParameter);
@@ skipping 93 matching lines @@
   }
 
   void RecordLetPatternError(const Scanner::Location& loc,
                              MessageTemplate::Template message,
                              const char* arg = nullptr) {
     if (!is_valid_let_pattern()) return;
     invalid_productions_ |= LetPatternProduction;
     Add(Error(loc, message, kLetPatternProduction, arg));
   }
 
-  void RecordCoverInitializedNameError(const Scanner::Location& loc,
-                                       MessageTemplate::Template message,
-                                       const char* arg = nullptr) {
-    if (has_cover_initialized_name()) return;
-    invalid_productions_ |= CoverInitializedNameProduction;
-    Add(Error(loc, message, kCoverInitializedNameProduction, arg));
+  void RecordObjectLiteralError(const Scanner::Location& loc,
+                                MessageTemplate::Template message,
+                                const char* arg = nullptr) {
+    if (has_object_literal_error()) return;
+    invalid_productions_ |= ObjectLiteralProduction;
+    Add(Error(loc, message, kObjectLiteralProduction, arg));
   }
 
   void RecordTailCallExpressionError(const Scanner::Location& loc,
                                      MessageTemplate::Template message,
                                      const char* arg = nullptr) {
     if (has_tail_call_expression()) return;
     invalid_productions_ |= TailCallExpressionProduction;
     Add(Error(loc, message, kTailCallExpressionProduction, arg));
   }
 
-  void ForgiveCoverInitializedNameError() {
-    if (!(invalid_productions_ & CoverInitializedNameProduction)) return;
-    Error& e = reported_error(kCoverInitializedNameProduction);
+  void ForgiveObjectLiteralError() {
+    if (!(invalid_productions_ & ObjectLiteralProduction)) return;
+    Error& e = reported_error(kObjectLiteralProduction);
     e.kind = kUnusedError;
-    invalid_productions_ &= ~CoverInitializedNameProduction;
+    invalid_productions_ &= ~ObjectLiteralProduction;
   }
 
   void ForgiveAssignmentPatternError() {
     if (!(invalid_productions_ & AssignmentPatternProduction)) return;
     Error& e = reported_error(kAssignmentPatternProduction);
     e.kind = kUnusedError;
     invalid_productions_ &= ~AssignmentPatternProduction;
   }
 
   void Accumulate(ExpressionClassifier* inner, unsigned productions,
@@ skipping 144 matching lines @@
 };
 
 
 #undef ERROR_CODES
 
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_PARSING_EXPRESSION_CLASSIFIER_H