Reject SELECT ... GROUP BY GROUPING SETS (()) FOR UPDATE.
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 1 Jun 2021 15:12:56 +0000 (11:12 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 1 Jun 2021 15:12:56 +0000 (11:12 -0400)
commit1103033aedc10295eb689a4b7158f21ef4c14a11
tree0d8f24b4d84edc7531a7dd1a44e16a9c56ba07fc
parenteb89cb43a0d0e401e71b8e2345b5f5bc8b2755a1
Reject SELECT ... GROUP BY GROUPING SETS (()) FOR UPDATE.

This case should be disallowed, just as FOR UPDATE with a plain
GROUP BY is disallowed; FOR UPDATE only makes sense when each row
of the query result can be identified with a single table row.
However, we missed teaching CheckSelectLocking() to check
groupingSets as well as groupClause, so that it would allow
degenerate grouping sets.  That resulted in a bad plan and
a null-pointer dereference in the executor.

Looking around for other instances of the same bug, the only one
I found was in examine_simple_variable().  That'd just lead to
silly estimates, but it should be fixed too.

Per private report from Yaoguang Chen.
Back-patch to all supported branches.
src/backend/parser/analyze.c
src/backend/utils/adt/selfuncs.c
src/test/regress/expected/errors.out
src/test/regress/sql/errors.sql