Fix subtly-incorrect matching of parent and child partitioned indexes.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 18 Aug 2022 16:11:47 +0000 (12:11 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 18 Aug 2022 16:12:03 +0000 (12:12 -0400)
commite6dbb48487faf47c1436d26064736a906f885a03
tree42f04880aada30204e3142d38a056d2face5efa6
parent3e63e8462f31657c8ae1c541c92daf43ede8f038
Fix subtly-incorrect matching of parent and child partitioned indexes.

When creating a partitioned index, DefineIndex tries to identify
any existing indexes on the partitions that match the partitioned
index, so that it can absorb those as child indexes instead of
building new ones.  Part of the matching is to compare IndexInfo
structs --- but that wasn't done quite right.  We're comparing
the IndexInfo built within DefineIndex itself to one made from
existing catalog contents by BuildIndexInfo.  Notably, while
BuildIndexInfo will run index expressions and predicates through
expression preprocessing, that has not happened to DefineIndex's
struct.  The result is failure to match and subsequent creation
of duplicate indexes.

The easiest and most bulletproof fix is to build a new IndexInfo
using BuildIndexInfo, thereby guaranteeing that the processing done
is identical.

While here, let's also extract the opfamily and collation data
from the new partitioned index, removing ad-hoc logic that
duplicated knowledge about how those are constructed.

Per report from Christophe Pettus.  Back-patch to v11 where
we invented partitioned indexes.

Richard Guo and Tom Lane

Discussion: https://postgr.es/m/8864BFAA-81FD-4BF9-8E06-7DEB8D4164ED@thebuild.com
src/backend/commands/indexcmds.c
src/test/regress/expected/indexing.out
src/test/regress/sql/indexing.sql