pgsql: Always commute strategy when preprocessing DESC keys.

From: Peter Geoghegan <pg(at)bowt(dot)ie>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: Always commute strategy when preprocessing DESC keys.
Date: 2025-09-12 17:23:24
Message-ID: E1ux7UZ-000Ng9-2W@gemulon.postgresql.org
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-committers

Always commute strategy when preprocessing DESC keys.

A recently added nbtree preprocessing step failed to account for the
fact that DESC columns already had their B-Tree strategy number commuted
at this point in preprocessing. As a result, preprocessing could output
a set of scan keys where one or more keys had the correct strategy
number, but used the wrong comparison routine.

To fix, make the faulty code path that looks up a more restrictive
replacement operator/comparison routine commute its requested inequality
strategy (while outputting the transformed strategy number as before).
This makes the final transformed scan key comport with the approach
preprocessing has always used to deal with DESC columns (which is
described by comments above _bt_fix_scankey_strategy).

Oversight in commit commit b3f1a13f, which made nbtree preprocessing
perform transformations on skip array inequalities that can reduce the
total number of index searches.

Author: Peter Geoghegan <pg(at)bowt(dot)ie>
Reported-By: Natalya Aksman <natalya(at)timescale(dot)com>
Discussion: https://postgr.es/m/19049-b7df801e71de41b2@postgresql.org
Backpatch-through: 18

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/796962922e6938fdad4dbf810fb2a5dfcfc5f45a

Modified Files
--------------
src/backend/access/nbtree/nbtpreprocesskeys.c | 24 ++++++++++++++++++------
1 file changed, 18 insertions(+), 6 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Noah Misch 2025-09-12 19:45:51 pgsql: Replace tests of ALTER DATABASE RESET TABLESPACE.
Previous Message Álvaro Herrera 2025-09-12 17:01:25 pgsql: Avoid unexpected changes of CurrentResourceOwner and CurrentMemo