Обсуждение: Failed assertion in joininfo.c, remove_join_clause_from_rels

Hi,

SQLsmith found a failing Assertion in joininfo.c on master.  I can
reproduce it on an assertion-enabled build like this:

create table t1(a int primary key);
create table t2(a int);

select * from t2 right join
         (t1 as t1a inner join t1 as t1b on t1a.a = t1b.a)
      on t1a.a is not null and exists (select);

-- TRAP: failed Assert("list_member_ptr(rel->joininfo, restrictinfo)"), File: "joininfo.c", Line: 144, PID: 777839

regards,
Andreas

On Wed, Dec 27, 2023 at 1:54 PM Andreas Seltenreich <seltenreich@gmx.de> wrote:
> SQLsmith found a failing Assertion in joininfo.c on master.  I can
> reproduce it on an assertion-enabled build like this:
>
> create table t1(a int primary key);
> create table t2(a int);
>
> select * from t2 right join
>          (t1 as t1a inner join t1 as t1b on t1a.a = t1b.a)
>       on t1a.a is not null and exists (select);
>
> -- TRAP: failed Assert("list_member_ptr(rel->joininfo, restrictinfo)"), File: "joininfo.c", Line: 144, PID: 777839

Thank you for pointing this out.  I'm investigating.

------
Regards,
Alexander Korotkov

On Wed, Dec 27, 2023 at 2:04 PM Richard Guo <guofenglinux@gmail.com> wrote:
> On Wed, Dec 27, 2023 at 8:00 PM Alexander Korotkov <aekorotkov@gmail.com> wrote:
>>
>> On Wed, Dec 27, 2023 at 1:54 PM Andreas Seltenreich <seltenreich@gmx.de> wrote:
>> > SQLsmith found a failing Assertion in joininfo.c on master.  I can
>> > reproduce it on an assertion-enabled build like this:
>> >
>> > create table t1(a int primary key);
>> > create table t2(a int);
>> >
>> > select * from t2 right join
>> >          (t1 as t1a inner join t1 as t1b on t1a.a = t1b.a)
>> >       on t1a.a is not null and exists (select);
>> >
>> > -- TRAP: failed Assert("list_member_ptr(rel->joininfo, restrictinfo)"), File: "joininfo.c", Line: 144, PID: 777839
>>
>> Thank you for pointing this out.  I'm investigating.
>
>
> This is the same issue with [1] and has been just fixed by e0477837ce.
>
> [1] https://www.postgresql.org/message-id/flat/CAMbWs4_wJthNtYBL%2BSsebpgF-5L2r5zFFk6xYbS0A78GKOTFHw%40mail.gmail.com

I just came to the same conclusion.  Thank you, Richard.

------
Regards,
Alexander Korotkov