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

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

Backtrace / backtrace full excerpt / SQL below.

Backtrace
=========
Core was generated by `postgres: 253432f426@master@sqith: u73 postgres
127.0.0.1(35840) SELECT       '.
Program terminated with signal SIGABRT, Aborted.
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#0  __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#1  0x00007f1d76f78859 in __GI_abort () at abort.c:79
#2  0x0000562684d12e9a in ExceptionalCondition (
    conditionName=0x562684ec7d20 "j->jointype == JOIN_INNER",
    fileName=0x562684ec7b3a "initsplan.c", lineNumber=1206) at assert.c:66
#3  0x00005626849ead15 in deconstruct_distribute (root=0x56268751f078,
    jtitem=0x5626870ff6a8, postponed_qual_list=0x7ffc7e6196c0)
    at initsplan.c:1206
#4  0x00005626849e9b3d in deconstruct_jointree (root=0x56268751f078)
    at initsplan.c:783
#5  0x00005626849eeae4 in query_planner (root=0x56268751f078,
    qp_callback=0x5626849f53c9 <standard_qp_callback>,
    qp_extra=0x7ffc7e6198e0) at planmain.c:186
#6  0x00005626849f1610 in grouping_planner (root=0x56268751f078,
    tuple_fraction=0) at planner.c:1496
#7  0x00005626849f0cbf in subquery_planner (glob=0x5626870b6cf8,
    parse=0x5626870b6e08, parent_root=0x0, hasRecursion=false,
    tuple_fraction=0) at planner.c:1065
#8  0x00005626849ef277 in standard_planner (parse=0x5626870b6e08,
    query_string=0x562686a6d188 "select  \n  public.constant_refcursor() as
c0\nfrom \n  public.rtest_t4 as ref_0,\n  lateral (select  \n
pg_catalog.nummultirange() as c0\n      from>
#9  0x00007f1d73f6608b in pgss_planner (parse=0x5626870b6e08,


Backtrace full excerpt
=================
#2  0x0000562684d12e9a in ExceptionalCondition (
    conditionName=0x562684ec7d20 "j->jointype == JOIN_INNER",
    fileName=0x562684ec7b3a "initsplan.c", lineNumber=1206) at assert.c:66
No locals.
#3  0x00005626849ead15 in deconstruct_distribute (root=0x56268751f078,
    jtitem=0x5626870ff6a8, postponed_qual_list=0x7ffc7e6196c0)
    at initsplan.c:1206
        pq = 0x5626870ffaf8
        l__state = {l = 0x5626870ffb18, i = 0}
        ojscope = 0x0
        j = 0x5626870f5228
        new_postponed_quals = 0x0
        my_quals = 0x0
        sjinfo = 0x0
        postponed_oj_qual_list = 0x0
        l = 0x5626870ffb30
        jtnode = 0x5626870f5228
        __func__ = "deconstruct_distribute"
#4  0x00005626849e9b3d in deconstruct_jointree (root=0x56268751f078)
    at initsplan.c:783
        jtitem = 0x5626870ff6a8
        lc__state = {l = 0x5626870ff018, i = 6}
        result = 0x5626870ff2f8
        top_jdomain = 0x56268751f628
        item_list = 0x5626870ff018
        postponed_qual_list = 0x5626870ffb18
        lc = 0x5626870ffa48
#5  0x00005626849eeae4 in query_planner (root=0x56268751f078,
    qp_callback=0x5626849f53c9 <standard_qp_callback>,
    qp_extra=0x7ffc7e6198e0) at planmain.c:186
        parse = 0x5626870b6e08
        joinlist = 0x562684d985e0 <__libc_csu_init>
        final_rel = 0x7ffc7e619790
        __func__ = "query_planner"





SQL
===
select
  public.constant_refcursor() as c0
from
  public.rtest_t4 as ref_0,
  lateral (select
        pg_catalog.nummultirange() as c0
      from
        public.mic_inputs as sample_0 tablesample system (3.1)
            inner join pg_catalog.pg_subscription_rel as sample_1
tablesample bernoulli (8.3)
            on (ref_0.b is NULL)
          inner join sqithsch16.chr as sample_2 tablesample bernoulli
(5.2)
            right join public.num_result as ref_1
            on ((select s from public.lseg_tbl limit 1 offset 2)
                   <> (select lseg from public.tab_core_types limit 1 offset
1)
                  )
          on (true)
      where false) as subq_0
where false;

Thanks to SQLSmith for the find.

-
Robins Tharakan
Amazon Web Services