Adding upstream version 124.0.1.upstream/124.0.1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 387 insertions, 0 deletions

diff --git a/js/src/vm/ObjectOperations-inl.h b/js/src/vm/ObjectOperations-inl.h
new file mode 100644
index 0000000000..0882437ef2
--- /dev/null
+++ b/js/src/vm/ObjectOperations-inl.h
@@ -0,0 +1,387 @@
+/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
+ * vim: set ts=8 sts=2 et sw=2 tw=80:
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+/* Fundamental operations on objects. */
+
+#ifndef vm_ObjectOperations_inl_h
+#define vm_ObjectOperations_inl_h
+
+#include "vm/ObjectOperations.h"
+
+#include "mozilla/Assertions.h"  // MOZ_ASSERT
+#include "mozilla/Attributes.h"  // MOZ_ALWAYS_INLINE
+#include "mozilla/Likely.h"      // MOZ_UNLIKELY
+
+#include <stdint.h>  // uint32_t
+
+#include "js/Class.h"  // js::{Delete,Get,Has}PropertyOp, JSMayResolveOp, JS::ObjectOpResult
+#include "js/GCAPI.h"         // JS::AutoSuppressGCAnalysis
+#include "js/Id.h"            // JS::PropertyKey, jsid
+#include "js/RootingAPI.h"    // JS::Handle, JS::MutableHandle, JS::Rooted
+#include "js/Value.h"         // JS::ObjectValue, JS::Value
+#include "proxy/Proxy.h"      // js::Proxy
+#include "vm/JSContext.h"     // JSContext
+#include "vm/JSObject.h"      // JSObject
+#include "vm/NativeObject.h"  // js::NativeObject, js::Native{Get,Has,Set}Property, js::NativeGetPropertyNoGC, js::Qualified
+#include "vm/ProxyObject.h"   // js::ProxyObject
+#include "vm/StringType.h"    // js::NameToId
+#include "vm/SymbolType.h"    // JS::Symbol
+
+#include "vm/JSAtomUtils-inl.h"  // js::PrimitiveValueToId, js::IndexToId
+
+namespace js {
+
+// The functions below are the fundamental operations on objects. See the
+// comment about "Standard internal methods" in jsapi.h.
+
+/*
+ * ES6 [[GetPrototypeOf]]. Get obj's prototype, storing it in protop.
+ *
+ * If obj is definitely not a proxy, the infallible obj->getProto() can be used
+ * instead. See the comment on JSObject::getTaggedProto().
+ */
+inline bool GetPrototype(JSContext* cx, JS::Handle<JSObject*> obj,
+                         JS::MutableHandle<JSObject*> protop) {
+  if (obj->hasDynamicPrototype()) {
+    MOZ_ASSERT(obj->is<ProxyObject>());
+    return Proxy::getPrototype(cx, obj, protop);
+  }
+
+  protop.set(obj->staticPrototype());
+  return true;
+}
+
+/*
+ * ES6 [[IsExtensible]]. Extensible objects can have new properties defined on
+ * them. Inextensible objects can't, and their [[Prototype]] slot is fixed as
+ * well.
+ */
+inline bool IsExtensible(JSContext* cx, JS::Handle<JSObject*> obj,
+                         bool* extensible) {
+  if (obj->is<ProxyObject>()) {
+    return Proxy::isExtensible(cx, obj, extensible);
+  }
+
+  *extensible = obj->nonProxyIsExtensible();
+
+  // If the following assertion fails, there's somewhere else a missing
+  // call to shrinkCapacityToInitializedLength() which needs to be found and
+  // fixed.
+  MOZ_ASSERT_IF(obj->is<NativeObject>() && !*extensible,
+                obj->as<NativeObject>().getDenseInitializedLength() ==
+                    obj->as<NativeObject>().getDenseCapacity());
+  return true;
+}
+
+/*
+ * ES6 [[Has]]. Set *foundp to true if `id in obj` (that is, if obj has an own
+ * or inherited property obj[id]), false otherwise.
+ */
+inline bool HasProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<jsid> id, bool* foundp) {
+  if (HasPropertyOp op = obj->getOpsHasProperty()) {
+    return op(cx, obj, id, foundp);
+  }
+
+  return NativeHasProperty(cx, obj.as<NativeObject>(), id, foundp);
+}
+
+inline bool HasProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        PropertyName* name, bool* foundp) {
+  JS::Rooted<jsid> id(cx, NameToId(name));
+  return HasProperty(cx, obj, id, foundp);
+}
+
+/*
+ * ES6 [[Get]]. Get the value of the property `obj[id]`, or undefined if no
+ * such property exists.
+ *
+ * Typically obj == receiver; if obj != receiver then the caller is most likely
+ * a proxy using GetProperty to finish a property get that started out as
+ * `receiver[id]`, and we've already searched the prototype chain up to `obj`.
+ */
+inline bool GetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<JS::Value> receiver, JS::Handle<jsid> id,
+                        JS::MutableHandle<JS::Value> vp) {
+#ifdef ENABLE_RECORD_TUPLE
+  MOZ_ASSERT(!IsExtendedPrimitive(*obj));
+#endif
+
+  if (GetPropertyOp op = obj->getOpsGetProperty()) {
+    return op(cx, obj, receiver, id, vp);
+  }
+
+  return NativeGetProperty(cx, obj.as<NativeObject>(), receiver, id, vp);
+}
+
+inline bool GetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<JS::Value> receiver, PropertyName* name,
+                        JS::MutableHandle<JS::Value> vp) {
+  JS::Rooted<jsid> id(cx, NameToId(name));
+  return GetProperty(cx, obj, receiver, id, vp);
+}
+
+inline bool GetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<JSObject*> receiver, JS::Handle<jsid> id,
+                        JS::MutableHandle<JS::Value> vp) {
+  JS::Rooted<JS::Value> receiverValue(cx, JS::ObjectValue(*receiver));
+  return GetProperty(cx, obj, receiverValue, id, vp);
+}
+
+inline bool GetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<JSObject*> receiver, PropertyName* name,
+                        JS::MutableHandle<JS::Value> vp) {
+  JS::Rooted<JS::Value> receiverValue(cx, JS::ObjectValue(*receiver));
+  return GetProperty(cx, obj, receiverValue, name, vp);
+}
+
+inline bool GetElement(JSContext* cx, JS::Handle<JSObject*> obj,
+                       JS::Handle<JS::Value> receiver, uint32_t index,
+                       JS::MutableHandle<JS::Value> vp) {
+  JS::Rooted<jsid> id(cx);
+  if (!IndexToId(cx, index, &id)) {
+    return false;
+  }
+
+  return GetProperty(cx, obj, receiver, id, vp);
+}
+
+inline bool GetElement(JSContext* cx, JS::Handle<JSObject*> obj,
+                       JS::Handle<JSObject*> receiver, uint32_t index,
+                       JS::MutableHandle<JS::Value> vp) {
+  JS::Rooted<JS::Value> receiverValue(cx, JS::ObjectValue(*receiver));
+  return GetElement(cx, obj, receiverValue, index, vp);
+}
+
+inline bool GetElementLargeIndex(JSContext* cx, JS::Handle<JSObject*> obj,
+                                 JS::Handle<JSObject*> receiver, uint64_t index,
+                                 JS::MutableHandle<JS::Value> vp) {
+  MOZ_ASSERT(index < uint64_t(DOUBLE_INTEGRAL_PRECISION_LIMIT));
+
+  if (MOZ_LIKELY(index <= UINT32_MAX)) {
+    return GetElement(cx, obj, receiver, uint32_t(index), vp);
+  }
+
+  RootedValue tmp(cx, DoubleValue(index));
+  RootedId id(cx);
+  if (!PrimitiveValueToId<CanGC>(cx, tmp, &id)) {
+    return false;
+  }
+
+  return GetProperty(cx, obj, obj, id, vp);
+}
+
+inline bool GetPropertyNoGC(JSContext* cx, JSObject* obj,
+                            const JS::Value& receiver, jsid id, JS::Value* vp) {
+#ifdef ENABLE_RECORD_TUPLE
+  MOZ_ASSERT(!IsExtendedPrimitive(*obj));
+#endif
+
+  if (obj->getOpsGetProperty()) {
+    return false;
+  }
+
+  return NativeGetPropertyNoGC(cx, &obj->as<NativeObject>(), receiver, id, vp);
+}
+
+inline bool GetPropertyNoGC(JSContext* cx, JSObject* obj,
+                            const JS::Value& receiver, PropertyName* name,
+                            JS::Value* vp) {
+  return GetPropertyNoGC(cx, obj, receiver, NameToId(name), vp);
+}
+
+inline bool GetElementNoGC(JSContext* cx, JSObject* obj,
+                           const JS::Value& receiver, uint32_t index,
+                           JS::Value* vp) {
+  if (obj->getOpsGetProperty()) {
+    return false;
+  }
+
+  if (index > PropertyKey::IntMax) {
+    return false;
+  }
+
+  return GetPropertyNoGC(cx, obj, receiver, PropertyKey::Int(index), vp);
+}
+
+static MOZ_ALWAYS_INLINE bool ClassMayResolveId(const JSAtomState& names,
+                                                const JSClass* clasp, jsid id,
+                                                JSObject* maybeObj) {
+  MOZ_ASSERT_IF(maybeObj, maybeObj->getClass() == clasp);
+
+  if (!clasp->getResolve()) {
+    // Sanity check: we should only have a mayResolve hook if we have a
+    // resolve hook.
+    MOZ_ASSERT(!clasp->getMayResolve(),
+               "Class with mayResolve hook but no resolve hook");
+    return false;
+  }
+
+  if (JSMayResolveOp mayResolve = clasp->getMayResolve()) {
+    // Tell the analysis our mayResolve hooks won't trigger GC.
+    JS::AutoSuppressGCAnalysis nogc;
+    if (!mayResolve(names, id, maybeObj)) {
+      return false;
+    }
+  }
+
+  return true;
+}
+
+// Returns whether |obj| or an object on its proto chain may have an interesting
+// symbol property (see JSObject::hasInterestingSymbolProperty). If it returns
+// true, *holder is set to the object that may have this property.
+MOZ_ALWAYS_INLINE bool MaybeHasInterestingSymbolProperty(
+    JSContext* cx, JSObject* obj, JS::Symbol* symbol,
+    JSObject** holder /* = nullptr */) {
+  MOZ_ASSERT(symbol->isInterestingSymbol());
+
+  jsid id = PropertyKey::Symbol(symbol);
+  do {
+    if (obj->maybeHasInterestingSymbolProperty() ||
+        MOZ_UNLIKELY(
+            ClassMayResolveId(cx->names(), obj->getClass(), id, obj))) {
+      if (holder) {
+        *holder = obj;
+      }
+      return true;
+    }
+    obj = obj->staticPrototype();
+  } while (obj);
+
+  return false;
+}
+
+// Like GetProperty but optimized for interesting symbol properties like
+// @@toStringTag.
+MOZ_ALWAYS_INLINE bool GetInterestingSymbolProperty(
+    JSContext* cx, JS::Handle<JSObject*> obj, JS::Symbol* sym,
+    JS::MutableHandle<JS::Value> vp) {
+  JSObject* holder;
+  if (!MaybeHasInterestingSymbolProperty(cx, obj, sym, &holder)) {
+#ifdef DEBUG
+    JS::Rooted<JS::Value> receiver(cx, JS::ObjectValue(*obj));
+    JS::Rooted<jsid> id(cx, PropertyKey::Symbol(sym));
+    if (!GetProperty(cx, obj, receiver, id, vp)) {
+      return false;
+    }
+    MOZ_ASSERT(vp.isUndefined());
+#endif
+
+    vp.setUndefined();
+    return true;
+  }
+
+  JS::Rooted<JSObject*> holderRoot(cx, holder);
+  JS::Rooted<JS::Value> receiver(cx, JS::ObjectValue(*obj));
+  JS::Rooted<jsid> id(cx, PropertyKey::Symbol(sym));
+  return GetProperty(cx, holderRoot, receiver, id, vp);
+}
+
+/*
+ * ES6 [[Set]]. Carry out the assignment `obj[id] = v`.
+ *
+ * The `receiver` argument has to do with how [[Set]] interacts with the
+ * prototype chain and proxies. It's hard to explain and ES6 doesn't really
+ * try. Long story short, if you just want bog-standard assignment, pass
+ * `ObjectValue(*obj)` as receiver. Or better, use one of the signatures that
+ * doesn't have a receiver parameter.
+ *
+ * Callers pass obj != receiver e.g. when a proxy is involved, obj is the
+ * proxy's target, and the proxy is using SetProperty to finish an assignment
+ * that started out as `receiver[id] = v`, by delegating it to obj.
+ */
+inline bool SetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<jsid> id, JS::Handle<JS::Value> v,
+                        JS::Handle<JS::Value> receiver,
+                        JS::ObjectOpResult& result) {
+  if (obj->getOpsSetProperty()) {
+    return JSObject::nonNativeSetProperty(cx, obj, id, v, receiver, result);
+  }
+
+  return NativeSetProperty<Qualified>(cx, obj.as<NativeObject>(), id, v,
+                                      receiver, result);
+}
+
+inline bool SetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<jsid> id, JS::Handle<JS::Value> v) {
+  JS::Rooted<JS::Value> receiver(cx, JS::ObjectValue(*obj));
+  JS::ObjectOpResult result;
+  return SetProperty(cx, obj, id, v, receiver, result) &&
+         result.checkStrict(cx, obj, id);
+}
+
+inline bool SetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        PropertyName* name, JS::Handle<JS::Value> v,
+                        JS::Handle<JS::Value> receiver,
+                        JS::ObjectOpResult& result) {
+  JS::Rooted<jsid> id(cx, NameToId(name));
+  return SetProperty(cx, obj, id, v, receiver, result);
+}
+
+inline bool SetProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        PropertyName* name, JS::Handle<JS::Value> v) {
+  JS::Rooted<jsid> id(cx, NameToId(name));
+  JS::Rooted<JS::Value> receiver(cx, JS::ObjectValue(*obj));
+  JS::ObjectOpResult result;
+  return SetProperty(cx, obj, id, v, receiver, result) &&
+         result.checkStrict(cx, obj, id);
+}
+
+inline bool SetElement(JSContext* cx, JS::Handle<JSObject*> obj, uint32_t index,
+                       JS::Handle<JS::Value> v, JS::Handle<JS::Value> receiver,
+                       JS::ObjectOpResult& result) {
+  if (obj->getOpsSetProperty()) {
+    return JSObject::nonNativeSetElement(cx, obj, index, v, receiver, result);
+  }
+
+  return NativeSetElement(cx, obj.as<NativeObject>(), index, v, receiver,
+                          result);
+}
+
+/*
+ * ES6 draft rev 31 (15 Jan 2015) 7.3.3 Put (O, P, V, Throw), except that on
+ * success, the spec says this is supposed to return a boolean value, which we
+ * don't bother doing.
+ */
+inline bool PutProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                        JS::Handle<jsid> id, JS::Handle<JS::Value> v,
+                        bool strict) {
+  JS::Rooted<JS::Value> receiver(cx, JS::ObjectValue(*obj));
+  JS::ObjectOpResult result;
+  return SetProperty(cx, obj, id, v, receiver, result) &&
+         result.checkStrictModeError(cx, obj, id, strict);
+}
+
+/*
+ * ES6 [[Delete]]. Equivalent to the JS code `delete obj[id]`.
+ */
+inline bool DeleteProperty(JSContext* cx, JS::Handle<JSObject*> obj,
+                           JS::Handle<jsid> id, JS::ObjectOpResult& result) {
+#ifdef ENABLE_RECORD_TUPLE
+  MOZ_ASSERT(!IsExtendedPrimitive(*obj));
+#endif
+
+  if (DeletePropertyOp op = obj->getOpsDeleteProperty()) {
+    return op(cx, obj, id, result);
+  }
+
+  return NativeDeleteProperty(cx, obj.as<NativeObject>(), id, result);
+}
+
+inline bool DeleteElement(JSContext* cx, JS::Handle<JSObject*> obj,
+                          uint32_t index, JS::ObjectOpResult& result) {
+  JS::Rooted<jsid> id(cx);
+  if (!IndexToId(cx, index, &id)) {
+    return false;
+  }
+
+  return DeleteProperty(cx, obj, id, result);
+}
+
+} /* namespace js */
+
+#endif /* vm_ObjectOperations_inl_h */