Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Assertion error in exp_bin (sqlsmith) #6425

Closed
monetdb-team opened this issue Nov 30, 2020 · 0 comments
Closed

Assertion error in exp_bin (sqlsmith) #6425

monetdb-team opened this issue Nov 30, 2020 · 0 comments
Labels
bug Something isn't working major SQL

Comments

@monetdb-team
Copy link

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
@monetdb-team monetdb-team added bug Something isn't working major SQL labels Nov 30, 2020
@sjoerdmullender sjoerdmullender added this to the Ancient Release milestone Feb 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working major SQL
Projects
None yet
Development

No branches or pull requests

2 participants