postgresql/contrib/ltree
Tom Lane c87cb5f7a6 Allow btree comparison functions to return INT_MIN.
Historically we forbade datatype-specific comparison functions from
returning INT_MIN, so that it would be safe to invert the sort order
just by negating the comparison result.  However, this was never
really safe for comparison functions that directly return the result
of memcmp(), strcmp(), etc, as POSIX doesn't place any such restriction
on those library functions.  Buildfarm results show that at least on
recent Linux on s390x, memcmp() actually does return INT_MIN sometimes,
causing sort failures.

The agreed-on answer is to remove this restriction and fix relevant
call sites to not make such an assumption; code such as "res = -res"
should be replaced by "INVERT_COMPARE_RESULT(res)".  The same is needed
in a few places that just directly negated the result of memcmp or
strcmp.

To help find places having this problem, I've also added a compile option
to nbtcompare.c that causes some of the commonly used comparators to
return INT_MIN/INT_MAX instead of their usual -1/+1.  It'd likely be
a good idea to have at least one buildfarm member running with
"-DSTRESS_SORT_INT_MIN".  That's far from a complete test of course,
but it should help to prevent fresh introductions of such bugs.

This is a longstanding portability hazard, so back-patch to all supported
branches.

Discussion: https://postgr.es/m/20180928185215.ffoq2xrq5d3pafna@alap3.anarazel.de
2018-10-05 16:01:29 -04:00
..
data
expected Fix crash in contrib/ltree's lca() function for empty input array. 2018-07-13 18:45:30 -04:00
sql Fix crash in contrib/ltree's lca() function for empty input array. 2018-07-13 18:45:30 -04:00
_ltree_gist.c Change TRUE/FALSE to true/false 2017-11-08 11:37:28 -05:00
_ltree_op.c Make DatumGetFoo/PG_GETARG_FOO/PG_RETURN_FOO macro names more consistent. 2017-09-18 15:21:23 -04:00
.gitignore
crc32.c Remove useless duplicate inclusions of system header files. 2017-02-25 16:12:55 -05:00
crc32.h
lquery_op.c Make DatumGetFoo/PG_GETARG_FOO/PG_RETURN_FOO macro names more consistent. 2017-09-18 15:21:23 -04:00
ltree_gist.c Change TRUE/FALSE to true/false 2017-11-08 11:37:28 -05:00
ltree_io.c Make DatumGetFoo/PG_GETARG_FOO/PG_RETURN_FOO macro names more consistent. 2017-09-18 15:21:23 -04:00
ltree_op.c Allow btree comparison functions to return INT_MIN. 2018-10-05 16:01:29 -04:00
ltree--1.0--1.1.sql
ltree--1.1.sql
ltree--unpackaged--1.0.sql
ltree.control
ltree.h Make DatumGetFoo/PG_GETARG_FOO/PG_RETURN_FOO macro names more consistent. 2017-09-18 15:21:23 -04:00
ltreetest.sql
ltxtquery_io.c Make DatumGetFoo/PG_GETARG_FOO/PG_RETURN_FOO macro names more consistent. 2017-09-18 15:21:23 -04:00
ltxtquery_op.c Make DatumGetFoo/PG_GETARG_FOO/PG_RETURN_FOO macro names more consistent. 2017-09-18 15:21:23 -04:00
Makefile Provide for contrib and pgxs modules to install include files. 2018-07-31 20:07:39 +01:00