Re: pgsql: Do assorted mop-up in the planner.

Hi Tom,

I'll probably switch off testing master for a day (and probably stop
posting more on this thread), but thought I'd post one last
(seemingly different) signature around the same commit, before
I wrap up for the day.

On Thu, 2 Feb 2023 at 23:25, Robins Tharakan <tharakan@gmail.com> wrote:
>
> To add, although a slightly different signature, it looks like Bug #17769 is
> also related to this commit b448f1c8d83f.


Core was generated by `postgres: 117d2604c2@master@sqith: ubuntu
postgres 127.0.'.
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  0x00007f7934a6f859 in __GI_abort () at abort.c:79
#2  0x000055bea71e1dfe in ExceptionalCondition (
    conditionName=0x55bea7398420 "nrm_match == NRM_SUBSET ?
bms_is_subset(phv->phnullingrels, subphv->phnullingrels) : nrm_match
== NRM_SUPERSET ? bms_is_subset(subphv->phnullingrels, phv->p
hnullingrels) : bms_equal(subphv->phnullingr"...,
fileName=0x55bea7397e4f "setrefs.c",
    lineNumber=2845) at assert.c:66
#3  0x000055bea6ed2088 in search_indexed_tlist_for_phv (phv=0x55bea8845868,
    itlist=0x55bea884d3a0, newvarno=-2, nrm_match=NRM_SUPERSET) at
setrefs.c:2845
#4  0x000055bea6ed24ec in fix_join_expr_mutator (node=0x55bea8845868,
    context=0x7ffcabf84820) at setrefs.c:3057
#5  0x000055bea6e0f1ea in expression_tree_mutator_impl (node=0x55bea8845928,
    mutator=0x55bea6ed2317 <fix_join_expr_mutator>, context=0x7ffcabf84820)
    at nodeFuncs.c:3137
#6  0x000055bea6ed269b in fix_join_expr_mutator (node=0x55bea8845928,
    context=0x7ffcabf84820) at setrefs.c:3104
#7  0x000055bea6e0e055 in expression_tree_mutator_impl (node=0x55bea88457f8,
    mutator=0x55bea6ed2317 <fix_join_expr_mutator>, context=0x7ffcabf84820)
    at nodeFuncs.c:2771
#8  0x000055bea6ed269b in fix_join_expr_mutator (node=0x55bea88457f8,
    context=0x7ffcabf84820) at setrefs.c:3104
#9  0x000055bea6e0f1ea in expression_tree_mutator_impl (node=0x55bea88457c8,
    mutator=0x55bea6ed2317 <fix_join_expr_mutator>, context=0x7ffcabf84820)
    at nodeFuncs.c:3137
#10 0x000055bea6ed269b in fix_join_expr_mutator (node=0x55bea88457c8,
    context=0x7ffcabf84820) at setrefs.c:3104
#11 0x000055bea6e0e229 in expression_tree_mutator_impl (node=0x55bea88456c8,
    mutator=0x55bea6ed2317 <fix_join_expr_mutator>, context=0x7ffcabf84820)
    at nodeFuncs.c:2811
#12 0x000055bea6ed269b in fix_join_expr_mutator (node=0x55bea88456c8,
    context=0x7ffcabf84820) at setrefs.c:3104
#13 0x000055bea6e0f1ea in expression_tree_mutator_impl (node=0x55bea884c330,


=======
SQL
rollback; begin;
  create table tn(i name);
  create table rc(cname text);
  SELECT
  FROM (select '' a) AS sample_1
       LEFT JOIN ((SELECT
'(429.25491125213796,40.254082597002764)'::point p) AS sample_2
                  RIGHT JOIN ((SELECT 'int2col'::name colname,
'int2'::text typ) AS sample_3
                              RIGHT JOIN rc AS sample_4 ON
sample_4.cname IS NOT NULL)
                     ON NULL
                  RIGHT JOIN tn AS ref_0 ON sample_2.p IS NULL
                                                       OR
sample_3.colname !~~ sample_3.typ)
          ON sample_1.a ^@ sample_4.cname;
rollback;

Checking (0736fc1ceb~16) - 3bef56e11650a33f70adeb6dd442bc2b48bb9b72 - Crash
Checking (0736fc1ceb~17) - b448f1c8d83f8b65e2f0080c556ee21a7076da25 - Crash
Checking (0736fc1ceb~18) - 2489d76c4906f4461a364ca8ad7e0751ead8aa0d - Success
Checking (0736fc1ceb~19) - ec7e053a98f39a9e3c7e6d35f0d2e83933882399 - Success

-
Robins Tharakan
Amazon Web Services