"John D. Burger" <john@xxxxxxxxx> writes: > Tom Lane wrote: >> Ah so, that explains how come it noticed. BTW, I see that somebody >> already changed the array size to 16 bytes in HEAD --- so it's just >> the back branches that need fixing. > Um, is that really considered a fix??? We all know that there's no > guarantee at all, even in ANSI C, that unsigned int isn't bigger than > 32 bits, right? OID is 32 bits. Full stop. regards, tom lane