Changeset: 4f140644347c for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=4f140644347c
Added Files:
        sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.sql
        sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.stable.err
        sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.sql
        
sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.err
        
sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.out
Modified Files:
        sql/test/BugTracker-2017/Tests/All
        sql/test/BugTracker-2019/Tests/All
Branch: Aug2018
Log Message:

Added tests for bugs 6683 and 6684.

Also bug 6424 requires the netcdf module.


diffs (truncated from 313 to 300 lines):

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
@@ -92,7 +92,7 @@ sqlitelogictest-aggregation-not-in.Bug-6
 HAVE_NETCDF?sqlsmith-semijoin-constant.bug-6417
 sqlsmith.Bug-6418
 HAVE_SAMTOOLS?sqlsmith.Bug-6423
-HAVE_SAMTOOLS?sqlsmith.Bug-6424
+HAVE_SAMTOOLS&HAVE_NETCDF?sqlsmith.Bug-6424
 HAVE_NETCDF?sqlsmith.Bug-6425
 double-groupby-column.Bug-6207
 sqlitelogictest-aggregation-having-avg.Bug-6428
diff --git a/sql/test/BugTracker-2019/Tests/All 
b/sql/test/BugTracker-2019/Tests/All
--- a/sql/test/BugTracker-2019/Tests/All
+++ b/sql/test/BugTracker-2019/Tests/All
@@ -1,1 +1,3 @@
 copy-into-from-stdin-empty-line.Bug-67999
+subselect-contradiction.Bug-6683
+insert-replica-table.Bug-6684
diff --git a/sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.sql 
b/sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.sql
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.sql
@@ -0,0 +1,4 @@
+start transaction;
+create replica table t1 (a int);
+insert into t1 values (1);
+rollback;
diff --git 
a/sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.stable.err 
b/sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.stable.err
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2019/Tests/insert-replica-table.Bug-6684.stable.err
@@ -0,0 +1,35 @@
+stderr of test 'insert-replica-table.Bug-6684` in directory 
'sql/test/BugTracker-2019` itself:
+
+
+# 09:30:33 >  
+# 09:30:33 >  "mserver5" "--debug=10" "--set" "gdk_nr_threads=0" "--set" 
"mapi_open=true" "--set" "mapi_port=38129" "--set" 
"mapi_usock=/var/tmp/mtest-22747/.s.monetdb.38129" "--set" "monet_prompt=" 
"--forcemito" 
"--dbpath=/home/ferreira/repositories/MonetDB-Aug2018/BUILD/var/MonetDB/mTests_sql_test_BugTracker-2019"
 "--set" "embedded_c=true"
+# 09:30:33 >  
+
+# builtin opt  gdk_dbpath = 
/home/ferreira/repositories/MonetDB-Aug2018/BUILD/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 = 38129
+# cmdline opt  mapi_usock = /var/tmp/mtest-22747/.s.monetdb.38129
+# cmdline opt  monet_prompt = 
+# cmdline opt  gdk_dbpath = 
/home/ferreira/repositories/MonetDB-Aug2018/BUILD/var/MonetDB/mTests_sql_test_BugTracker-2019
+# cmdline opt  embedded_c = true
+# cmdline opt  gdk_debug = 553648138
+
+# 09:30:33 >  
+# 09:30:33 >  "mclient" "-lsql" "-ftest" "-tnone" "-Eutf-8" "-i" "-e" 
"--host=/var/tmp/mtest-22747" "--port=38129"
+# 09:30:33 >  
+
+
+# 09:30:33 >  
+# 09:30:33 >  "Done."
+# 09:30:33 >  
+
diff --git 
a/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.sql 
b/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.sql
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.sql
@@ -0,0 +1,63 @@
+START TRANSACTION;
+CREATE TABLE "sys"."unitTestDontDelete" ("A" VARCHAR(255),"B" BIGINT,"C" 
DOUBLE,"D" TIMESTAMP);
+INSERT INTO "sys"."unitTestDontDelete" VALUES (NULL, NULL, NULL, NULL);
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 0, 0.5, '2013-06-10 
11:10:10.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 1, 1.5, '2013-06-11 
12:11:11.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 2, 2.5, '2013-06-12 
13:12:12.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 3, 3.5, '2013-06-13 
14:13:13.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 4, 4.5, '2013-06-14 
15:14:14.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 5, 5.5, '2013-06-15 
16:15:15.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 6, 6.5, '2013-06-16 
17:16:16.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 7, 7.5, '2013-06-17 
18:17:17.000000');
+INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 8, 8.5, '2013-06-18 
19:18:18.000000');
+with "c3_t" as
+(
+  select
+    "c1_t"."A",
+    "c1_t"."B",
+    "c1_t"."C",
+    "c1_t"."D"
+  from
+    "unitTestDontDelete" as "c1_t"
+)
+select
+  (
+    select
+      sum("B")
+    from
+      "c3_t" as "c4_t"
+    where
+      (
+        ("c4_t"."C" >= (coalesce("c3_t"."C", 0.0) + cast('0x1.0p0' as double 
precision)))
+      )
+  )
+  as "c2_f1"
+from
+  "c3_t";
+with "c3_t" as
+(
+  select
+    "c1_t"."A",
+    "c1_t"."B",
+    "c1_t"."C",
+    "c1_t"."D"
+  from
+    "unitTestDontDelete" as "c1_t"
+)
+select
+  (
+    select
+      sum("B")
+    from
+      "c3_t" as "c4_t"
+    where
+      (
+        ("c4_t"."C" >= (coalesce("c3_t"."C", 0.0) + cast('0x1.0p0' as double 
precision)))
+        or
+        ( 1 = 0 )
+      )
+  )
+  as "c2_f1"
+from
+  "c3_t";
+ROLLBACK;
diff --git 
a/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.err 
b/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.err
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.err
@@ -0,0 +1,35 @@
+stderr of test 'subselect-contradiction.Bug-6683` in directory 
'sql/test/BugTracker-2019` itself:
+
+
+# 09:23:56 >  
+# 09:23:56 >  "mserver5" "--debug=10" "--set" "gdk_nr_threads=0" "--set" 
"mapi_open=true" "--set" "mapi_port=32013" "--set" 
"mapi_usock=/var/tmp/mtest-21561/.s.monetdb.32013" "--set" "monet_prompt=" 
"--forcemito" 
"--dbpath=/home/ferreira/repositories/MonetDB-Aug2018/BUILD/var/MonetDB/mTests_sql_test_BugTracker-2019"
 "--set" "embedded_c=true"
+# 09:23:56 >  
+
+# builtin opt  gdk_dbpath = 
/home/ferreira/repositories/MonetDB-Aug2018/BUILD/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 = 32013
+# cmdline opt  mapi_usock = /var/tmp/mtest-21561/.s.monetdb.32013
+# cmdline opt  monet_prompt = 
+# cmdline opt  gdk_dbpath = 
/home/ferreira/repositories/MonetDB-Aug2018/BUILD/var/MonetDB/mTests_sql_test_BugTracker-2019
+# cmdline opt  embedded_c = true
+# cmdline opt  gdk_debug = 553648138
+
+# 09:23:57 >  
+# 09:23:57 >  "mclient" "-lsql" "-ftest" "-tnone" "-Eutf-8" "-i" "-e" 
"--host=/var/tmp/mtest-21561" "--port=32013"
+# 09:23:57 >  
+
+
+# 09:23:57 >  
+# 09:23:57 >  "Done."
+# 09:23:57 >  
+
diff --git 
a/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.out 
b/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.out
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2019/Tests/subselect-contradiction.Bug-6683.stable.out
@@ -0,0 +1,132 @@
+stdout of test 'subselect-contradiction.Bug-6683` in directory 
'sql/test/BugTracker-2019` itself:
+
+
+# 09:23:56 >  
+# 09:23:56 >  "mserver5" "--debug=10" "--set" "gdk_nr_threads=0" "--set" 
"mapi_open=true" "--set" "mapi_port=32013" "--set" 
"mapi_usock=/var/tmp/mtest-21561/.s.monetdb.32013" "--set" "monet_prompt=" 
"--forcemito" 
"--dbpath=/home/ferreira/repositories/MonetDB-Aug2018/BUILD/var/MonetDB/mTests_sql_test_BugTracker-2019"
 "--set" "embedded_c=true"
+# 09:23:56 >  
+
+# MonetDB 5 server v11.31.14
+# This is an unreleased version
+# Serving database 'mTests_sql_test_BugTracker-2019', using 8 threads
+# Compiled for x86_64-pc-linux-gnu/64bit with 128bit integers
+# Found 15.528 GiB available main-memory.
+# Copyright (c) 1993 - July 2008 CWI.
+# Copyright (c) August 2008 - 2019 MonetDB B.V., all rights reserved
+# Visit https://www.monetdb.org/ for further information
+# Listening for connection requests on 
mapi:monetdb://localhost.localdomain:32013/
+# Listening for UNIX domain connection requests on 
mapi:monetdb:///var/tmp/mtest-21561/.s.monetdb.32013
+# MonetDB/GIS module loaded
+# MonetDB/SQL module loaded
+
+Ready.
+
+# 09:23:57 >  
+# 09:23:57 >  "mclient" "-lsql" "-ftest" "-tnone" "-Eutf-8" "-i" "-e" 
"--host=/var/tmp/mtest-21561" "--port=32013"
+# 09:23:57 >  
+
+#START TRANSACTION;
+#CREATE TABLE "sys"."unitTestDontDelete" ("A" VARCHAR(255),"B" BIGINT,"C" 
DOUBLE,"D" TIMESTAMP);
+#INSERT INTO "sys"."unitTestDontDelete" VALUES (NULL, NULL, NULL, NULL);
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 0, 0.5, '2013-06-10 
11:10:10.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 1, 1.5, '2013-06-11 
12:11:11.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 2, 2.5, '2013-06-12 
13:12:12.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 3, 3.5, '2013-06-13 
14:13:13.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 4, 4.5, '2013-06-14 
15:14:14.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 5, 5.5, '2013-06-15 
16:15:15.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 6, 6.5, '2013-06-16 
17:16:16.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat2', 7, 7.5, '2013-06-17 
18:17:17.000000');
+[ 1    ]
+#INSERT INTO "sys"."unitTestDontDelete" VALUES ('Cat1', 8, 8.5, '2013-06-18 
19:18:18.000000');
+[ 1    ]
+#with "c3_t" as
+#(
+#  select
+#    "c1_t"."A",
+#    "c1_t"."B",
+#    "c1_t"."C",
+#    "c1_t"."D"
+#  from
+#    "unitTestDontDelete" as "c1_t"
+#)
+#select
+#  (
+#    select
+#      sum("B")
+#    from
+#      "c3_t" as "c4_t"
+#    where
+#      (
+#        ("c4_t"."C" >= (coalesce("c3_t"."C", 0.0) + cast('0x1.0p0' as double 
precision)))
+#      )
+#  )
+#  as "c2_f1"
+#from
+#  "c3_t";
+% .L20 # table_name
+% c2_f1 # name
+% bigint # type
+% 2 # length
+[ 36   ]
+[ 36   ]
+[ 35   ]
+[ 33   ]
+[ 30   ]
+[ 26   ]
+[ 21   ]
+[ 15   ]
+[ 8    ]
+[ NULL ]
+#with "c3_t" as
+#(
+#  select
+#    "c1_t"."A",
+#    "c1_t"."B",
+#    "c1_t"."C",
+#    "c1_t"."D"
+#  from
+#    "unitTestDontDelete" as "c1_t"
+#)
+#select
+#  (
+#    select
+#      sum("B")
+#    from
+#      "c3_t" as "c4_t"
+#    where
+#      (
+#        ("c4_t"."C" >= (coalesce("c3_t"."C", 0.0) + cast('0x1.0p0' as double 
precision)))
+#        or
+#        ( 1 = 0 )
+#      )
+#  )
+#  as "c2_f1"
+#from
+#  "c3_t";
+% .L20 # table_name
+% c2_f1 # name
+% bigint # type
+% 2 # length
+[ 36   ]
+[ 36   ]
+[ 35   ]
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to