projects / users / c2main / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc5fcaa) | patch
Refactor predicate_{implied,refuted}_by_simple_clause.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 25 Mar 2024 21:45:15 +0000 (17:45 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 25 Mar 2024 21:45:15 +0000 (17:45 -0400)
commitc7076ba6ad1c2dc2ed50496b7ec71daebfe5327c
tree928dfde066d9254ff6e12ebae2895ff5c7947bf5tree
parentbc5fcaa289a92941a1c7b191c7c9311bd742e172commit | diff
Refactor predicate_{implied,refuted}_by_simple_clause.

Put the node-type-dependent operations into switches on nodeTag.
This should ease addition of new proof rules for other expression
node types.  There is no functional change, although some tests
are made in a different order than before.

Also, add a couple of new cross-checks in test_predtest.c.

James Coleman (part of a larger patch series)

Discussion: https://postgr.es/m/CAAaqYe8Bo4bf_i6qKj8KBsmHMYXhe3Xt6vOe3OBQnOaf3_XBWg@mail.gmail.com
src/backend/optimizer/util/predtest.c diff | blob | blame | history
src/test/modules/test_predtest/test_predtest.c diff | blob | blame | history
Cedric's Stuff