Is_in_value_area is always true in no-naked-pointers mode

xavierleroy · xavierleroy · commit 6e9d39bb264e · 2020-06-23T10:07:19.000+02:00
Since there are no naked pointers, all pointers are to well-formed
OCaml blocks.
diff --git a/runtime/caml/address_class.h b/runtime/caml/address_class.h
@@ -74,8 +74,12 @@
 
 #define Is_in_heap_or_young(a) (Classify_addr(a) & (In_heap | In_young))
 
+#ifdef NO_NAKED_POINTERS
+#define Is_in_value_area(a) 1
+#else
 #define Is_in_value_area(a)                                     \
   (Classify_addr(a) & (In_heap | In_young | In_static_data))
+#endif
 
 #define Is_in_static_data(a) (Classify_addr(a) & In_static_data)
 
