Here is v4 with fixed compiler warnings and some minor tweaks from me.
I didn't put too much thought into the algorithm but I already see something strange. At verify_heapam.c:553 you declared curr_xmax and next_xmin. However the variables are not used/initialized until you do:
In v4 I elected to initialize both curr_xmax and next_xmin with InvalidTransactionId for safety and in order to silence the compiler but still there is no way this condition can succeed.
Please make sure there is no logic missing.
Hi Aleksander,
Thanks for sharing the feedback,
It's my mistake, sorry about that, I was trying to merge two if conditions and forgot to move the initialization part for xmin and xmax. Now I think that it will be good to have nested if, and have an inner if condition to test xmax and xmin matching. This way we can retrieve and populate xmin and xmax when it is actually required for the inner if condition.