Only use PROFINFO_WIDTH if WITH_PROFINFO defined (#10102)

PROFINFO_WIDTH should be 0 if WITH_PROFINFO is not defined.
This PR ensures that it's never used in this case.

Changes

@@ -14,6 +14,10 @@ Working version
   (Stephen Dolan, review by Leo White, Gabriel Scherer and Jacques-Henri
    Jourdan)
 
+- #10102: Ignore PROFINFO_WIDTH if WITH_PROFINFO is not defined (technically
+  a breaking change if the configuration system was being abused before).
+  (David Allsopp, review by Xavier Leroy)
+
 ### Code generation and optimizations:
 
 - #9876: do not cache the young_limit GC variable in a processor register.

runtime/caml/mlvalues.h

@@ -149,8 +149,12 @@ bits  63        (64-P) (63-P)        10 9     8 7   0
 
 #define Num_tags (1 << 8)
 #ifdef ARCH_SIXTYFOUR
+#ifdef WITH_PROFINFO
 #define Max_wosize (((intnat)1 << (54-PROFINFO_WIDTH)) - 1)
 #else
+#define Max_wosize (((intnat)1 << 54) - 1)
+#endif
+#else
 #define Max_wosize ((1 << 22) - 1)
 #endif /* ARCH_SIXTYFOUR */