BUG #17768: Assert triggered on initsplan.c

The following bug has been logged on the website:

Bug reference: 17768
Logged by: Robins Tharakan
Email address: tharakan(at)gmail(dot)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(at)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(at)master@sqith: u73 postgres
127.0.0.1(35840) SELECT '.
Program terminated with signal SIGABRT, Aborted.
#0 __GI_raise (sig=sig(at)entry=6) at ../sysdeps/unix/sysv/linux/raise.c:50
#0 __GI_raise (sig=sig(at)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