Changeset: 4a7ab58ad31a for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=4a7ab58ad31a
Added Files:
        sql/test/BugTracker-2017/Tests/case.Bug-6386.sql
        sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.err
        sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.out
        sql/test/BugTracker-2017/Tests/exists.Bug-6392.sql
        sql/test/BugTracker-2017/Tests/exists.Bug-6392.stable.err
        sql/test/BugTracker-2017/Tests/exists.Bug-6392.stable.out
Modified Files:
        clients/Tests/MAL-signatures.stable.out
        clients/Tests/MAL-signatures.stable.out.int128
        sql/backends/monet5/sql.c
        sql/backends/monet5/sql.h
        sql/backends/monet5/sql_rank.mal
        sql/server/sql_semantic.c
        sql/test/BugTracker-2017/Tests/All
        sql/test/Tests/coalesce.stable.out
Branch: Jul2017
Log Message:

fixed bugs 6386 and 6392


diffs (truncated from 357 to 300 lines):

diff --git a/clients/Tests/MAL-signatures.stable.out 
b/clients/Tests/MAL-signatures.stable.out
--- a/clients/Tests/MAL-signatures.stable.out
+++ b/clients/Tests/MAL-signatures.stable.out
@@ -95,7 +95,7 @@ Ready.
 [ "aggr",      "covar",        "function aggr.covar(e1:bat[:sht], 
e2:bat[:sht]):sht;", "",     ""      ]
 [ "aggr",      "exist",        "command aggr.exist(b:bat[:any_2], h:any_1):bit 
",      "ALGexist;",    ""      ]
 [ "aggr",      "exist",        "command aggr.exist(b:bat[:any_2]):bit ",       
"SQLexist;",    ""      ]
-[ "aggr",      "exist",        "command aggr.exist(v:any_2):bit ",     
"SQLexist_val;",        ""      ]
+[ "aggr",      "exist",        "pattern aggr.exist(v:any_2):bit ",     
"SQLexist_val;",        ""      ]
 [ "aggr",      "jsonaggr",     "command aggr.jsonaggr(val:bat[:dbl]):str ",    
"JSONgroupStr;",        "Aggregate the double values to array." ]
 [ "aggr",      "jsonaggr",     "command aggr.jsonaggr(val:bat[:str]):str ",    
"JSONgroupStr;",        "Aggregate the string values to array." ]
 [ "aggr",      "max",  "command aggr.max(b:bat[:any_1], g:bat[:oid], 
e:bat[:any_2]):bat[:any_1] ",     "AGGRmax3;",    ""      ]
diff --git a/clients/Tests/MAL-signatures.stable.out.int128 
b/clients/Tests/MAL-signatures.stable.out.int128
--- a/clients/Tests/MAL-signatures.stable.out.int128
+++ b/clients/Tests/MAL-signatures.stable.out.int128
@@ -103,7 +103,7 @@ Ready.
 [ "aggr",      "covar",        "function aggr.covar(e1:bat[:sht], 
e2:bat[:sht]):sht;", "",     ""      ]
 [ "aggr",      "exist",        "command aggr.exist(b:bat[:any_2], h:any_1):bit 
",      "ALGexist;",    ""      ]
 [ "aggr",      "exist",        "command aggr.exist(b:bat[:any_2]):bit ",       
"SQLexist;",    ""      ]
-[ "aggr",      "exist",        "command aggr.exist(v:any_2):bit ",     
"SQLexist_val;",        ""      ]
+[ "aggr",      "exist",        "pattern aggr.exist(v:any_2):bit ",     
"SQLexist_val;",        ""      ]
 [ "aggr",      "jsonaggr",     "command aggr.jsonaggr(val:bat[:dbl]):str ",    
"JSONgroupStr;",        "Aggregate the double values to array." ]
 [ "aggr",      "jsonaggr",     "command aggr.jsonaggr(val:bat[:str]):str ",    
"JSONgroupStr;",        "Aggregate the string values to array." ]
 [ "aggr",      "max",  "command aggr.max(b:bat[:any_1], g:bat[:oid], 
e:bat[:any_2]):bat[:any_1] ",     "AGGRmax3;",    ""      ]
diff --git a/sql/backends/monet5/sql.c b/sql/backends/monet5/sql.c
--- a/sql/backends/monet5/sql.c
+++ b/sql/backends/monet5/sql.c
@@ -4602,9 +4602,14 @@ SQLflush_log(void *ret)
 }
 
 str
-SQLexist_val(bit *res, void *v)
+SQLexist_val(Client cntxt, MalBlkPtr mb, MalStkPtr stk, InstrPtr pci)
 {
-       if (v) 
+       bit *res = getArgReference_bit(stk, pci, 0);
+       ptr v = getArgReference(stk, pci, 1);
+       int mtype = getArgType(mb, pci, 1);
+
+       (void)cntxt;
+       if (ATOMcmp(mtype, v, ATOMnilptr(mtype)) != 0)
                *res = TRUE;
        else
                *res = FALSE;
diff --git a/sql/backends/monet5/sql.h b/sql/backends/monet5/sql.h
--- a/sql/backends/monet5/sql.h
+++ b/sql/backends/monet5/sql.h
@@ -316,6 +316,6 @@ sql5_export str BATSTRstrings(bat *res, 
 sql5_export str SQLflush_log(void *ret);
 
 sql5_export str SQLexist(bit *res, bat *id);
-sql5_export str SQLexist_val(bit *res, void *val);
+sql5_export str SQLexist_val(Client cntxt, MalBlkPtr mb, MalStkPtr stk, 
InstrPtr pci);
 
 #endif /* _SQL_H */
diff --git a/sql/backends/monet5/sql_rank.mal b/sql/backends/monet5/sql_rank.mal
--- a/sql/backends/monet5/sql_rank.mal
+++ b/sql/backends/monet5/sql_rank.mal
@@ -53,5 +53,5 @@ address ALGexist;
 command aggr.exist(b:bat[:any_2]):bit
 address SQLexist;
 
-command aggr.exist(v:any_2):bit
+pattern aggr.exist(v:any_2):bit
 address SQLexist_val;
diff --git a/sql/server/sql_semantic.c b/sql/server/sql_semantic.c
--- a/sql/server/sql_semantic.c
+++ b/sql/server/sql_semantic.c
@@ -200,11 +200,12 @@ supertype(sql_subtype *super, sql_subtyp
        int idigits = i->digits;
        int rdigits = r->digits;
        unsigned int scale = sql_max(i->scale, r->scale);
+       sql_subtype lsuper;
 
-       *super = *r;
+       lsuper = *r;
        if (i->type->base.id > r->type->base.id || 
            (EC_VARCHAR(i->type->eclass) && !EC_VARCHAR(r->type->eclass))) {
-               *super = *i;
+               lsuper = *i;
                radix = i->type->radix;
                tpe = i->type->sqlname;
        }
@@ -226,11 +227,12 @@ supertype(sql_subtype *super, sql_subtyp
                }
        }
        if (scale == 0 && (idigits == 0 || rdigits == 0)) {
-               sql_find_subtype(super, tpe, 0, 0);
+               sql_find_subtype(&lsuper, tpe, 0, 0);
        } else {
                digits = sql_max(idigits - i->scale, rdigits - r->scale);
-               sql_find_subtype(super, tpe, digits+scale, scale);
+               sql_find_subtype(&lsuper, tpe, digits+scale, scale);
        }
+       *super = lsuper;
        return super;
 }
 
diff --git a/sql/test/BugTracker-2017/Tests/All 
b/sql/test/BugTracker-2017/Tests/All
--- a/sql/test/BugTracker-2017/Tests/All
+++ b/sql/test/BugTracker-2017/Tests/All
@@ -63,3 +63,5 @@ handle-values-subqueries.Bug-6336
 spurious_errors.Bug-6344
 caching_stats_bug.6374
 HAVE_LIBPY?aggr_udf_with_more_than_2params.Bug-6385
+exists.Bug-6392
+case.Bug-6386
diff --git a/sql/test/BugTracker-2017/Tests/case.Bug-6386.sql 
b/sql/test/BugTracker-2017/Tests/case.Bug-6386.sql
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2017/Tests/case.Bug-6386.sql
@@ -0,0 +1,1 @@
+select case name when 'types' then 1 when 'args' then 60.3281 when 'keys' then 
0.8415381117315 else 0 end as t1 from tables;
diff --git a/sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.err 
b/sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.err
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.err
@@ -0,0 +1,34 @@
+stderr of test 'case.Bug-6386` in directory 'sql/test/BugTracker-2017` itself:
+
+
+# 18:14:34 >  
+# 18:14:34 >  "mserver5" "--debug=10" "--set" "gdk_nr_threads=0" "--set" 
"mapi_open=true" "--set" "mapi_port=33907" "--set" 
"mapi_usock=/var/tmp/mtest-10620/.s.monetdb.33907" "--set" "monet_prompt=" 
"--forcemito" 
"--dbpath=/home/niels/scratch/rc-monetdb/Linux-x86_64/var/MonetDB/mTests_sql_test_BugTracker-2017"
+# 18:14:34 >  
+
+# builtin opt  gdk_dbpath = 
/home/niels/scratch/rc-monetdb/Linux-x86_64/var/monetdb5/dbfarm/demo
+# builtin opt  gdk_debug = 0
+# builtin opt  gdk_vmtrim = no
+# builtin opt  monet_prompt = >
+# builtin opt  monet_daemon = no
+# builtin opt  mapi_port = 50000
+# builtin opt  mapi_open = false
+# builtin opt  mapi_autosense = false
+# builtin opt  sql_optimizer = default_pipe
+# builtin opt  sql_debug = 0
+# cmdline opt  gdk_nr_threads = 0
+# cmdline opt  mapi_open = true
+# cmdline opt  mapi_port = 33907
+# cmdline opt  mapi_usock = /var/tmp/mtest-10620/.s.monetdb.33907
+# cmdline opt  monet_prompt = 
+# cmdline opt  gdk_dbpath = 
/home/niels/scratch/rc-monetdb/Linux-x86_64/var/MonetDB/mTests_sql_test_BugTracker-2017
+# cmdline opt  gdk_debug = 536870922
+
+# 18:14:35 >  
+# 18:14:35 >  "mclient" "-lsql" "-ftest" "-Eutf-8" "-i" "-e" 
"--host=/var/tmp/mtest-10620" "--port=33907"
+# 18:14:35 >  
+
+
+# 18:14:35 >  
+# 18:14:35 >  "Done."
+# 18:14:35 >  
+
diff --git a/sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.out 
b/sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.out
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2017/Tests/case.Bug-6386.stable.out
@@ -0,0 +1,97 @@
+stdout of test 'case.Bug-6386` in directory 'sql/test/BugTracker-2017` itself:
+
+
+# 18:14:34 >  
+# 18:14:34 >  "mserver5" "--debug=10" "--set" "gdk_nr_threads=0" "--set" 
"mapi_open=true" "--set" "mapi_port=33907" "--set" 
"mapi_usock=/var/tmp/mtest-10620/.s.monetdb.33907" "--set" "monet_prompt=" 
"--forcemito" 
"--dbpath=/home/niels/scratch/rc-monetdb/Linux-x86_64/var/MonetDB/mTests_sql_test_BugTracker-2017"
+# 18:14:34 >  
+
+# MonetDB 5 server v11.27.4
+# This is an unreleased version
+# Serving database 'mTests_sql_test_BugTracker-2017', using 4 threads
+# Compiled for x86_64-unknown-linux-gnu/64bit with 128bit integers
+# Found 7.331 GiB available main-memory.
+# Copyright (c) 1993-July 2008 CWI.
+# Copyright (c) August 2008-2017 MonetDB B.V., all rights reserved
+# Visit https://www.monetdb.org/ for further information
+# Listening for connection requests on mapi:monetdb://localhost.nes.nl:33907/
+# Listening for UNIX domain connection requests on 
mapi:monetdb:///var/tmp/mtest-10620/.s.monetdb.33907
+# MonetDB/GIS module loaded
+# MonetDB/SQL module loaded
+
+Ready.
+
+# 18:14:35 >  
+# 18:14:35 >  "mclient" "-lsql" "-ftest" "-Eutf-8" "-i" "-e" 
"--host=/var/tmp/mtest-10620" "--port=33907"
+# 18:14:35 >  
+
+#select case name when 'types' then 1 when 'args' then 60.3281 when 'keys' 
then 0.8415381117315 else 0 end as t1 from tables;
+% .L40 # table_name
+% t1 # name
+% decimal # type
+% 18 # length
+[ 0.0000000000000      ]
+[ 1.0000000000000      ]
+[ 0.0000000000000      ]
+[ 60.3281000000000     ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.8415381117315      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.8415381117315      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+[ 0.0000000000000      ]
+
+# 18:14:35 >  
+# 18:14:35 >  "Done."
+# 18:14:35 >  
+
diff --git a/sql/test/BugTracker-2017/Tests/exists.Bug-6392.sql 
b/sql/test/BugTracker-2017/Tests/exists.Bug-6392.sql
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2017/Tests/exists.Bug-6392.sql
@@ -0,0 +1,3 @@
+CREATE TABLE foo(i INT);
+SELECT EXISTS (SELECT i FROM foo WHERE FALSE);
+DROP table foo;
diff --git a/sql/test/BugTracker-2017/Tests/exists.Bug-6392.stable.err 
b/sql/test/BugTracker-2017/Tests/exists.Bug-6392.stable.err
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2017/Tests/exists.Bug-6392.stable.err
@@ -0,0 +1,34 @@
+stderr of test 'exists.Bug-6392` in directory 'sql/test/BugTracker-2017` 
itself:
+
+
+# 18:14:34 >  
+# 18:14:34 >  "mserver5" "--debug=10" "--set" "gdk_nr_threads=0" "--set" 
"mapi_open=true" "--set" "mapi_port=33907" "--set" 
"mapi_usock=/var/tmp/mtest-10620/.s.monetdb.33907" "--set" "monet_prompt=" 
"--forcemito" 
"--dbpath=/home/niels/scratch/rc-monetdb/Linux-x86_64/var/MonetDB/mTests_sql_test_BugTracker-2017"
+# 18:14:34 >  
+
+# builtin opt  gdk_dbpath = 
/home/niels/scratch/rc-monetdb/Linux-x86_64/var/monetdb5/dbfarm/demo
+# builtin opt  gdk_debug = 0
+# builtin opt  gdk_vmtrim = no
+# builtin opt  monet_prompt = >
+# builtin opt  monet_daemon = no
+# builtin opt  mapi_port = 50000
+# builtin opt  mapi_open = false
+# builtin opt  mapi_autosense = false
+# builtin opt  sql_optimizer = default_pipe
+# builtin opt  sql_debug = 0
+# cmdline opt  gdk_nr_threads = 0
+# cmdline opt  mapi_open = true
+# cmdline opt  mapi_port = 33907
+# cmdline opt  mapi_usock = /var/tmp/mtest-10620/.s.monetdb.33907
+# cmdline opt  monet_prompt = 
+# cmdline opt  gdk_dbpath = 
/home/niels/scratch/rc-monetdb/Linux-x86_64/var/MonetDB/mTests_sql_test_BugTracker-2017
+# cmdline opt  gdk_debug = 536870922
+
+# 18:14:34 >  
+# 18:14:34 >  "mclient" "-lsql" "-ftest" "-Eutf-8" "-i" "-e" 
"--host=/var/tmp/mtest-10620" "--port=33907"
+# 18:14:34 >  
+
+
+# 18:14:34 >  
+# 18:14:34 >  "Done."
+# 18:14:34 >  
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to