segfault in rel_optimizer (sqlsmith)

[monetdb-team]

Date: 2017-10-14 21:17:04 +0200
From: @mlkersten
To: SQL devs <>
Version: 11.27.5 (Jul2017-SP1)
CC: @njnes

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

Comment 25706

Date: 2017-10-14 21:17:04 +0200
From: @mlkersten

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:55.0) Gecko/20100101 Firefox/55.0
Build Identifier:

Another roadblock encountered:

(gdb) print *subrel
$2 = {ref = {refcnt = 1}, op = op_union, l = 0x7fad2c9bd780, r = 0x7fad2c9becd0, exps = 0x0, nrcols = 32, flag = 0, card = 3,
processed = 1, subquery = 0, p = 0x0}

Thread 2896 "mserver5" received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7fad42434700 (LWP 26359)]
0x00007fad5ce77c9b in exps_mark_used (sa=0x7fad2c117ba0, rel=0x7fad2c9bbb40, subrel=0x7fad2c9bf8f0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:5782
5782 if (subrel && !nr && (is_project(subrel->op) || is_base(subrel->op)) && subrel->exps->h) {
(gdb) where
0 0x00007fad5ce77c9b in exps_mark_used (sa=0x7fad2c117ba0, rel=0x7fad2c9bbb40, subrel=0x7fad2c9bf8f0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:5782
1 0x00007fad5ce78278 in rel_mark_used (sql=0x7fad2c126420, rel=0x7fad2c9bbb40, proj=0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:5902
2 0x00007fad5ce7816b in rel_mark_used (sql=0x7fad2c126420, rel=0x7fad2c9b9430, proj=1)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:5878
3 0x00007fad5ce78115 in rel_mark_used (sql=0x7fad2c126420, rel=0x7fad2c9b9430, proj=1)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:5870
4 0x00007fad5ce78f22 in rel_dce_sub (sql=0x7fad2c126420, rel=0x7fad2c9b96f0, refs=0x7fad2c9c05e0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6254
5 0x00007fad5ce792bb in rel_dce (sql=0x7fad2c126420, rel=0x7fad2c9b96f0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:6337
6 0x00007fad5ce84df3 in _rel_optimizer (sql=0x7fad2c126420, rel=0x7fad2c9b96f0, level=0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:9011
7 0x00007fad5ce84fd9 in rel_optimizer (sql=0x7fad2c126420, rel=0x7fad2c9b96f0)
at /export/scratch1/home/mk/default//package/sql/server/rel_optimizer.c:9043
8 0x00007fad5cd65b35 in sql_symbol2relation (c=0x7fad2c126420, sym=0x7fad2c9b6630)
at /export/scratch1/home/mk/default//package/sql/backends/monet5/sql.c:121
9 0x00007fad5cd8496c in SQLparser (c=0x7fad5e727338) at /export/sc

Reproducible: Always

Steps to Reproduce:

select
ref_0.dependency_type_name as c0
from
sys.dependency_types as ref_0
right join sys.queue as ref_1
on ((true)
or (ref_0.dependency_type_id is not NULL))
where false
limit 39;

Comment 25711

Date: 2017-10-14 23:33:03 +0200
From: @njnes

already fixed ?

Comment 25712

Date: 2017-10-14 23:36:52 +0200
From: @mlkersten

seems fixed