Add an assertion for inlined data in jl_genericmemory_t

mmtk/Cargo.toml

@@ -11,7 +11,7 @@ edition = "2018"
 [package.metadata.julia]
 # Our CI matches the following line and extract mmtk/julia. If this line is updated, please check ci yaml files and make sure it works.
 julia_repo = "https://github.com/qinsoon/julia.git"
-julia_version = "c81fe48f9820bb3a6a67e155fd08b6b7fa4f2734"
+julia_version = "7aa7e2451d4c668056567219ea040474e7a25b3e"
 
 [lib]
 crate-type = ["cdylib"]

mmtk/src/julia_scanning.rs

@@ -230,6 +230,10 @@ pub unsafe fn scan_julia_object<SV: SlotVisitor<JuliaVMSlot>>(obj: Address, clos
             println!("scan_julia_obj {}: genericmemory how = {}\n", obj, how);
         }
 
+        if how == 0 {
+            assert!(crate::api::mmtk_is_object_pinned(ObjectReference::from_raw_address_unchecked(obj)), "Data for {} is inlined, but the object is not pinned", obj);
+        }
+
         if how == 3 {
             let owner_addr = mmtk_jl_genericmemory_data_owner_field_address(m);
             process_slot(closure, owner_addr);