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 raised (sqlsmith) #6216

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

Assertion raised (sqlsmith) #6216

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


Copy link

@monetdb-team monetdb-team commented Nov 30, 2020

Date: 2017-02-16 15:36:22 +0100
From: @mlkersten
To: SQL devs <>
Version: 11.25.5 (Dec2016-SP1)
CC: @njnes

Last updated: 2017-03-31 13:28:20 +0200

Comment 25029

Date: 2017-02-16 15:36:22 +0100
From: @mlkersten

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

Sqlsmith detected error
mserver5: /export/scratch1/home/mk/default//package/sql/backends/monet5/rel_bin.c:2404: rel2bin_project: Assertion `0' failed.

Reproducible: Always

Steps to Reproduce:

ref_11.type_digits as c0
ref_8.login_id as c0,
ref_8.login_id as c1,
ref_8.login_id as c2,
ref_8.role_id as c3,
ref_8.role_id as c4,
45 as c5
sys.user_role as ref_8
where ref_8.role_id is NULL) as subq_0
inner join sys.idxs as ref_9
on (subq_0.c5 = )
inner join sys.columns as ref_11
on (subq_0.c5 = )
where ref_9.table_id is NULL
limit 146;

Comment 25034

Date: 2017-02-19 14:01:13 +0100
From: @njnes

fixed by creating the missing list first

Comment 25035

Date: 2017-02-19 14:05:21 +0100
From: MonetDB Mercurial Repository <>

Changeset 53b86a794d0c made by Niels Nes in the MonetDB repo, refers to this bug.

For complete details, see http//devmonetdborg/hg/MonetDB?cmd=changeset;node=53b86a794d0c

Changeset description:

add tests for bugs 6216 and 6217

Comment 25042

Date: 2017-02-19 18:55:49 +0100
From: @mlkersten

This one shows it is not solved:

ref_0.depend_type as c0, as c1,
(select name from sys.objects)
as c2,
ref_0.depend_type as c3
sys.dependencies as ref_0
where (true)
or (((cast(coalesce((select type_scale from sys._columns)
ref_0.depend_id) as int) is not NULL)
or (ref_0.depend_type is NULL))
or (ref_0.depend_type is NULL))
limit 114;

Comment 25148

Date: 2017-03-15 11:14:38 +0100
From: @njnes

doesn't crash with the new example

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
1 participant