rel_bin.c:611: exp_bin: Assertion `0' failed. with between on multicolumns

[monetdb-team]

Date: 2012-02-16 15:36:59 +0100
From: @skinkie
To: SQL devs <>
Version: -- development
CC: @drstmane

Last updated: 2012-02-29 10:34:21 +0100

Comment 16914

Date: 2012-02-16 15:36:59 +0100
From: @skinkie

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

CREATE TABLE "sys"."y" (
"x" BOOLEAN
);

select * from y, y as y1, y as y2 where y.x between y1.x and y2.x;

mserver5: rel_bin.c:611: exp_bin: Assertion `0' failed.

Program received signal SIGABRT, Aborted.
[Switching to Thread 0x7fffebaa7700 (LWP 31083)]
0x00007ffff2b48ac5 in raise () from /lib64/libc.so.6
(gdb) bt
0 0x00007ffff2b48ac5 in raise () from /lib64/libc.so.6
1 0x00007ffff2b49f46 in abort () from /lib64/libc.so.6
2 0x00007ffff2b4184e in __assert_fail_base () from /lib64/libc.so.6
3 0x00007ffff2b41910 in __assert_fail () from /lib64/libc.so.6
4 0x00007fffec3c8bc9 in exp_bin (sql=0x12f66b0, e=0x1553f40, left=0x1556f70, right=0x0, grp=0x0, sel=0x0) at rel_bin.c:611
5 0x00007fffec3cee3e in rel2bin_select (sql=0x12f66b0, rel=0x1554840, refs=0x15548d0) at rel_bin.c:1875
6 0x00007fffec3d7df7 in subrel_bin (sql=0x12f66b0, rel=0x1554840, refs=0x15548d0) at rel_bin.c:3785
7 0x00007fffec3ca712 in rel2bin_join (sql=0x12f66b0, rel=0x1553d60, refs=0x15548d0) at rel_bin.c:928
8 0x00007fffec3d7cde in subrel_bin (sql=0x12f66b0, rel=0x1553d60, refs=0x15548d0) at rel_bin.c:3760
9 0x00007fffec3cdf27 in rel2bin_project (sql=0x12f66b0, rel=0x15541b0, refs=0x15548d0, topn=0x0) at rel_bin.c:1676
10 0x00007fffec3d7dc9 in subrel_bin (sql=0x12f66b0, rel=0x15541b0, refs=0x15548d0) at rel_bin.c:3781
11 0x00007fffec3d80fc in output_rel_bin (sql=0x12f66b0, rel=0x15541b0) at rel_bin.c:3849
12 0x00007fffec2f2ba1 in sql_symbol2stmt (c=0x12f66b0, r=0x15541b0, sym=0x15536b0) at sql.mx:1654
13 0x00007fffec2e1424 in SQLparser (c=0x63b0b8) at sql_scenario.c:1387
14 0x00007ffff6a7f154 in runPhase (c=0x63b0b8, phase=1) at mal_scenario.c:522
15 0x00007ffff6a7f2af in runScenarioBody (c=0x63b0b8) at mal_scenario.c:564
16 0x00007ffff6a7f559 in runScenario (c=0x63b0b8) at mal_scenario.c:601
17 0x00007ffff6a805e7 in MSserveClient (dummy=0x63b0b8) at mal_session.c:438
18 0x00007ffff2ea9d0c in start_thread () from /lib64/libpthread.so.0
19 0x00007ffff2befd7d in clone () from /lib64/libc.so.6

workaround:

select * from y, y as y1, y as y2 where y.x >= y1.x and y.x <= y2.x;

Reproducible: Always

Comment 16977

Date: 2012-02-23 14:44:24 +0100
From: @njnes

Changeset 86d94f21e92c 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=86d94f21e92c

Changeset description:

fixed bugs 3034, 2964 2946 and 3017

The rel2bin_join didn't handle a bunch of corner cases