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) #6432

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

Assertion error in exp_bin (sqlsmith) #6432

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-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
@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