Ranier Vilela <ranier(dot)vf(at)gmail(dot)com> writes:
> The res->curBlock pointer possibly, can be NULL here (line 563).
No, it can't.
To get to that line, nBytes has to be > 0, which means res->spaceLeft
has to be > 0, which cannot happen while res->curBlock is NULL.
regards, tom lane