"Qingqing Zhou" <zhouqq@cs.toronto.edu> writes:
> Shall we write
> /* If it was already in the buffer pool and not for extension, we're
> done */
> if (found && !isExtend)
> instead?
If you can demonstrate a problem in this code, please do. I'm very much
less than excited about making random changes though.
regards, tom lane