Re: indsize: New module

[Paul Eggert]

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.