Backpatch tuplesort.c assertion.

petergeoghegan · petergeoghegan · commit 87eb25535d0d · 2020-07-29T16:00:54.000-07:00
Backpatch an assertion (that was originally added to Postgres 12 by commit dd299df) that seems broadly useful. The assertion can detect violations of the HOT invariant (i.e. no two index tuples can point to the same heap TID) when CREATE INDEX somehow incorrectly allows that to take place. For example, a IndexBuildHeapScan/heapam_index_build_range_scan bug might result in two tuples that both point to the same heap TID. If these two tuples also happen to be duplicates, the assertion will fail. Discussion: https://postgr.es/m/CAH2-WzmBxu4o=pMsniur+bwHqCGCmV_AOLkuK6BuU7ngA6evqw@mail.gmail.com Backpatch: 9.5-11 only
diff --git a/src/backend/utils/sort/tuplesort.c b/src/backend/utils/sort/tuplesort.c
@@ -4076,6 +4076,9 @@ comparetup_index_btree(const SortTuple *a, const SortTuple *b,
 			return (pos1 < pos2) ? -1 : 1;
 	}
 
+	/* ItemPointer values should never be equal */
+	Assert(false);
+
 	return 0;
 }
 
@@ -4128,6 +4131,9 @@ comparetup_index_hash(const SortTuple *a, const SortTuple *b,
 			return (pos1 < pos2) ? -1 : 1;
 	}
 
+	/* ItemPointer values should never be equal */
+	Assert(false);
+
 	return 0;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -4076,6 +4076,9 @@ comparetup_index_btree(const SortTuple a, const SortTuple b,`
`4076`	`4076`	`return (pos1 < pos2) ? -1 : 1;`
`4077`	`4077`	`}`
`4078`	`4078`
	`4079`	`+ /* ItemPointer values should never be equal */`
	`4080`	`+ Assert(false);`
	`4081`	`+`
`4079`	`4082`	`return 0;`
`4080`	`4083`	`}`
`4081`	`4084`
`@@ -4128,6 +4131,9 @@ comparetup_index_hash(const SortTuple a, const SortTuple b,`
`4128`	`4131`	`return (pos1 < pos2) ? -1 : 1;`
`4129`	`4132`	`}`
`4130`	`4133`
	`4134`	`+ /* ItemPointer values should never be equal */`
	`4135`	`+ Assert(false);`
	`4136`	`+`
`4131`	`4137`	`return 0;`
`4132`	`4138`	`}`
`4133`	`4139`