summaryrefslogtreecommitdiffstats
path: root/test/with2.test
diff options
context:
space:
mode:
Diffstat (limited to 'test/with2.test')
-rw-r--r--test/with2.test628
1 files changed, 628 insertions, 0 deletions
diff --git a/test/with2.test b/test/with2.test
new file mode 100644
index 0000000..660df52
--- /dev/null
+++ b/test/with2.test
@@ -0,0 +1,628 @@
+# 2014 January 11
+#
+# The author disclaims copyright to this source code. In place of
+# a legal notice, here is a blessing:
+#
+# May you do good and not evil.
+# May you find forgiveness for yourself and forgive others.
+# May you share freely, never taking more than you give.
+#
+#***********************************************************************
+# This file implements regression tests for SQLite library. The
+# focus of this file is testing the WITH clause.
+#
+
+set testdir [file dirname $argv0]
+source $testdir/tester.tcl
+set ::testprefix with2
+
+ifcapable {!cte} {
+ finish_test
+ return
+}
+
+do_execsql_test 1.0 {
+ CREATE TABLE t1(a);
+ INSERT INTO t1 VALUES(1);
+ INSERT INTO t1 VALUES(2);
+}
+
+do_execsql_test 1.1 {
+ WITH x1 AS (SELECT * FROM t1)
+ SELECT sum(a) FROM x1;
+} {3}
+
+do_execsql_test 1.2 {
+ WITH x1 AS (SELECT * FROM t1)
+ SELECT (SELECT sum(a) FROM x1);
+} {3}
+
+do_execsql_test 1.3 {
+ WITH x1 AS (SELECT * FROM t1)
+ SELECT (SELECT sum(a) FROM x1);
+} {3}
+
+do_execsql_test 1.4 {
+ CREATE TABLE t2(i);
+ INSERT INTO t2 VALUES(2);
+ INSERT INTO t2 VALUES(3);
+ INSERT INTO t2 VALUES(5);
+
+ WITH x1 AS (SELECT i FROM t2),
+ i(a) AS (
+ SELECT min(i)-1 FROM x1 UNION SELECT a+1 FROM i WHERE a<10
+ )
+ SELECT a FROM i WHERE a NOT IN x1
+} {1 4 6 7 8 9 10}
+
+do_execsql_test 1.5 {
+ WITH x1 AS (SELECT a FROM t1),
+ x2 AS (SELECT i FROM t2),
+ x3 AS (SELECT * FROM x1, x2 WHERE x1.a IN x2 AND x2.i IN x1)
+ SELECT * FROM x3
+} {2 2}
+
+do_execsql_test 1.6 {
+ CREATE TABLE t3 AS SELECT 3 AS x;
+ CREATE TABLE t4 AS SELECT 4 AS x;
+
+ WITH x1 AS (SELECT * FROM t3),
+ x2 AS (
+ WITH t3 AS (SELECT * FROM t4)
+ SELECT * FROM x1
+ )
+ SELECT * FROM x2;
+} {3}
+
+do_execsql_test 1.7 {
+ WITH x2 AS (
+ WITH t3 AS (SELECT * FROM t4)
+ SELECT * FROM t3
+ )
+ SELECT * FROM x2;
+} {4}
+
+do_execsql_test 1.8 {
+ WITH x2 AS (
+ WITH t3 AS (SELECT * FROM t4)
+ SELECT * FROM main.t3
+ )
+ SELECT * FROM x2;
+} {3}
+
+do_execsql_test 1.9 {
+ WITH x1 AS (SELECT * FROM t1)
+ SELECT (SELECT sum(a) FROM x1), (SELECT max(a) FROM x1);
+} {3 2}
+
+do_execsql_test 1.10 {
+ WITH x1 AS (SELECT * FROM t1)
+ SELECT (SELECT sum(a) FROM x1), (SELECT max(a) FROM x1), a FROM x1;
+} {3 2 1 3 2 2}
+
+do_execsql_test 1.11 {
+ WITH
+ i(x) AS (
+ WITH
+ j(x) AS ( SELECT * FROM i ),
+ i(x) AS ( SELECT * FROM t1 )
+ SELECT * FROM j
+ )
+ SELECT * FROM i;
+} {1 2}
+
+do_execsql_test 1.12 {
+ WITH r(i) AS (
+ VALUES('.')
+ UNION ALL
+ SELECT i || '.' FROM r, (
+ SELECT x FROM x INTERSECT SELECT y FROM y
+ ) WHERE length(i) < 10
+ ),
+ x(x) AS ( VALUES(1) UNION ALL VALUES(2) UNION ALL VALUES(3) ),
+ y(y) AS ( VALUES(2) UNION ALL VALUES(4) UNION ALL VALUES(6) )
+
+ SELECT * FROM r;
+} {. .. ... .... ..... ...... ....... ........ ......... ..........}
+
+do_execsql_test 1.13 {
+ WITH r(i) AS (
+ VALUES('.')
+ UNION ALL
+ SELECT i || '.' FROM r, ( SELECT x FROM x WHERE x=2 ) WHERE length(i) < 10
+ ),
+ x(x) AS ( VALUES(1) UNION ALL VALUES(2) UNION ALL VALUES(3) )
+
+ SELECT * FROM r ORDER BY length(i) DESC;
+} {.......... ......... ........ ....... ...... ..... .... ... .. .}
+
+do_execsql_test 1.14 {
+ WITH
+ t4(x) AS (
+ VALUES(4)
+ UNION ALL
+ SELECT x+1 FROM t4 WHERE x<10
+ )
+ SELECT * FROM t4;
+} {4 5 6 7 8 9 10}
+
+do_execsql_test 1.15 {
+ WITH
+ t4(x) AS (
+ VALUES(4)
+ UNION ALL
+ SELECT x+1 FROM main.t4 WHERE x<10
+ )
+ SELECT * FROM t4;
+} {4 5}
+
+do_catchsql_test 1.16 {
+ WITH
+ t4(x) AS (
+ VALUES(4)
+ UNION ALL
+ SELECT x+1 FROM t4, main.t4, t4 WHERE x<10
+ )
+ SELECT * FROM t4;
+} {1 {multiple references to recursive table: t4}}
+
+
+#---------------------------------------------------------------------------
+# Check that variables can be used in CTEs.
+#
+set ::min [expr 3]
+set ::max [expr 9]
+do_execsql_test 2.1 {
+ WITH i(x) AS (
+ VALUES($min) UNION ALL SELECT x+1 FROM i WHERE x < $max
+ )
+ SELECT * FROM i;
+} {3 4 5 6 7 8 9}
+
+do_execsql_test 2.2 {
+ WITH i(x) AS (
+ VALUES($min) UNION ALL SELECT x+1 FROM i WHERE x < $max
+ )
+ SELECT x FROM i JOIN i AS j USING (x);
+} {3 4 5 6 7 8 9}
+
+#---------------------------------------------------------------------------
+# Check that circular references are rejected.
+#
+do_catchsql_test 3.1 {
+ WITH i(x, y) AS ( VALUES(1, (SELECT x FROM i)) )
+ SELECT * FROM i;
+} {1 {circular reference: i}}
+
+do_catchsql_test 3.2 {
+ WITH
+ i(x) AS ( SELECT * FROM j ),
+ j(x) AS ( SELECT * FROM k ),
+ k(x) AS ( SELECT * FROM i )
+ SELECT * FROM i;
+} {1 {circular reference: i}}
+
+do_catchsql_test 3.3 {
+ WITH
+ i(x) AS ( SELECT * FROM (SELECT * FROM j) ),
+ j(x) AS ( SELECT * FROM (SELECT * FROM i) )
+ SELECT * FROM i;
+} {1 {circular reference: i}}
+
+do_catchsql_test 3.4 {
+ WITH
+ i(x) AS ( SELECT * FROM (SELECT * FROM j) ),
+ j(x) AS ( SELECT * FROM (SELECT * FROM i) )
+ SELECT * FROM j;
+} {1 {circular reference: j}}
+
+do_catchsql_test 3.5 {
+ WITH
+ i(x) AS (
+ WITH j(x) AS ( SELECT * FROM i )
+ SELECT * FROM j
+ )
+ SELECT * FROM i;
+} {1 {circular reference: i}}
+
+#---------------------------------------------------------------------------
+# Try empty and very long column lists.
+#
+do_catchsql_test 4.1 {
+ WITH x() AS ( SELECT 1,2,3 )
+ SELECT * FROM x;
+} {1 {near ")": syntax error}}
+
+proc genstmt {n} {
+ for {set i 1} {$i<=$n} {incr i} {
+ lappend cols "c$i"
+ lappend vals $i
+ }
+ return "
+ WITH x([join $cols ,]) AS (SELECT [join $vals ,])
+ SELECT (c$n == $n) FROM x
+ "
+}
+
+do_execsql_test 4.2 [genstmt 10] 1
+do_execsql_test 4.3 [genstmt 100] 1
+do_execsql_test 4.4 [genstmt 255] 1
+set nLimit [sqlite3_limit db SQLITE_LIMIT_COLUMN -1]
+do_execsql_test 4.5 [genstmt [expr $nLimit-1]] 1
+do_execsql_test 4.6 [genstmt $nLimit] 1
+do_catchsql_test 4.7 [genstmt [expr $nLimit+1]] \
+ {1 {too many columns in result set}}
+
+#---------------------------------------------------------------------------
+# Check that adding a WITH clause to an INSERT disables the xfer
+# optimization.
+#
+proc do_xfer_test {tn bXfer sql {res {}}} {
+ set ::sqlite3_xferopt_count 0
+ uplevel [list do_test $tn [subst -nocommands {
+ set dres [db eval {$sql}]
+ list [set ::sqlite3_xferopt_count] [set dres]
+ }] [list $bXfer $res]]
+}
+
+do_execsql_test 5.1 {
+ DROP TABLE IF EXISTS t1;
+ DROP TABLE IF EXISTS t2;
+ CREATE TABLE t1(a, b);
+ CREATE TABLE t2(a, b);
+}
+
+do_xfer_test 5.2 1 { INSERT INTO t1 SELECT * FROM t2 }
+do_xfer_test 5.3 0 { INSERT INTO t1 SELECT a, b FROM t2 }
+do_xfer_test 5.4 0 { INSERT INTO t1 SELECT b, a FROM t2 }
+do_xfer_test 5.5 0 {
+ WITH x AS (SELECT a, b FROM t2) INSERT INTO t1 SELECT * FROM x
+}
+do_xfer_test 5.6 0 {
+ WITH x AS (SELECT a, b FROM t2) INSERT INTO t1 SELECT * FROM t2
+}
+do_xfer_test 5.7 0 {
+ INSERT INTO t1 WITH x AS ( SELECT * FROM t2 ) SELECT * FROM x
+}
+do_xfer_test 5.8 0 {
+ INSERT INTO t1 WITH x(a,b) AS ( SELECT * FROM t2 ) SELECT * FROM x
+}
+
+#---------------------------------------------------------------------------
+# Check that syntax (and other) errors in statements with WITH clauses
+# attached to them do not cause problems (e.g. memory leaks).
+#
+do_execsql_test 6.1 {
+ DROP TABLE IF EXISTS t1;
+ DROP TABLE IF EXISTS t2;
+ CREATE TABLE t1(a, b);
+ CREATE TABLE t2(a, b);
+}
+
+do_catchsql_test 6.2 {
+ WITH x AS (SELECT * FROM t1)
+ INSERT INTO t2 VALUES(1, 2,);
+} {1 {near ")": syntax error}}
+
+do_catchsql_test 6.3 {
+ WITH x AS (SELECT * FROM t1)
+ INSERT INTO t2 SELECT a, b, FROM t1;
+} {1 {near "FROM": syntax error}}
+
+do_catchsql_test 6.3 {
+ WITH x AS (SELECT * FROM t1)
+ INSERT INTO t2 SELECT a, b FROM abc;
+} {1 {no such table: abc}}
+
+do_catchsql_test 6.4 {
+ WITH x AS (SELECT * FROM t1)
+ INSERT INTO t2 SELECT a, b, FROM t1 a a a;
+} {1 {near "FROM": syntax error}}
+
+do_catchsql_test 6.5 {
+ WITH x AS (SELECT * FROM t1)
+ DELETE FROM t2 WHERE;
+} {1 {near ";": syntax error}}
+
+do_catchsql_test 6.6 {
+ WITH x AS (SELECT * FROM t1) DELETE FROM t2 WHERE
+} {1 {incomplete input}}
+
+do_catchsql_test 6.7 {
+ WITH x AS (SELECT * FROM t1) DELETE FROM t2 WHRE 1;
+} {/1 {near .* syntax error}/}
+
+do_catchsql_test 6.8 {
+ WITH x AS (SELECT * FROM t1) UPDATE t2 SET a = 10, b = ;
+} {/1 {near .* syntax error}/}
+
+do_catchsql_test 6.9 {
+ WITH x AS (SELECT * FROM t1) UPDATE t2 SET a = 10, b = 1 WHERE a===b;
+} {/1 {near .* syntax error}/}
+
+do_catchsql_test 6.10 {
+ WITH x(a,b) AS (
+ SELECT 1, 1
+ UNION ALL
+ SELECT a*b,a+b FROM x WHERE c=2
+ )
+ SELECT * FROM x
+} {1 {no such column: c}}
+
+#-------------------------------------------------------------------------
+# Recursive queries in IN(...) expressions.
+#
+do_execsql_test 7.1 {
+ CREATE TABLE t5(x INTEGER);
+ CREATE TABLE t6(y INTEGER);
+
+ WITH s(x) AS ( VALUES(7) UNION ALL SELECT x+7 FROM s WHERE x<49 )
+ INSERT INTO t5
+ SELECT * FROM s;
+
+ INSERT INTO t6
+ WITH s(x) AS ( VALUES(2) UNION ALL SELECT x+2 FROM s WHERE x<49 )
+ SELECT * FROM s;
+}
+
+do_execsql_test 7.2 {
+ SELECT * FROM t6 WHERE y IN (SELECT x FROM t5)
+} {14 28 42}
+
+do_execsql_test 7.3 {
+ WITH ss AS (SELECT x FROM t5)
+ SELECT * FROM t6 WHERE y IN (SELECT x FROM ss)
+} {14 28 42}
+
+do_execsql_test 7.4 {
+ WITH ss(x) AS ( VALUES(7) UNION ALL SELECT x+7 FROM ss WHERE x<49 )
+ SELECT * FROM t6 WHERE y IN (SELECT x FROM ss)
+} {14 28 42}
+
+do_execsql_test 7.5 {
+ SELECT * FROM t6 WHERE y IN (
+ WITH ss(x) AS ( VALUES(7) UNION ALL SELECT x+7 FROM ss WHERE x<49 )
+ SELECT x FROM ss
+ )
+} {14 28 42}
+
+#-------------------------------------------------------------------------
+# At one point the following was causing an assertion failure and a
+# memory leak.
+#
+do_execsql_test 8.1 {
+ CREATE TABLE t7(y);
+ INSERT INTO t7 VALUES(NULL);
+ CREATE VIEW v AS SELECT * FROM t7 ORDER BY y;
+}
+
+do_execsql_test 8.2 {
+ WITH q(a) AS (
+ SELECT 1
+ UNION
+ SELECT a+1 FROM q, v WHERE a<5
+ )
+ SELECT * FROM q;
+} {1 2 3 4 5}
+
+do_execsql_test 8.3 {
+ WITH q(a) AS (
+ SELECT 1
+ UNION ALL
+ SELECT a+1 FROM q, v WHERE a<5
+ )
+ SELECT * FROM q;
+} {1 2 3 4 5}
+
+# 2021-03-18
+# Ticket bb8a9fd4a9b7fce5
+reset_db
+do_execsql_test 9.1 {
+ WITH xyz(a) AS (
+ WITH abc AS ( SELECT 1234 ) SELECT * FROM abc
+ )
+ SELECT * FROM xyz AS one, xyz AS two, (
+ SELECT * FROM xyz UNION ALL SELECT * FROM xyz
+ );
+} {1234 1234 1234 1234 1234 1234}
+ifcapable vtab {
+load_static_extension db series
+do_execsql_test 9.2 {
+ WITH
+ cst(rsx, rsy) AS (
+ SELECT 100, 100
+ ),
+ cst2(minx, maxx, stepx, miny, maxy, stepy, qualitativex, qualitativey) AS (
+ SELECT NULL, NULL, NULL, NULL, NULL, NULL, 0, 0
+ ),
+ ds0(m, n, x, y, x2, y2, title, size, mark, label, markmode) AS (
+ SELECT 1, 2, 3, 4, 5, 6, 7 , 8, 9, 10, 11
+ ),
+ ds(m, n, x, y, x2, y2, title, size, mark, label, markmode) AS (
+ SELECT m, n, x,
+ y, x2,
+ y2,
+ title, size, mark, label, markmode
+ FROM ds0
+ WINDOW w AS (PARTITION BY m, x ORDER BY n)
+ ),
+ d(m, n, x, y, x2, y2, labelx,labely,title,size,mark,label,markmode) AS (
+ SELECT m, n, x, y, x2, y2, x, y, title, size, mark, label, markmode
+ FROM ds, cst2
+ ),
+ ylabels(y, label) AS (
+ SELECT y, MIN(labely) FROM d GROUP BY y
+ ),
+ yaxis(maxy, miny, stepy , minstepy) AS (
+ WITH
+ xt0(minx, maxx) AS (
+ SELECT coalesce(miny, min(min(y2),
+ min(y))), coalesce(maxy, max(max(y2),
+ max(y))) + qualitativey
+ FROM d, cst2
+ ),
+ xt1(mx, mn) AS (SELECT maxx, minx FROM xt0),
+ xt2(mx, mn, step) AS (SELECT mx, mn, (mx-mn) FROM xt1),
+
+ xt3(mx, mn, ms) AS (
+ SELECT mx, mn, first_value(rs) OVER (order by x desc) AS ms
+ FROM (SELECT mx, mn, step, f,(mx-mn) as rng,
+ 1.0*step/f as rs, 1.0*(mx-mn)/(step/f) AS x
+ FROM xt2, (SELECT 1 AS f UNION ALL SELECT 2
+ UNION ALL SELECT 4
+ UNION ALL SELECT 5)) AS src
+ WHERE x < 10 limit 1),
+ xt4(minstepy) AS (
+ SELECT MIN(abs(y2-y)) FROM d WHERE y2 != y
+ )
+ SELECT (mx/ms)*ms, (mn/ms)*ms, coalesce(stepy, ms),
+ coalesce(minstepy, ms, stepy) FROM xt3, cst2,xt4
+ ),
+ distinct_mark_n_m(mark, ze, zem, title) AS (
+ SELECT DISTINCT mark, n AS ze, m AS zem, title FROM ds0
+ ),
+ facet0(m, mi, title, radial) AS (
+ SELECT md, row_number() OVER () - 1, title, 'radial'
+ IN (SELECT mark FROM distinct_mark_n_m WHERE zem = md)
+ FROM (SELECT DISTINCT zem AS md, title AS title
+ FROM distinct_mark_n_m ORDER BY 2, 1)
+ ),
+ facet(m, mi, xorigin, yorigin, title, radial) AS (
+ SELECT m, mi,
+ rsx * 1.2 * IFNULL(CASE WHEN (
+ 0
+ ) > 0 THEN mi / (
+ 0
+ ) ELSE mi % (
+ 2
+ ) END, mi),
+ rsy * 1.2 * IFNULL(CASE WHEN (
+ 2
+ ) > 0 THEN mi / (
+ 2
+ ) ELSE mi / (
+ 0
+ ) END, 0),
+ title, radial FROM facet0, cst
+ ),
+ radygrid(m, mi, tty, wty, ttx, ttx2, xorigin, yorigin) AS (
+ SELECT m, mi, rsy / 2 / ((maxy-miny)/stepy) * (value-1) AS tty,
+ coalesce(NULL, miny + stepy * (value-1)) AS wty,
+ xorigin, xorigin+rsx, xorigin + rsx / 2,
+ yorigin + rsy / 2
+ FROM generate_series(1), yaxis, cst,
+ facet LEFT JOIN ylabels ON ylabels.y = (miny + (value-1) * stepy)
+ WHERE radial AND stop = 1+1.0*(maxy-miny)/stepy
+ ),
+ ypos(m, mi, pcx, pcy, radial) AS (
+ SELECT m, mi, xorigin, yorigin + CASE
+ WHEN 0 BETWEEN miny AND maxy THEN
+ rsy - (0 - miny) * rsy / (maxy-miny)
+ WHEN 0 >= maxy THEN 0
+ ELSE rsy
+ END, radial FROM yaxis, cst, facet WHERE NOT radial
+ UNION ALL
+ SELECT m, mi, xorigin + rsx / 2, yorigin + (CASE
+ WHEN 0 BETWEEN miny AND maxy THEN
+ rsy - (0 - miny) * rsy / 2 / (maxy-miny)
+ WHEN 0 >= maxy THEN 0
+ ELSE rsy
+ END ) / 2, radial FROM yaxis, cst, facet WHERE radial
+ )
+ SELECT * FROM radygrid , ypos;
+} {}
+} ;# end ifcapable vtab
+
+# 2021-03-19
+# dbsqlfuzz 01b8355086998f0a452cb31208e80b9d29ca739a
+#
+# Correlated CTEs should not be materialized.
+#
+reset_db
+do_execsql_test 10.1 {
+ SELECT 1 AS c WHERE (
+ SELECT (
+ WITH t1(a) AS (VALUES( c ))
+ SELECT ( SELECT t1a.a FROM t1 AS t1a, t1 AS t1x )
+ FROM t1 AS xyz GROUP BY 1
+ )
+ )
+} {1}
+
+# 2021-05-21
+# Forum post https://sqlite.org/forum/forumpost/aa4a7a3980
+#
+ifcapable altertable {
+reset_db
+ do_execsql_test 11.1 {
+ CREATE TABLE t1(a);
+ CREATE VIEW v2(c) AS
+ WITH x AS (
+ WITH y AS (
+ WITH z AS(SELECT * FROM t1)
+ SELECT * FROM v2
+ ) SELECT a
+ ) SELECT * from t1;
+ ALTER TABLE t1 RENAME COLUMN a TO b;
+ SELECT sql FROM sqlite_schema WHERE name='t1';
+ } {{CREATE TABLE t1(b)}}
+ do_catchsql_test 11.2 {
+ INSERT INTO t1 VALUES(55);
+ SELECT * FROM v2;
+ } {0 55}
+ do_catchsql_test 11.3 {
+ DROP VIEW v2;
+ CREATE VIEW v2(c) AS
+ WITH x AS (
+ WITH y AS (
+ WITH z AS(SELECT * FROM t1)
+ SELECT * FROM v2
+ ) SELECT a
+ ) SELECT * from t1, x;
+ SELECT * FROM v2;
+ } {1 {no such column: a}}
+ do_catchsql_test 11.4 {
+ DROP VIEW v2;
+ CREATE VIEW v2(c) AS
+ WITH x AS (
+ WITH y AS (
+ WITH z AS(SELECT * FROM t1)
+ SELECT * FROM v2
+ ) SELECT *
+ ) SELECT * from t1, x;
+ SELECT * FROM v2;
+ } {1 {no tables specified}}
+ do_catchsql_test 11.5 {
+ WITH x AS (
+ WITH y AS (
+ WITH z AS(SELECT * FROM t1)
+ SELECT * FROM no_such_table
+ ) SELECT a
+ ) SELECT * from t1;
+ } {0 55}
+}
+
+# 2021-05-23 dbsqlfuzz 6b7a144674e215f06ddfeb9042c873d9ee956ac0 */
+reset_db
+ifcapable altertable {
+ do_execsql_test 12.1 {
+ CREATE TABLE t1(a);
+ INSERT INTO t1 VALUES(1),('hello'),(4.25),(NULL),(x'3c626c6f623e');
+ CREATE VIEW v2(c) AS WITH x AS (WITH y AS (WITH z AS(SELECT * FROM t1) SELECT * FROM v2) SELECT a) SELECT * from t1;
+ CREATE VIEW v3(c) AS WITH x AS (WITH y AS (WITH z AS(SELECT * FROM v2) SELECT * FROM v3) SELECT a) SELECT * from t1;
+ ALTER TABLE t1 RENAME TO t1x;
+ SELECT quote(c) FROM v3;
+ } {1 'hello' 4.25 NULL X'3C626C6F623E'}
+}
+
+# 2021-08-11 https://sqlite.org/forum/forumpost/d496c3d29bc93736
+reset_db
+do_execsql_test 13.1 {
+ WITH
+ t1(x) AS (SELECT 111),
+ t2(y) AS (SELECT 222),
+ t3(z) AS (SELECT * FROM t2 WHERE false UNION ALL SELECT * FROM t2)
+ SELECT * FROM t1, t3;
+} {111 222}
+
+finish_test
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 00:32:41 +0000