Fix constant-folding of ROW(...) IS [NOT] NULL with composite fields.
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 26 Jul 2016 19:25:02 +0000 (15:25 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 26 Jul 2016 19:25:02 +0000 (15:25 -0400)
commitd243bf77c2d3888fb263c55317c2453cb437d1de
tree6ec5799f24acb9168f1f73ccc7da84fd87cb662d
parentb1fa6c0eb9fadc9eada014227a67eadfec936960
Fix constant-folding of ROW(...) IS [NOT] NULL with composite fields.

The SQL standard appears to specify that IS [NOT] NULL's tests of field
nullness are non-recursive, ie, we shouldn't consider that a composite
field with value ROW(NULL,NULL) is null for this purpose.
ExecEvalNullTest got this right, but eval_const_expressions did not,
leading to weird inconsistencies depending on whether the expression
was such that the planner could apply constant folding.

Also, adjust the docs to mention that IS [NOT] DISTINCT FROM NULL can be
used as a substitute test if a simple null check is wanted for a rowtype
argument.  That motivated reordering things so that IS [NOT] DISTINCT FROM
is described before IS [NOT] NULL.  In HEAD, I went a bit further and added
a table showing all the comparison-related predicates.

Per bug #14235.  Back-patch to all supported branches, since it's certainly
undesirable that constant-folding should change the semantics.

Report and patch by Andrew Gierth; assorted wordsmithing and revised
regression test cases by me.

Report: <20160708024746.1410.57282@wrigleys.postgresql.org>
doc/src/sgml/func.sgml
src/backend/executor/execQual.c
src/backend/optimizer/util/clauses.c
src/test/regress/expected/rowtypes.out
src/test/regress/sql/rowtypes.sql