Fix CheckAttributeType's handling of collations for ranges.
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 31 Jan 2020 22:03:55 +0000 (17:03 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 31 Jan 2020 22:03:55 +0000 (17:03 -0500)
commit59047b6d0c93db208a40a77a3672cbe10b7b04da
treed4bac3b4bf33e52dcca7afa7123e85d91c36f008
parent1b78759a62beeb7e777a5ed1518fd840277c9a52
Fix CheckAttributeType's handling of collations for ranges.

Commit fc7695891 changed CheckAttributeType to recurse into ranges,
but made it pass down the wrong collation (always InvalidOid, since
ranges as such have no collation).  This would result in guaranteed
failure when considering a range type whose subtype is collatable.

Embarrassingly, we lack any regression tests that would expose such
a problem (but fortunately, somebody noticed before we shipped this
bug in any release).

Fix it to pass down the range's subtype collation property instead,
and add some regression test cases to exercise collatable-subtype
ranges a bit more.  Back-patch to all supported branches, as the
previous patch was.

Report and patch by Julien Rouhaud, test cases tweaked by me

Discussion: http://postgr.es/m/CAOBaU_aBWqNweiGUFX0guzBKkcfJ8mnnyyGC_KBQmO12Mj5f_A@mail.gmail.com
src/backend/catalog/heap.c
src/backend/utils/cache/lsyscache.c
src/include/utils/lsyscache.h
src/test/regress/expected/rangetypes.out
src/test/regress/expected/sanity_check.out
src/test/regress/sql/rangetypes.sql