| Index: third_party/sqlite/sqlite-src-3080704/test/with2.test
|
| diff --git a/third_party/sqlite/sqlite-src-3080704/test/with2.test b/third_party/sqlite/sqlite-src-3080704/test/with2.test
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..eb0614729bed31db388dc155da18910312370ba4
|
| --- /dev/null
|
| +++ b/third_party/sqlite/sqlite-src-3080704/test/with2.test
|
| @@ -0,0 +1,418 @@
|
| +# 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 index}}
|
| +
|
| +#---------------------------------------------------------------------------
|
| +# 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 {near .* syntax error}/}
|
| +
|
| +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}
|
| +
|
| +
|
| +finish_test
|
| +
|
|
|