]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Fix int32 overflow in ltree_compare()
authorHeikki Linnakangas <heikki.linnakangas@iki.fi>
Tue, 16 Jun 2026 06:27:00 +0000 (09:27 +0300)
committerHeikki Linnakangas <heikki.linnakangas@iki.fi>
Tue, 16 Jun 2026 06:31:23 +0000 (09:31 +0300)
commitf528a5606a836289c8cf3faa09874439b6f79c8f
tree77e093e142093950f9b9f43b02f17ef0077ee6a0
parent2a00840e8c9772b5b22accd652a495d7c654693e
Fix int32 overflow in ltree_compare()

The expression (len_diff * 10 * (an + 1)) used as the return value of
ltree_compare() is computed at int32 width.  With LTREE_MAX_LEVELS =
65535, the product can exceed INT32_MAX once an ltree has more than
~14,653 levels, which causes the result to wrap and invert its sign.
That corrupts btree ordering as well as the "magnitude" consumed by
ltree_penalty() for GiST page splits.

To fix, split ltree_compare() into two functions.  The new
ltree_compare_distance() function returns a float, which won't
overflow.  It's used by the ltree_penalty() caller.  All the other
callers only care about the sign of the return value, i.e. which of
the arguments is greater, so change ltree_compare() to not multiply
the result with (10 * (an + 1)), which avoids the overflow for those
callers.

Existing btree or GiST indexes on ltree columns containing values with
more than ~14,653 levels may be corrupt and should be REINDEXed.

Add a regression test based on the reporter's PoC.

Author: Ayush Tiwari <ayushtiwari.slg01@gmail.com>
Reported-by: 王跃林 <violin0613@tju.edu.cn>
Discussion: https://www.postgresql.org/message-id/AI6AnABgKW93Qbx1jVzi84r9.8.1781322625756.Hmail.3020001251%40tju.edu.cn
Backpatch-through: 14
contrib/ltree/expected/ltree.out
contrib/ltree/ltree.h
contrib/ltree/ltree_gist.c
contrib/ltree/ltree_op.c
contrib/ltree/sql/ltree.sql