We've upgraded to 10.2 and are not getting segmentation faults while running the query anymore. Thank you for the fix.
On Sun, Jan 28, 2018 at 2:57 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
I wrote: > I'll look into an actual fix tomorrow.
I've pushed a fix for this. I concluded that there's no real reason to touch branches before 10: the index_markpos call is useless in the case in question, but it doesn't do any more than waste some cycles.
