Start marking functions that can transitively trigger a GC (#33144)

* Mark JS reflector wrappers as CanGc.

Signed-off-by: Josh Matthews <josh@joshmatthews.net>

* Propagate CanGc from reflect_dom_object_with_proto.

Signed-off-by: Josh Matthews <josh@joshmatthews.net>

* Mark DOM constructors as GC operations.

Signed-off-by: Josh Matthews <josh@joshmatthews.net>

---------

Signed-off-by: Josh Matthews <josh@joshmatthews.net>

1 files changed, 14 insertions, 4 deletions

diff --git a/components/script/dom/filereadersync.rs b/components/script/dom/filereadersync.rs
index 5a20f26f476..699f4003491 100644
--- a/components/script/dom/filereadersync.rs
+++ b/components/script/dom/filereadersync.rs
@@ -19,7 +19,7 @@ use crate::dom::bindings::str::DOMString;
 use crate::dom::blob::Blob;
 use crate::dom::filereader::FileReaderSharedFunctionality;
 use crate::dom::globalscope::GlobalScope;
-use crate::script_runtime::JSContext;
+use crate::script_runtime::{CanGc, JSContext};
 
 #[dom_struct]
 pub struct FileReaderSync {
@@ -33,16 +33,26 @@ impl FileReaderSync {
         }
     }
 
-    fn new(global: &GlobalScope, proto: Option<HandleObject>) -> DomRoot<FileReaderSync> {
-        reflect_dom_object_with_proto(Box::new(FileReaderSync::new_inherited()), global, proto)
+    fn new(
+        global: &GlobalScope,
+        proto: Option<HandleObject>,
+        can_gc: CanGc,
+    ) -> DomRoot<FileReaderSync> {
+        reflect_dom_object_with_proto(
+            Box::new(FileReaderSync::new_inherited()),
+            global,
+            proto,
+            can_gc,
+        )
     }
 
     #[allow(non_snake_case)]
     pub fn Constructor(
         global: &GlobalScope,
         proto: Option<HandleObject>,
+        can_gc: CanGc,
     ) -> Fallible<DomRoot<FileReaderSync>> {
-        Ok(FileReaderSync::new(global, proto))
+        Ok(FileReaderSync::new(global, proto, can_gc))
     }
 
     fn get_blob_bytes(blob: &Blob) -> Result<Vec<u8>, Error> {