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 eror rel_push_project_up (sqlsmith) #6477

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

assertion eror rel_push_project_up (sqlsmith) #6477

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

@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