pgsql: Add strict_multi_assignment and too_many_rows plpgsql checks

Started by Tomas Vondraover 7 years ago3 messages
#1Tomas Vondra
tomas.vondra@postgresql.org

Add strict_multi_assignment and too_many_rows plpgsql checks

Until now shadowed_variables was the only plpgsql check supported by
plpgsql.extra_warnings and plpgsql.extra_errors. This patch introduces
two new checks - strict_multi_assignment and too_many_rows. Unlike
shadowed_variables, these new checks are enforced at run-time.

strict_multi_assignment checks that commands allowing multi-assignment
(for example SELECT INTO) have the same number of sources and targets.
too_many_rows checks that queries with an INTO clause return one row
exactly.

These checks are aimed at cases that are technically valid and allowed,
but are often a sign of a bug. Therefore those checks are expected to
be enabled primarily in development and testing environments.

Author: Pavel Stehule
Reviewed-by: Stephen Frost, Tomas Vondra
Discussion: /messages/by-id/CAFj8pRA2kKRDKpUNwLY0GeG1OqOp+tLS2yQA1V41gzuSz-hCng@mail.gmail.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/167075be3ab1547e186096bb8e6e448cd8eea5af

Modified Files
--------------
doc/src/sgml/plpgsql.sgml | 115 +++++++++++++++++++++++++++-------
src/pl/plpgsql/src/pl_exec.c | 108 ++++++++++++++++++++++++++++---
src/pl/plpgsql/src/pl_handler.c | 4 ++
src/pl/plpgsql/src/plpgsql.h | 10 +--
src/test/regress/expected/plpgsql.out | 107 +++++++++++++++++++++++++++++++
src/test/regress/sql/plpgsql.sql | 89 ++++++++++++++++++++++++++
6 files changed, 400 insertions(+), 33 deletions(-)

#2Peter Eisentraut
peter.eisentraut@2ndquadrant.com
In reply to: Tomas Vondra (#1)
Re: pgsql: Add strict_multi_assignment and too_many_rows plpgsql checks

On 2018-07-25 01:47, Tomas Vondra wrote:

Add strict_multi_assignment and too_many_rows plpgsql checks

Could you clarify this error message:

/* translator: %s represents a name of an extra check */
errdetail("%s check of %s is active.",
"strict_multi_assignment",
strict_multiassignment_level == ERROR ? "extra_errors" :
"extra_warnings"),

What does, for example,

strict_multi_assignment check of extra_errors is active.

mean?

Also note that the translator comment is only mentioning one of the %s.

--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services

#3Pavel Stehule
pavel.stehule@gmail.com
In reply to: Peter Eisentraut (#2)
Re: pgsql: Add strict_multi_assignment and too_many_rows plpgsql checks

Hi

čt 9. 5. 2019 v 8:52 odesílatel Peter Eisentraut <
peter.eisentraut@2ndquadrant.com> napsal:

On 2018-07-25 01:47, Tomas Vondra wrote:

Add strict_multi_assignment and too_many_rows plpgsql checks

Could you clarify this error message:

/* translator: %s represents a name of an extra check */
errdetail("%s check of %s is active.",
"strict_multi_assignment",
strict_multiassignment_level == ERROR ? "extra_errors" :
"extra_warnings"),

What does, for example,

strict_multi_assignment check of extra_errors is active.

mean?

strict_multi_assignment is a name of plpgsql extra check. This check checks
number of expressions against number of target variables.
extra checks can produces errors or warnings - so second placeholder
specifies used level.

The sense of this detail's message is a introduce of reason of this error
message.

Regards

Pavel

Show quoted text

Also note that the translator comment is only mentioning one of the %s.

--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services