Check argument is bigint in create_object_arg (#4142)

fixed #4138

JerryScript-DCO-1.0-Signed-off-by: bence gabor kis kisbg@inf.u-szeged.hu

jerry-core/ecma/operations/ecma-objects-general.c

@@ -79,12 +79,16 @@ ecma_op_create_object_object_arg (ecma_value_t value) /**< argument of construct
 {
   ecma_check_value_type_is_spec_defined (value);
 
-  if (ecma_is_value_object (value)
+  if (!ecma_is_value_undefined (value)
-      || ecma_is_value_number (value)
+      && !ecma_is_value_null (value))
-      || ecma_is_value_prop_name (value)
-      || ecma_is_value_boolean (value))
   {
     /* 1.b, 1.c, 1.d */
+    JERRY_ASSERT (ecma_is_value_object (value)
+                  || ecma_is_value_number (value)
+                  || ecma_is_value_prop_name (value)
+                  || ecma_is_value_boolean (value)
+                  || ECMA_CHECK_BIGINT_IN_ASSERT (value));
+
     return ecma_op_to_object (value);
   }
   else

tests/jerry/es.next/regression-test-issue-4138.js

@@ -0,0 +1,15 @@
+// Copyright JS Foundation and other contributors, http://js.foundation
+//
+// 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.
+
+assert (new Object (0n) == 0);