assertion eror rel_push_project_up (sqlsmith)

[monetdb-team]

Date: 2017-11-27 12:37:58 +0100
From: @mlkersten
To: SQL devs <>
Version: -- development
CC: @njnes

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

Comment 25919

Date: 2017-11-27 12:37:58 +0100
From: @mlkersten

User-Agent: Mozilla/5.0 (X11; Fedora; Linux x86_64; rv:57.0) Gecko/20100101 Firefox/57.0
Build Identifier:

Assertion errors raised in mergedb example
3 0x00007f173b4cfdd2 in __assert_fail () from /lib64/libc.so.6
4 0x00007f1735ee7938 in rel_push_project_up (changes=0x7f171a290764,
sql=0x7f16f410a4b0, rel=0x7f16f4cf7a40)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:5632
5 0x00007f1735ef521a in rewrite (sql=0x7f16f410a4b0, rel=0x7f16f4cf7a40,
rewriter=0x7f1735ee6ea5 <rel_push_project_up>, has_changes=0x7f171a290868)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8973
6 0x00007f1735ef50f7 in rewrite (sql=0x7f16f410a4b0, rel=0x7f16f4cf7b80,
rewriter=0x7f1735ee6ea5 <rel_push_project_up>, has_changes=0x7f171a290868)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8957
7 0x00007f1735ef50f7 in rewrite (sql=0x7f16f410a4b0, rel=0x7f16f4cfd440,
rewriter=0x7f1735ee6ea5 <rel_push_project_up>, has_changes=0x7f171a290868)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8957
8 0x00007f1735ef50f7 in rewrite (sql=0x7f16f410a4b0, rel=0x7f16f4cfc5b0,
rewriter=0x7f1735ee6ea5 <rel_push_project_up>, has_changes=0x7f171a290868)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8957
9 0x00007f1735ef5652 in optimize_rel (sql=0x7f16f410a4b0, rel=0x7f16f4cfc5b0,
g_changes=0x7f171a2908f0, level=0)

Reproducible: Always

Steps to Reproduce:

select
cast(coalesce(ref_0.stop,
ref_0.stop) as timestamp) as c0,
ref_0.id as c1,
cast(coalesce(ref_0.cpu,
ref_0.io) as int) as c2,
ref_0.run as c3,
ref_0.stop as c4,
ref_0.cpu as c5,
case when cast(nullif(ref_0.tuples,
ref_0.tuples) as bigint) is not NULL then ref_0.io else ref_0.io end
as c6
from
sys.querylog_calls as ref_0
where cast(coalesce(ref_0.tuples,
case when EXISTS (
select
ref_1.id as c0
from
sys.args as ref_1
left join tmp.objects as ref_2
right join sys.spatial_ref_sys as ref_3
on (true)
on (ref_1.type_scale = ref_2.id )
where true) then ref_0.run else ref_0.run end
) as bigint) is not NULL
limit 101;
~

Comment 25924

Date: 2017-11-29 14:38:59 +0100
From: MonetDB Mercurial Repository <>

Changeset 900ea35c5fd5 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=900ea35c5fd5

Changeset description:

fixed bug #6477, no need to rename expressions from other subqueries

Comment 25925

Date: 2017-11-29 16:06:35 +0100
From: @njnes

fixed, no need to rename subquery expressions in the rel_push_project_up optimizer