Add an option to disable use of tagged pointers

2024-02-27 20:17:18 +00:00
parent 7e0acd686e
commit cd40eba453
2 changed files with 5 additions and 1 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -536,6 +536,10 @@ if(CMAKE_SIZEOF_VOID_P EQUAL 8)
    add_definitions(-DPOINTER_IS_64BIT)
 endif()

+if(OPTION_NO_TAGGED_PTRS)
+    add_definitions(-DNO_TAGGED_PTRS)
+endif()
+
 enable_testing()

 add_subdirectory(regression)