Server crashes with a particular conditional query

[monetdb-team]

Date: 2016-08-24 17:01:20 +0200
From: fioravanzos
To: SQL devs <>
Version: 11.23.7 (Jun2016-SP1)
CC: martin.van.dinther

Last updated: 2016-10-13 10:04:00 +0200

Comment 22320

Date: 2016-08-24 17:01:20 +0200
From: fioravanzos

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_11_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/52.0.2743.116 Safari/537.36
Build Identifier:

The server crashes with assert 0 doing the steps below.
I'm using the default branch, node id: 7fda0b907c50

Reproducible: Always

Steps to Reproduce:

1.CREATE TABLE "sys"."test_bug" (
"f1" INTEGER NOT NULL,
"f2" INTEGER NOT NULL,
"f3" CHARACTER LARGE OBJECT NOT NULL,
"f4" BOOLEAN NOT NULL
);
2. Insert the following data into the defined table:
81,1310,V,true
303,1205,V,true
601,1502,V,true
839,1312,A,true
408,1302,G,false
665,1410,V,true
267,1604,A,true
556,1208,G,false
386,1409,G,false
831,1606,A,true
681,1509,G,false
784,1511,A,true
777,1503,A,true
781,1407,V,true
682,1402,V,true
796,1507,V,true
743,1505,V,true
715,1409,G,false
769,1402,A,true
760,1511,A,true
3. the create another table with:
create table tmp as ( select * from test_bug limit 10);
4. Check the execution of the following queries:
select * from (select * from test_bug where f3='V' AND f4=true) as tmp where f1||f2 NOT IN (select f1||f2 from tmp) -- WORKS

select * from (select * from test_bug where f1||f2 NOT IN (select f1||f2 from tmp)) as tmp where f3='V' AND f4=true -- DOES NOT WORK

select * from test_bug where f3='V' AND f4=true AND f1||f2 NOT IN (select f1||f2 from tmp) -- DOES NOT WORK

In the merovingian.log file I can see the following messages when the query fails:
2016-08-24 13:41:24 ERR unifarm[20416]: mserver5: rel_bin.c:705: exp_bin: Assertion `0' failed.
2016-08-24 13:41:24 MSG merovingian[30070]: database 'unifarm' (20416) was killed by signal SIGABRT

Comment 22370

Date: 2016-09-15 13:09:21 +0200
From: MonetDB Mercurial Repository <>

Changeset 7a7be64856c0 made by Martin van Dinther martin.van.dinther@monetdbsolutions.com in the MonetDB repo, refers to this bug.

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

Changeset description:

Add test for Bug #4058.

Comment 22371

Date: 2016-09-15 13:14:41 +0200
From: Martin van Dinther <<martin.van.dinther>>

Issue is reproducable. It causes an assertion failure:
dev/sql/backends/monet5/rel_bin.c:702: exp_bin: Assertion `0' failed.

Comment 22389

Date: 2016-09-23 22:31:33 +0200
From: MonetDB Mercurial Repository <>

Changeset cb072f9b954e 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=cb072f9b954e

Changeset description:

fixes for both bug #4058 and bug #4064

In both cases the same expression (pointer) was used, which isn't correct.
Because with rewrites both uses change. They are now correctly referencing
a single projection column

Comment 24490

Date: 2016-10-13 10:04:00 +0200
From: @sjoerdmullender

Jun2016-SP2 has been released.