Assertion error in exp_bin (sqlsmith)

[monetdb-team]

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

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

Comment 25728

Date: 2017-10-15 21:30:23 +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:

After 185K queries on mergedb

3 0x00007f5b72802dd2 in __assert_fail () from /lib64/libc.so.6
4 0x00007f5b6d22fd07 in exp_bin (be=0x7f5b30001ec0, e=0x7f5b326781f0, left=0x7f5b3269be10, right=0x7f5b3269c870, grp=0x0, ext=0x0, cnt=0x0,
sel=0x0) at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:703
5 0x00007f5b6d2349a3 in rel2bin_join (be=0x7f5b30001ec0, rel=0x7f5b32677f20, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:1770
6 0x00007f5b6d242e22 in subrel_bin (be=0x7f5b30001ec0, rel=0x7f5b32677f20, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4816
7 0x00007f5b6d23809c in rel2bin_project (be=0x7f5b30001ec0, rel=0x7f5b32679400, refs=0x7f5b3269b600, topn=0x0)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2458
8 0x00007f5b6d242f29 in subrel_bin (be=0x7f5b30001ec0, rel=0x7f5b32679400, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4839
9 0x00007f5b6d23682f in rel2bin_union (be=0x7f5b30001ec0, rel=0x7f5b32679460, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2147
10 0x00007f5b6d242e9d in subrel_bin (be=0x7f5b30001ec0, rel=0x7f5b32679460, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4827
11 0x00007f5b6d23682f in rel2bin_union (be=0x7f5b30001ec0, rel=0x7f5b3267b3a0, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2147
12 0x00007f5b6d242e9d in subrel_bin (be=0x7f5b30001ec0, rel=0x7f5b3267b3a0, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4827
13 0x00007f5b6d23445c in rel2bin_join (be=0x7f5b30001ec0, rel=0x7f5b32677aa0, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:1698
14 0x00007f5b6d242e22 in subrel_bin (be=0x7f5b30001ec0, rel=0x7f5b32677aa0, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4816
15 0x00007f5b6d238af0 in rel2bin_select (be=0x7f5b30001ec0, rel=0x7f5b32677e50, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2594
16 0x00007f5b6d242f57 in subrel_bin (be=0x7f5b30001ec0, rel=0x7f5b32677e50, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4843
17 0x00007f5b6d23809c in rel2bin_project (be=0x7f5b30001ec0, rel=0x7f5b326743a0, refs=0x7f5b3269b600, topn=0x7f5b32674660)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2458
18 0x00007f5b6d2396d8 in rel2bin_topn (be=0x7f5b30001ec0, rel=0x7f5b32674660, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2771
19 0x00007f5b6d242fb3 in subrel_bin (be=0x7f5b30001ec0, rel=0x7f5b32674660, refs=0x7f5b3269b600)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4851
20 0x00007f5b6d243220 in output_rel_bin (be=0x7f5b30001ec0, rel=0x7f5b32674660)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:4904
21 0x00007f5b6d25e46b in sql_relation2stmt (be=0x7f5b30001ec0, r=0x7f5b32674660)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/sql_gencode.c:529
22 0x00007f5b6d25e7ea in backend_dumpstmt (be=0x7f5b30001ec0, mb=0x7f5b30003120, r=0x7f5b32674660, top=1, add_end=1,
query=0x7f5b3072b4d0 "select \n sample_2.keyword as c0\nfrom \n sys.optimizers as sample_0\n right join sys.netcdf_vardim as sample_1\n on (((true) \n or (false)) \n or (true))\n right join sys.keywords as sample_2\n right join sys"...)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/sql_gencode.c:576
23 0x00007f5b6d25f04f in backend_dumpproc (be=0x7f5b30001ec0, c=0x7f5b6ebcb650, cq=0x7f5b3015f370, r=0x7f5b32674660)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/sql_gencode.c:703
24 0x00007f5b6d222e95 in SQLparser

Reproducible: Always

Steps to Reproduce:

select
sample_2.keyword as c0
from
sys.optimizers as sample_0
right join sys.netcdf_vardim as sample_1
on (((true)
or (false))
or (true))
right join sys.keywords as sample_2
right join sys.privilege_codes as sample_3
on (sample_2.keyword = sample_3.privilege_code_name )
on (sample_1.var_id = sample_3.privilege_code_id )
where false
limit 106;

Comment 25734

Date: 2017-10-16 08:13:45 +0200
From: @njnes

fixed crash, ie fallback to crossproduct and select for complex or expressions

Comment 25736

Date: 2017-10-16 08:19:49 +0200
From: MonetDB Mercurial Repository <>

Changeset cfa035d658b6 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=cfa035d658b6

Changeset description:

fixed bugs 6424, 6425 and 6426