Date: 2016-10-13 13:22:50 +0200
From: Bo Tang <>
To: SQL devs <>
Version: 11.23.13 (Jun2016-SP2)
CC: @njnes, @drstmane

Last updated: 2016-12-21 13:08:00 +0100

Comment 24505

Date: 2016-10-13 13:22:50 +0200
From: Bo Tang <>

User-Agent: Mozilla/5.0 (X11; Fedora; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/53.0.2785.143 Safari/537.36
Build Identifier:

sqlsmith triggered the following assertion:

rel_optimizer.c:5426: rel_push_project_up: Assertion `e' failed.

Reproducible: Always

Steps to Reproduce:

Steps to Reproduce:

1. start mserver5 with database "tpch-1" (i.e., tpch dataset with sf 1)
2. run the attached query

Actual Results:

mserver5 aborted

Comment 24506

Date: 2016-10-13 13:24:51 +0200
From: Bo Tang <>

Created attachment 476
the query triggered "rel_optimizer.c:5426: rel_push_project_up: Assertion `e' failed."

Attached file: 4.sql (application/sql, 712 bytes)
Description: the query triggered "rel_optimizer.c:5426: rel_push_project_up: Assertion `e' failed."

Comment 24520

Date: 2016-10-17 14:40:43 +0200
From: @drstmane

Already the first query in the attachment triggers the assertion on an empty virgin database, i.e., no TPC-H database required.

Comment 24522

Date: 2016-10-17 14:43:01 +0200
From: @drstmane

The second query in the attachment correctly (by MonetDB standards) triggers a syntax error:

syntax error, unexpected LIMIT, expecting UNION or EXCEPT or INTERSECT or ')' in: "select
(select typewidth from sys.storagemodelinput limit"

"limit" (and "offset"?) are not allowed in subqueries.

Comment 24544

Date: 2016-10-19 14:22:10 +0200
From: MonetDB Mercurial Repository <>

Changeset ce980adad65b made by Niels Nes niels@cwi.nl in the MonetDB repo, refers to this bug.

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

Changeset description:

fixed bugs 6078, 6077 and 6076
All related to naming a table producing function.

Comment 24547

Date: 2016-10-19 14:22:39 +0200
From: @njnes

fixed in jun2016