Make memory check feature compile again

dfinity · Jun 27, 2024 · e00bafb · e00bafb
1 parent e83e95b
commit e00bafb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/rts/motoko-rts/src/gc/incremental/sanity_checks.rs b/rts/motoko-rts/src/gc/incremental/sanity_checks.rs
@@ -102,7 +102,7 @@ impl<'a, M: Memory> MemoryChecker<'a, M> {
             object.tag(),
             |gc, field_address| {
                 let value = *field_address;
-                if value.is_ptr() {
+                if value.is_non_null_ptr() {
                     gc.check_object(value);
                 } else {
                     gc.check_object_header(value);
@@ -114,7 +114,7 @@ impl<'a, M: Memory> MemoryChecker<'a, M> {
 
     unsafe fn check_object_header(&self, object: Value) {
         let tag = object.tag();
-        assert!(tag >= TAG_OBJECT && tag <= TAG_NULL);
+        assert!(is_object_tag(tag));
         object.check_forwarding_pointer();
         if let CheckerMode::UpdateCompletion = self.mode {
             // Forwarding is no longer allowed on a completed GC.