Marco Atzeri <marco(dot)atzeri(at)gmail(dot)com> writes:
> Eventually it was assumed that size of a wide char is always 32 bit ?
Hm. It looks like there's an entirely unnecessary assumption that wchar_t
and wint_t are the same width. Does the attached patch make things better
for you?
regards, tom lane