Peter Geoghegan <pg@bowt.ie> writes:
> ISTM that it would be much more useful to focus on adding an assertion
> (or maybe even a "can't happen" error) that fails when the DEAD/goto
> path is reached with a tuple whose xmin wasn't aborted. If that was in
> place then we would have caught the bug in
> GetOldestNonRemovableTransactionId() far sooner. That might actually
> catch other bugs in the future.
Sounds like a good idea. If we expect that path to be taken only
rarely, then a test-and-elog would be worth its keep. Otherwise
maybe it should just be an Assert.
regards, tom lane