On 12/3/20 6:29 PM, Bruno Haible wrote:
+/* Note: ISO C does not mandate that 'size_t' and 'ptrdiff_t' have the same
+ size, but it is so an all platforms we have seen since 1990. */
Thanks for the change.
This prompted me to re-read the intprops documentation and (among other things)
update it to mention two current platforms where sizeof(size_t) ==
sizeof(ptrdiff_t) but index arithmetic does not behave in the usual way. On one
of them, SIZE_MAX == PTRDIFF_MAX which C allows; on another, SIZE_MAX = 2 *
PTRDIFF_MAX which contradicts the C standard. This is all in the patch I
recently emailed <https://lists.gnu.org/r/bug-gnulib/2020-12/msg00036.html>.
These are not Gnulib porting targets, admittedly, and I've never used either
platform. I believe my only chance was thwarted by M. Stuart Lynn, who switched
the main computer at Rice University from Burroughs to IBM in the early 1970s
just before I got there, somewhat to the consternation of some of the faculty.
