"Pavan Deolasee" <pavan(dot)deolasee(at)gmail(dot)com> writes:
> OTOH I think we can still set PD_ALL_VISIBLE page header flag even
> when there are DEAD line pointers.
That would mean the header flag means something different than the
map bit does, which would mean extra tests need to be made before
propagating the flag bit to the map. This is doable, no doubt,
but it seems pretty error-prone ...
regards, tom lane