Assertion error in rel_dce_refs (sqlsmith)

[monetdb-team]

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

Last updated: 2017-12-14 14:46:06 +0100

Comment 25795

Date: 2017-10-24 21:58:11 +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:

SF1 database triggers assertion.
0 0x00007f0d8e9a469b in raise () from /lib64/libc.so.6
1 0x00007f0d8e9a64a0 in abort () from /lib64/libc.so.6
2 0x00007f0d8e99cd5a in __assert_fail_base () from /lib64/libc.so.6
3 0x00007f0d8e99cdd2 in __assert_fail () from /lib64/libc.so.6
4 0x00007f0d894e8779 in rel_dce_refs (sql=0x7f0d58101750, rel=0x7f0d581287b0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6158
5 0x00007f0d894e86d1 in rel_dce_refs (sql=0x7f0d58101750, rel=0x7f0d58128230)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6126
6 0x00007f0d894e8754 in rel_dce_refs (sql=0x7f0d58101750, rel=0x7f0d58128680)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6154
7 0x00007f0d894e86d1 in rel_dce_refs (sql=0x7f0d58101750, rel=0x7f0d58124330)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6126
8 0x00007f0d894e86d1 in rel_dce_refs (sql=0x7f0d58101750, rel=0x7f0d58124cf0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6126
9 0x00007f0d894e8f37 in rel_dce (sql=0x7f0d58101750, rel=0x7f0d58124cf0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6352
10 0x00007f0d894f4b41 in _rel_optimizer (sql=0x7f0d58101750, rel=0x7f0d58124cf0, g_changes=0x7f0d6ea9b940, level=0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:9027
11 0x00007f0d894f4ce1 in rel_optimizer (sql=0x7f0d58101750, rel=0x7f0d58124cf0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:9054
12 0x00007f0d893ce855 in sql_symbol2relation (c=0x7f0d58101750, sym=0x7f0d5811aab0)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/sql.c:121
13 0x00007f0d893ee008 in SQLparser

Reproducible: Always

Steps to Reproduce:

select
ref_3.name as c0,
ref_4.index_type_name as c1,
ref_3.name as c2,
ref_3.value as c3
from
sys.environment as ref_3
inner join sys.index_types as ref_4
on (ref_3.value is NULL)
where EXISTS (
select
ref_3.value as c0
from
(select
ref_5.table_id as c0,
ref_5.table_id as c1,
ref_6.lb as c2,
ref_4.index_type_name as c3,
ref_4.index_type_id as c4
from
tmp._columns as ref_5
left join bam.rg as ref_6
on (ref_5.id is not NULL)
where false
limit 97) as subq_0
where true)
limit 136;

Comment 25818

Date: 2017-10-29 10:39:06 +0100
From: @njnes

fixed by handling the topn/sample in the apply rewriters

Comment 25819

Date: 2017-10-29 10:39:24 +0100
From: MonetDB Mercurial Repository <>

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

Changeset description:

fixed bug #6449

Comment 25820

Date: 2017-10-29 11:41:15 +0100
From: MonetDB Mercurial Repository <>

Changeset 751f31299c66 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=751f31299c66

Changeset description:

add test for bug #6449