| OLD | NEW |
| (Empty) |
| 1 # 2015-03-12 | |
| 2 # | |
| 3 # The author disclaims copyright to this source code. In place of | |
| 4 # a legal notice, here is a blessing: | |
| 5 # | |
| 6 # May you do good and not evil. | |
| 7 # May you find forgiveness for yourself and forgive others. | |
| 8 # May you share freely, never taking more than you give. | |
| 9 # | |
| 10 #*********************************************************************** | |
| 11 # Test that deterministic scalar functions passed constant arguments | |
| 12 # are used with stat4 data. | |
| 13 # | |
| 14 | |
| 15 set testdir [file dirname $argv0] | |
| 16 source $testdir/tester.tcl | |
| 17 set ::testprefix analyzeF | |
| 18 | |
| 19 ifcapable {!stat4} { | |
| 20 finish_test | |
| 21 return | |
| 22 } | |
| 23 | |
| 24 proc isqrt {i} { expr { int(sqrt($i)) } } | |
| 25 db func isqrt isqrt | |
| 26 | |
| 27 do_execsql_test 1.0 { | |
| 28 CREATE TABLE t1(x INTEGER, y INTEGER); | |
| 29 WITH data(i) AS ( | |
| 30 SELECT 1 UNION ALL SELECT i+1 FROM data | |
| 31 ) | |
| 32 INSERT INTO t1 SELECT isqrt(i), isqrt(i) FROM data LIMIT 400; | |
| 33 CREATE INDEX t1x ON t1(x); | |
| 34 CREATE INDEX t1y ON t1(y); | |
| 35 ANALYZE; | |
| 36 } | |
| 37 | |
| 38 proc str {a} { return $a } | |
| 39 db func str str | |
| 40 | |
| 41 # Note: tests 7 to 12 might be unstable - as they assume SQLite will | |
| 42 # prefer the expression to the right of the AND clause. Which of | |
| 43 # course could change. | |
| 44 # | |
| 45 # Note 2: tests 9 and 10 depend on the tcl interface creating functions | |
| 46 # without the SQLITE_DETERMINISTIC flag set. | |
| 47 # | |
| 48 foreach {tn where idx} { | |
| 49 1 "x = 4 AND y = 19" {t1x (x=?)} | |
| 50 2 "x = 19 AND y = 4" {t1y (y=?)} | |
| 51 3 "x = '4' AND y = '19'" {t1x (x=?)} | |
| 52 4 "x = '19' AND y = '4'" {t1y (y=?)} | |
| 53 5 "x = substr('5195', 2, 2) AND y = substr('145', 2, 1)" {t1y (y=?)} | |
| 54 6 "x = substr('145', 2, 1) AND y = substr('5195', 2, 2)" {t1x (x=?)} | |
| 55 | |
| 56 7 "x = substr('5195', 2, 2+0) AND y = substr('145', 2, 1+0)" {t1y (y=?)} | |
| 57 8 "x = substr('145', 2, 1+0) AND y = substr('5195', 2, 2+0)" {t1y (y=?)} | |
| 58 | |
| 59 9 "x = str('19') AND y = str('4')" {t1y (y=?)} | |
| 60 10 "x = str('4') AND y = str('19')" {t1y (y=?)} | |
| 61 | |
| 62 11 "x = nullif('19', 0) AND y = nullif('4', 0)" {t1y (y=?)} | |
| 63 12 "x = nullif('4', 0) AND y = nullif('19', 0)" {t1y (y=?)} | |
| 64 } { | |
| 65 set res "0 0 0 {SEARCH TABLE t1 USING INDEX $idx}" | |
| 66 do_eqp_test 1.$tn "SELECT * FROM t1 WHERE $where" $res | |
| 67 } | |
| 68 | |
| 69 # Test that functions that do not exist - "func()" - do not cause an error. | |
| 70 # | |
| 71 do_catchsql_test 2.1 { | |
| 72 SELECT * FROM t1 WHERE x = substr('145', 2, 1) AND y = func(1, 2, 3) | |
| 73 } {1 {no such function: func}} | |
| 74 do_catchsql_test 2.2 { | |
| 75 UPDATE t1 SET y=y+1 WHERE x = substr('145', 2, 1) AND y = func(1, 2, 3) | |
| 76 } {1 {no such function: func}} | |
| 77 | |
| 78 | |
| 79 # Check that functions that accept zero arguments do not cause problems. | |
| 80 # | |
| 81 proc ret {x} { return $x } | |
| 82 | |
| 83 db func det4 -deterministic [list ret 4] | |
| 84 db func nondet4 [list ret 4] | |
| 85 db func det19 -deterministic [list ret 19] | |
| 86 db func nondet19 [list ret 19] | |
| 87 | |
| 88 foreach {tn where idx} { | |
| 89 1 "x = det4() AND y = det19()" {t1x (x=?)} | |
| 90 2 "x = det19() AND y = det4()" {t1y (y=?)} | |
| 91 | |
| 92 3 "x = nondet4() AND y = nondet19()" {t1y (y=?)} | |
| 93 4 "x = nondet19() AND y = nondet4()" {t1y (y=?)} | |
| 94 } { | |
| 95 set res "0 0 0 {SEARCH TABLE t1 USING INDEX $idx}" | |
| 96 do_eqp_test 3.$tn "SELECT * FROM t1 WHERE $where" $res | |
| 97 } | |
| 98 | |
| 99 | |
| 100 execsql { DELETE FROM t1 } | |
| 101 | |
| 102 proc throw_error {err} { error $err } | |
| 103 db func error -deterministic throw_error | |
| 104 do_catchsql_test 4.1 { | |
| 105 SELECT * FROM t1 WHERE x = error('error one') AND y = 4; | |
| 106 } {1 {error one}} | |
| 107 | |
| 108 do_catchsql_test 4.2 { | |
| 109 SELECT * FROM t1 WHERE x = zeroblob(2200000000) AND y = 4; | |
| 110 } {1 {string or blob too big}} | |
| 111 | |
| 112 sqlite3_limit db SQLITE_LIMIT_LENGTH 1000000 | |
| 113 proc dstr {} { return [string repeat x 1100000] } | |
| 114 db func dstr -deterministic dstr | |
| 115 do_catchsql_test 4.3 { | |
| 116 SELECT * FROM t1 WHERE x = dstr() AND y = 11; | |
| 117 } {1 {string or blob too big}} | |
| 118 | |
| 119 do_catchsql_test 4.4 { | |
| 120 SELECT * FROM t1 WHERE x = test_zeroblob(1100000) AND y = 4; | |
| 121 } {1 {string or blob too big}} | |
| 122 | |
| 123 | |
| 124 finish_test | |
| OLD | NEW |