pgsql: Ensure plpgsql result tuples have the right composite typemarki - Mailing list pgsql-committers

From Tom Lane
Subject pgsql: Ensure plpgsql result tuples have the right composite typemarki
Date
Msg-id E1hinQz-00078l-TN@gemulon.postgresql.org
Whole thread Raw
List pgsql-committers
Ensure plpgsql result tuples have the right composite type marking.

A function that is declared to return a named composite type must
return tuple datums that are physically marked as having that type.
The plpgsql code path that allowed directly returning an expanded-record
datum forgot to check that, so that an expanded record marked as type
RECORDOID could be returned if it had a physically-compatible tupdesc.
This'd be harmless, I think, if the record value never escaped the
current session --- but it's possible for it to get stored into a table,
and then subsequent sessions can't interpret the anonymous record type.

Fix by flattening the record into a tuple datum and overwriting its
type/typmod fields, if its declared type doesn't match the function's
declared type.  (In principle it might be possible to just change the
expanded record's stored type ID info, but there are enough tricky
consequences that I didn't want to mess with that, especially not in
a back-patched bug fix.)

Per bug report from Steve Rogerson.  Back-patch to v11 where the bug
was introduced.

Discussion: https://postgr.es/m/cbaecae6-7b87-584e-45f6-4d047b92ca2a@yewtc.demon.co.uk

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/5683b34956b4e8da9dccadc2e3a53b86104ebb33

Modified Files
--------------
src/pl/plpgsql/src/expected/plpgsql_record.out | 13 +++++++++++++
src/pl/plpgsql/src/pl_exec.c                   | 25 +++++++++++++++++++++++++
src/pl/plpgsql/src/sql/plpgsql_record.sql      | 10 ++++++++++
3 files changed, 48 insertions(+)


pgsql-committers by date:

Previous
From: Tom Lane
Date:
Subject: pgsql: Doc: document table persistence display in \dt+.
Next
From: David Rowley
Date:
Subject: pgsql: Use appendStringInfoString and appendPQExpBufferStr wherepossib