Fix syntax check of literal duplication in FormalParameterList (strict mode).

Related issue: #381

JerryScript-DCO-1.0-Signed-off-by: Ruben Ayrapetyan r.ayrapetyan@samsung.com

jerry-core/parser/js/jsp-early-error.cpp

@@ -235,30 +235,29 @@ jsp_early_error_check_for_eval_and_arguments_in_strict_mode (operand op, bool is
 void
 jsp_early_error_check_for_syntax_errors_in_formal_param_list (bool is_strict, locus loc __attr_unused___)
 {
-  if (STACK_SIZE (props) - STACK_TOP (size_t_stack) < 2 || !is_strict)
+  if (is_strict
+      && STACK_SIZE (props) - STACK_TOP (size_t_stack) >= 2)
   {
-    STACK_DROP (size_t_stack, 1);
+    for (size_t i = (STACK_TOP (size_t_stack) + 1u); i < STACK_SIZE (props); i++)
-    return;
-  }
-  for (size_t i = (STACK_TOP (size_t_stack) + 1u); i < STACK_SIZE (props); i++)
-  {
-    JERRY_ASSERT (STACK_ELEMENT (props, i).type == VARG);
-    literal_t previous = STACK_ELEMENT (props, i).lit;
-    JERRY_ASSERT (previous->get_type () == LIT_STR_T
-                  || previous->get_type () == LIT_MAGIC_STR_T
-                  || previous->get_type () == LIT_MAGIC_STR_EX_T);
-    for (size_t j = STACK_TOP (size_t_stack); j < i; j++)
     {
-      JERRY_ASSERT (STACK_ELEMENT (props, j).type == VARG);
+      JERRY_ASSERT (STACK_ELEMENT (props, i).type == VARG);
-      literal_t current = STACK_ELEMENT (props, j).lit;
+      literal_t previous = STACK_ELEMENT (props, i).lit;
-      JERRY_ASSERT (current->get_type () == LIT_STR_T
+      JERRY_ASSERT (previous->get_type () == LIT_STR_T
-                    || current->get_type () == LIT_MAGIC_STR_T
+                    || previous->get_type () == LIT_MAGIC_STR_T
-                    || current->get_type () == LIT_MAGIC_STR_EX_T);
+                    || previous->get_type () == LIT_MAGIC_STR_EX_T);
-      if (lit_literal_equal_type (previous, current))
+      for (size_t j = STACK_TOP (size_t_stack); j < i; j++)
       {
-        PARSE_ERROR_VARG (JSP_EARLY_ERROR_SYNTAX,
+        JERRY_ASSERT (STACK_ELEMENT (props, j).type == VARG);
-                          "Duplication of literal '%s' in FormalParameterList is not allowed in strict mode",
+        literal_t current = STACK_ELEMENT (props, j).lit;
-                          loc, lit_literal_to_str_internal_buf (previous));
+        JERRY_ASSERT (current->get_type () == LIT_STR_T
+                      || current->get_type () == LIT_MAGIC_STR_T
+                      || current->get_type () == LIT_MAGIC_STR_EX_T);
+        if (lit_literal_equal_type (previous, current))
+        {
+          PARSE_ERROR_VARG (JSP_EARLY_ERROR_SYNTAX,
+                            "Duplication of literal '%s' in FormalParameterList is not allowed in strict mode",
+                            loc, lit_literal_to_str_internal_buf (previous));
+        }
       }
     }
   }

tests/jerry/regression-test-issue-381.js

@@ -0,0 +1,22 @@
+// Copyright 2015 Samsung Electronics Co., Ltd.
+// Copyright 2015 University of Szeged.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+function f_0(){
+    'use strict';
+    var v_0 = {
+        p_0: function(a_0, a_1) {}
+    };
+    f_1(function(a_2) {});
+}

tests/jerry/strict.js

@@ -69,3 +69,8 @@ try
 {
   assert (e instanceof TypeError);
 }
+
+(function (a) {
+  (function (a) {
+  });
+});