Track typmods in plpgsql expression evaluation and assignment.
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 28 Feb 2015 19:34:35 +0000 (14:34 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 28 Feb 2015 19:34:35 +0000 (14:34 -0500)
commite524cbdc45ec6d677b1dd49ee64dd403959eda0f
tree34739c5a45b3df7d720b971765809ca5a28c92be
parentb514a7460d9127ddda6598307272c701cbb133b7
Track typmods in plpgsql expression evaluation and assignment.

The main value of this change is to avoid expensive I/O conversions when
assigning to a variable that has a typmod specification, if the value
to be assigned is already known to have the right typmod.  This is
particularly valuable for arrays with typmod specifications; formerly,
in an assignment to an array element the entire array would invariably
get put through double I/O conversion to check the typmod, to absolutely
no purpose since we'd already properly coerced the new element value.

Extracted from my "expanded arrays" patch; this seems worth committing
separately, whatever becomes of that patch, since it's really an
independent issue.

As long as we're changing the function signatures, take the opportunity
to rationalize the argument lists of exec_assign_value, exec_cast_value,
and exec_simple_cast_value; that is, put the arguments into a saner order,
and get rid of the bizarre choice to pass exec_assign_value's isNull flag
by reference.
src/pl/plpgsql/src/pl_exec.c
src/pl/plpgsql/src/plpgsql.h