Assertion error in rel_rename_expr (sqlsmith)

[monetdb-team]

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

Last updated: 2019-02-20 16:52:35 +0100

Comment 25727

Date: 2017-10-15 21:10:45 +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:

4 0x00007fef3ef1f2f4 in rel_rename_exps (sql=0x7feef410c760, exps1=0x7feef546c650, exps2=0x7feef5493120)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:1854
5 0x00007fef3ef2cef4 in rel_push_project_down_union (changes=0x7fef1a818818, sql=0x7feef410c760, rel=0x7feef54c95b0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:4781
6 0x00007fef3ef3e46f in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54c95b0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8817
7 0x00007fef3ef3e56b in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef548d9a0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8838
8 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54c9e40, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
9 0x00007fef3ef3e56b in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef548dcb0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8838
10 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef548e030, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
11 0x00007fef3ef3e56b in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef549a5d0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8838
12 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54c14a0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
13 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54d9d10, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
14 0x00007fef3ef3e592 in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54cb050, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8839
15 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef5482300, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
16 0x00007fef3ef3e592 in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef549b790, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8839
17 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef549e9e0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
18 0x00007fef3ef3e56b in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54a1310, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8838
19 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54a7420, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
20 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef54dbec0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
21 0x00007fef3ef3e56b in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef546f5d0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8838
22 0x00007fef3ef3e5be in rewrite_topdown (sql=0x7feef410c760, rel=0x7feef547c0e0, rewriter=0x7fef3ef2cb73 <rel_push_project_down_union>,
has_changes=0x7fef1a818818) at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:8846
23 0x00007fef3ef3ee69 in _rel_optimizer (sql=0x7feef410c760, rel=0x7feef547c0e0, level=1)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:9005
24 0x00007fef3ef3f01c in _rel_optimizer (sql=0x7feef410c760, rel=0x7feef547c0e0, level=1)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:9033
25 0x00007fef3ef3f06f in rel_optimizer (sql=0x7feef410c760, rel=0x7feef546f5d0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:9041
26 0x00007fef3ee1fb35 in sql_symbol2relation (c=0x7feef410c760, sym=0x7feef544dca0)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/sql.c:121
27 0x00007fef3ee3e96c in SQLparser

Reproducible: Always

Steps to Reproduce:

select
ref_2.name as c0,
case when true then ref_3.dimpos else ref_3.dimpos end
as c1
from
sys.tables as ref_0
inner join sys.dependencies as ref_1
right join sys.tables as ref_2
on ((ref_2.temporary is NULL)
or (ref_2.system is not NULL))
inner join bam.pg as sample_1
on (false)
on (ref_0.system = ref_2.system )
inner join sys.netcdf_vardim as ref_3
on (true)
where ref_2.commit_action is NULL;

Comment 25731

Date: 2017-10-16 07:33:01 +0200
From: MonetDB Mercurial Repository <>

Changeset 084d4327137c 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=084d4327137c

Changeset description:

fix crash in bug #6424

Comment 25732

Date: 2017-10-16 07:33:21 +0200
From: @njnes

fixed assertion.

Comment 25735

Date: 2017-10-16 08:19:16 +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

Comment 26899

Date: 2019-02-20 16:52:35 +0100
From: MonetDB Mercurial Repository <>

Changeset 4f140644347c made by Pedro Ferreira pedro.ferreira@monetdbsolutions.com in the MonetDB repo, refers to this bug.

For complete details, see https//devmonetdborg/hg/MonetDB?cmd=changeset;node=4f140644347c

Changeset description:

Added tests for bugs 6683 and 6684.

Also bug #6424 requires the netcdf module.