Re: BUG #17768: Assert triggered on initsplan.c - Mailing list pgsql-bugs

From Richard Guo
Subject Re: BUG #17768: Assert triggered on initsplan.c
Date
Msg-id CAMbWs490BcsZqXF+foXiQ0zdw-FffZJA6+vBNYtJF0vkDyJ98g@mail.gmail.com
Whole thread Raw
In response to BUG #17768: Assert triggered on initsplan.c  (PG Bug reporting form <noreply@postgresql.org>)
Responses Re: BUG #17768: Assert triggered on initsplan.c  (Richard Guo <guofenglinux@gmail.com>)
List pgsql-bugs

On Thu, Feb 2, 2023 at 3:34 PM PG Bug reporting form <noreply@postgresql.org> wrote:
The following bug has been logged on the website:

Bug reference:      17768
Logged by:          Robins Tharakan
Email address:      tharakan@gmail.com
PostgreSQL version: 15.1
Operating system:   Ubuntu 20.04
Description:       

This assert() is not easily reproducible, but thought may be of interest.
Can provide full backtrace, if required.

Git: 253432f426@master
OS: Ubuntu 20.04

TRAP: failed Assert("j->jointype == JOIN_INNER"), File: "initsplan.c", Line:
1206, PID: 3285978
 
Thanks for the report!  I can reproduce this issue with the following
query.

create table t1(a int);
create table t2(a int);
create table t3(a int);
create table t4(a int);
create table t5(a int);

select * from t1, lateral (select * from t2 inner join t3 on t1.a = 1 inner join (t4 right join t5 on true) on true) as sub;

There is something wrong about postponing quals.  We are supposed to
postpone quals only from children to their parent nodes.  But here in
deconstruct_distribute we scan all the jointree nodes in depth-first
traversal order and any quals postponed by left children may be checked
against right children.  If the right subtree is an outer join as in
this example, the assertion would be triggered.

Thanks
Richard

pgsql-bugs by date:

Previous
From: Kyotaro Horiguchi
Date:
Subject: Re: BUG #17767: psql: tab-completion causes warnings when standard_conforming_strings = off
Next
From: PG Bug reporting form
Date:
Subject: BUG #17769: Assert triggered in indxpath.c