]> granicus.if.org Git - postgresql/commit
Teach parser to transform "x IS [NOT] DISTINCT FROM NULL" to a NullTest.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 28 Jul 2016 21:23:03 +0000 (17:23 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 28 Jul 2016 21:23:13 +0000 (17:23 -0400)
commit8d19d0e139238cdcb3f1f7e1adc4ff959562822f
treed51df5d0d77f553524ce628cc51555ed9e76bb98
parentef5d4a3cfacb009526aac3e01a26f4b54d70bfd7
Teach parser to transform "x IS [NOT] DISTINCT FROM NULL" to a NullTest.

Now that we've nailed down the principle that NullTest with !argisrow
is fully equivalent to SQL's IS [NOT] DISTINCT FROM NULL, let's teach
the parser about it.  This produces a slightly more compact parse tree
and is much more amenable to optimization than a DistinctExpr, since
the planner knows a good deal about NullTest and next to nothing about
DistinctExpr.

I'm not sure that there are all that many queries in the wild that could
be improved by this, but at least one source of such cases is the patch
just made to postgres_fdw to emit IS [NOT] DISTINCT FROM NULL when
IS [NOT] NULL isn't semantically correct.

No back-patch, since to the extent that this does affect planning results,
it might be considered undesirable plan destabilization.
src/backend/nodes/outfuncs.c
src/backend/parser/gram.y
src/backend/parser/parse_expr.c
src/include/nodes/parsenodes.h