Assertion raised in another eq_typeswitch error (sqlsmith)

[monetdb-team]

Date: 2017-10-16 11:04:32 +0200
From: @mlkersten
To: GDK devs <>
Version: -- development
CC: @njnes

Last updated: 2017-10-26 14:01:34 +0200

Comment 25742

Date: 2017-10-16 11:04:32 +0200
From: @mlkersten

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

0 0x00007f300a2a569b in raise () from /lib64/libc.so.6
1 0x00007f300a2a74a0 in abort () from /lib64/libc.so.6
2 0x00007f300a29dd5a in __assert_fail_base () from /lib64/libc.so.6
3 0x00007f300a29ddd2 in __assert_fail () from /lib64/libc.so.6
4 0x00007f300ce9bdf4 in eq_typeswitchloop (lft=0x0, tp1=0, incr1=1, hp1=0x0,
wd1=0, rgt=0x7f2fcebf8d40, tp2=10, incr2=0, hp2=0x0, wd2=0,
dst=0x7f2fa8009720 '\275' <repeats 200 times>..., cnt=0, start=0, end=0,
cand=0x0, candend=0x0, candoff=0, nonil=0,
func=0x7f300d0c08c8 <func.34404> "BATcalceqcst")
at /export/scratch1/home/mk/default//package/gdk/gdk_calc_compare.h:27
5 0x00007f300cead03c in BATcalceq_intern (lft=0x0, tp1=0, incr1=1, hp1=0x0, wd1=0,
rgt=0x7f2fcebf8d40, tp2=10, incr2=0, hp2=0x0, wd2=0, cnt=0, start=0, end=0,
cand=0x0, candend=0x0, candoff=0, nonil=0, seqbase=0,
func=0x7f300d0c08c8 <func.34404> "BATcalceqcst")
at /export/scratch1/home/mk/default//package/gdk/gdk_calc_compare.h:555
6 0x00007f300ceae546 in BATcalceqcst (b=0x7f2fa8007e90, v=0x7f2fcebf8d40, s=0x0)
at /export/scratch1/home/mk/default//package/gdk/gdk_calc_compare.h:626
7 0x00007f300d4b8d8b in CMDbatBINARY0 (stk=0x7f2fcebf8960, pci=0x7f2fcf6f1b70,
batfunc=0x7f300cead163 , batfunc1=0x7f300ceadc65 ,
batfunc2=0x7f300ceae573 , malfunc=0x7f300d50e122 "batcalc.==")
at /export/scratch1/home/mk/default//package/monetdb5/modules/mal/batcalc.c:482
8 0x00007f300d4b9dbe in CMDbatEQ (cntxt=0x7f3006666650, mb=0x7f2fcf59f190,
stk=0x7f2fcebf8960, pci=0x7f2fcf6f1b70)
at /export/scratch1/home/mk/default//package/monetdb5/modules/mal/batcalc.c:836
9 0x00007f300d380863 in runMALsequence (

Reproducible: Always

Steps to Reproduce:

select
subq_0.c0 as c0,
subq_0.c0 as c1,
subq_0.c0 as c2,
subq_0.c0 as c3,
subq_0.c0 as c4,
cast(nullif(subq_0.c0,
subq_0.c0) as oid) as c5
from
(select
cast(nullif(ref_0.id,
cast(null as oid)) as oid) as c0
from
sys.querylog_calls as ref_0
where ref_0.cpu is not NULL) as subq_0
where subq_0.c0 is not NULL
limit 113;

Comment 25744

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

Changeset 259a2c0a55d0 made by Sjoerd Mullender sjoerd@acm.org in the MonetDB repo, refers to this bug.

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

Changeset description:

Never treat comparison of oid/void like int/lng.
This fixes bug #6430.