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_x...@mail.gmail.com
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/c7076ba6ad1c2dc2ed50496b7ec71daebfe5327c
Modified Files
--------------
src/backend/optimizer/util/predtest.c | 365 ++++++++++++++++---------
src/test/modules/test_predtest/test_predtest.c | 29 ++
2 files changed, 258 insertions(+), 136 deletions(-)
