Fix CheckAttributeType's handling of collations for ranges.
authorTom Lane
Fri, 31 Jan 2020 22:03:55 +0000 (17:03 -0500)
committerTom Lane
Fri, 31 Jan 2020 22:03:55 +0000 (17:03 -0500)
commit25dc267a1be573c36c4e40dce651ae462f17eb9e
treea1d80f035b5bb05b45eed4e7e32fa75fed1413e9
parent63634883fbcbb4881f1bd3ab1012163df743b9c9
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: https://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