Re: Wrong results with grouping sets

On Thu, Oct 10, 2024 at 2:39 PM David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
> create table a(a int);
> explain select * from a where exists(Select 1 from a a2 where a.a =
> a2.a group by a);
> CREATE TABLE
> server closed the connection unexpectedly
>
> TRAP: failed Assert("parse->hasGroupRTE"), File:
> "../src/backend/optimizer/plan/planner.c", Line: 794, PID: 107765

Thank you for the report!

The subquery initially has a valid groupClause, so the parser adds an
RTE_GROUP for it and marks its hasGroupRTE as true. When we pull the
subquery up to the parent level, the RTE_GROUP entry is attached to
the parent. However, the parent query is not marked as hasGroupRTE
because it does not contain any GROUP clauses. So we hit the Assert.

While we can fix this issue by propagating the hasGroupRTE mark from
the EXISTS subquery to the parent, a better fix might be to remove the
subquery's RTE_GROUP entry, since we have dropped the subquery's
groupClause before the pull-up (see simplify_EXISTS_query).

Thanks
Richard