Andres Freund <andres@2ndquadrant.com> writes:
> snprintf(buf64, 100, UINT64_FORMAT, ~(size_t)0);
Actually, that coding isn't gonna work at all on platforms where size_t
isn't the same size as uint64. We could make it work by explicitly
casting the argument to whatever type we've decided to use as uint64
... but unless we want to include c.h here, that would require a lot of
extra cruft, and I'm really not sure it's gaining anything anyway.
I'm inclined to just print (size_t)0xFFFFFFFF and see if it produces
the expected result.
regards, tom lane
