Revert "Remove warnings about pinning for now"

This reverts commit 57710c7.
mmtk · Feb 28, 2024 · 29a8da3 · 29a8da3
1 parent 3a40288
commit 29a8da3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/mmtk/src/api.rs b/mmtk/src/api.rs
@@ -495,7 +495,7 @@ pub extern "C" fn mmtk_pin_object(object: ObjectReference) -> bool {
     if mmtk_object_is_managed_by_mmtk(object.to_raw_address().as_usize()) {
         memory_manager::pin_object::<JuliaVM>(object)
     } else {
-        // warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
+        warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
         false
     }
 }
@@ -506,7 +506,7 @@ pub extern "C" fn mmtk_unpin_object(object: ObjectReference) -> bool {
     if mmtk_object_is_managed_by_mmtk(object.to_raw_address().as_usize()) {
         memory_manager::unpin_object::<JuliaVM>(object)
     } else {
-        // warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
+        warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
         false
     }
 }
@@ -517,7 +517,7 @@ pub extern "C" fn mmtk_is_pinned(object: ObjectReference) -> bool {
     if mmtk_object_is_managed_by_mmtk(object.to_raw_address().as_usize()) {
         memory_manager::is_pinned::<JuliaVM>(object)
     } else {
-        // warn!("Object is not managed by mmtk - checking via this function isn't supported.");
+        warn!("Object is not managed by mmtk - checking via this function isn't supported.");
         false
     }
 }