Assertion error in exp_bin (sqlsmith)

[monetdb-team]

Date: 2017-10-17 21:44:05 +0200
From: @mlkersten
To: SQL devs <>
Version: 11.27.5 (Jul2017-SP1)
CC: @njnes

Last updated: 2017-10-26 14:01:41 +0200

Comment 25750

Date: 2017-10-17 21:44:05 +0200
From: @mlkersten

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:55.0) Gecko/20100101 Firefox/55.0
Build Identifier:

0 0x00007fa2d56f769b in raise () from /lib64/libc.so.6
1 0x00007fa2d56f94a0 in abort () from /lib64/libc.so.6
2 0x00007fa2d56efd5a in __assert_fail_base () from /lib64/libc.so.6
3 0x00007fa2d56efdd2 in __assert_fail () from /lib64/libc.so.6
4 0x00007fa2d011d092 in exp_bin (be=0x7fa27c001cf0, e=0x7fa27f03f1a0, left=0x7fa27f067270, right=0x0, grp=0x0, ext=0x0, cnt=0x0, sel=0x0)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:734
5 0x00007fa2d011c508 in exp_bin (be=0x7fa27c001cf0, e=0x7fa27f048860, left=0x7fa27f067270, right=0x0, grp=0x0, ext=0x0, cnt=0x0, sel=0x0)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:635
6 0x00007fa2d0125d1f in rel2bin_select (be=0x7fa27c001cf0, rel=0x7fa27f03e6c0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2627
7 0x00007fa2d012ff3f in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f03e6c0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4838
8 0x00007fa2d01214e7 in rel2bin_join (be=0x7fa27c001cf0, rel=0x7fa27f030840, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:1700
9 0x00007fa2d012fe0a in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f030840, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4811
10 0x00007fa2d0125084 in rel2bin_project (be=0x7fa27c001cf0, rel=0x7fa27f03a360, refs=0x7fa27f060750, topn=0x0)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2453
11 0x00007fa2d012ff11 in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f03a360, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4834
12 0x00007fa2d01214e7 in rel2bin_join (be=0x7fa27c001cf0, rel=0x7fa27f03bff0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:1700
13 0x00007fa2d012fe0a in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f03bff0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4811
14 0x00007fa2d0123817 in rel2bin_union (be=0x7fa27c001cf0, rel=0x7fa27f0031a0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2142
15 0x00007fa2d012fe85 in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f0031a0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4822
16 0x00007fa2d01214ac in rel2bin_join (be=0x7fa27c001cf0, rel=0x7fa27f013740, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:1698
17 0x00007fa2d012fe0a in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f013740, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4811
18 0x00007fa2d0125ad8 in rel2bin_select (be=0x7fa27c001cf0, rel=0x7fa27f016cb0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2589
19 0x00007fa2d012ff3f in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f016cb0, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4838
20 0x00007fa2d0125084 in rel2bin_project (be=0x7fa27c001cf0, rel=0x7fa27f005fd0, refs=0x7fa27f060750, topn=0x7fa27f006270)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2453
21 0x00007fa2d01266c0 in rel2bin_topn (be=0x7fa27c001cf0, rel=0x7fa27f006270, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2766
22 0x00007fa2d012ff9b in subrel_bin (be=0x7fa27c001cf0, rel=0x7fa27f006270, refs=0x7fa27f060750)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4846
23 0x00007fa2d0130208 in output_rel_bin (be=0x7fa27c001cf0, rel=0x7fa27f006270)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4899
24 0x00007fa2d014b453 in sql_relation2stmt

Reproducible: Always

Steps to Reproduce:

select
ref_0.name as c0
from
sys.objects as ref_0
inner join sys.columns as ref_1
inner join sys.dependencies as ref_2
inner join sys.columns as sample_0
on (sample_0.type_digits is NULL)
on ((ref_1.type is NULL)
or (ref_2.id is not NULL))
on (12 is NULL)
left join sys.queue as ref_3
on (ref_1.number = ref_3.progress )
where ref_3.estimate is not NULL
limit 156;

Comment 25753

Date: 2017-10-18 13:36:05 +0200
From: @njnes

fixed by cleanup of set_processed. The project operator created in the optimizer wasn't properly set_processed, which caused incorrect pushdowns.

Comment 25755

Date: 2017-10-18 15:30:14 +0200
From: MonetDB Mercurial Repository <>

Changeset 1d48bbe3e8dc made by Niels Nes niels@cwi.nl in the MonetDB repo, refers to this bug.

For complete details, see https//devmonetdborg/hg/MonetDB?cmd=changeset;node=1d48bbe3e8dc

Changeset description:

fixed bug #6432, make sure all finished projects are set_processed
fixed bug #6433, incremented the allowed number of calls to _rel_optimize