OLD | NEW |
1 # 2010 July 14 | 1 # 2010 July 14 |
2 # | 2 # |
3 # The author disclaims copyright to this source code. In place of | 3 # The author disclaims copyright to this source code. In place of |
4 # a legal notice, here is a blessing: | 4 # a legal notice, here is a blessing: |
5 # | 5 # |
6 # May you do good and not evil. | 6 # May you do good and not evil. |
7 # May you find forgiveness for yourself and forgive others. | 7 # May you find forgiveness for yourself and forgive others. |
8 # May you share freely, never taking more than you give. | 8 # May you share freely, never taking more than you give. |
9 # | 9 # |
10 #*********************************************************************** | 10 #*********************************************************************** |
11 # This file implements regression tests for SQLite library. Specifically, | 11 # This file implements regression tests for SQLite library. Specifically, |
12 # it tests that ticket [80e031a00f45dca877ed92b225209cfa09280f4f] has been | 12 # it tests that ticket [80e031a00f45dca877ed92b225209cfa09280f4f] has been |
13 # resolved. That ticket is about IN and NOT IN operators with empty-set | 13 # resolved. That ticket is about IN and NOT IN operators with empty-set |
14 # right-hand sides. Such expressions should always return TRUE or FALSE | 14 # right-hand sides. Such expressions should always return TRUE or FALSE |
15 # even if the left-hand side is NULL. | 15 # even if the left-hand side is NULL. |
16 # | 16 # |
17 | 17 |
18 set testdir [file dirname $argv0] | 18 set testdir [file dirname $argv0] |
19 source $testdir/tester.tcl | 19 source $testdir/tester.tcl |
20 source $testdir/lock_common.tcl | 20 source $testdir/lock_common.tcl |
21 source $testdir/malloc_common.tcl | 21 source $testdir/malloc_common.tcl |
22 | 22 |
23 # EVIDENCE-OF: R-58875-56087 The IN and NOT IN operators take a single | |
24 # scalar operand on the left and a vector operand on the right formed by | |
25 # an explicit list of zero or more scalars or by a single subquery. | |
26 # | |
27 # EVIDENCE-OF: R-52275-55503 When the right operand is an empty set, the | 23 # EVIDENCE-OF: R-52275-55503 When the right operand is an empty set, the |
28 # result of IN is false and the result of NOT IN is true, regardless of | 24 # result of IN is false and the result of NOT IN is true, regardless of |
29 # the left operand and even if the left operand is NULL. | 25 # the left operand and even if the left operand is NULL. |
30 # | 26 # |
31 # EVIDENCE-OF: R-13595-45863 Note that SQLite allows the parenthesized | 27 # EVIDENCE-OF: R-13595-45863 Note that SQLite allows the parenthesized |
32 # list of scalar values on the right-hand side of an IN or NOT IN | 28 # list of scalar values on the right-hand side of an IN or NOT IN |
33 # operator to be an empty list but most other SQL database database | 29 # operator to be an empty list but most other SQL database database |
34 # engines and the SQL92 standard require the list to contain at least | 30 # engines and the SQL92 standard require the list to contain at least |
35 # one element. | 31 # one element. |
36 # | 32 # |
(...skipping 164 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
201 do_execsql_test tkt-80e031a00f.518 {SELECT null IN t7} {{}} | 197 do_execsql_test tkt-80e031a00f.518 {SELECT null IN t7} {{}} |
202 do_execsql_test tkt-80e031a00f.519 {SELECT null NOT IN t7} {{}} | 198 do_execsql_test tkt-80e031a00f.519 {SELECT null NOT IN t7} {{}} |
203 do_execsql_test tkt-80e031a00f.520 {SELECT null IN t7n} {{}} | 199 do_execsql_test tkt-80e031a00f.520 {SELECT null IN t7n} {{}} |
204 do_execsql_test tkt-80e031a00f.521 {SELECT null NOT IN t7n} {{}} | 200 do_execsql_test tkt-80e031a00f.521 {SELECT null NOT IN t7n} {{}} |
205 do_execsql_test tkt-80e031a00f.522 {SELECT null IN t8} {{}} | 201 do_execsql_test tkt-80e031a00f.522 {SELECT null IN t8} {{}} |
206 do_execsql_test tkt-80e031a00f.523 {SELECT null NOT IN t8} {{}} | 202 do_execsql_test tkt-80e031a00f.523 {SELECT null NOT IN t8} {{}} |
207 do_execsql_test tkt-80e031a00f.524 {SELECT null IN t8n} {{}} | 203 do_execsql_test tkt-80e031a00f.524 {SELECT null IN t8n} {{}} |
208 do_execsql_test tkt-80e031a00f.525 {SELECT null NOT IN t8n} {{}} | 204 do_execsql_test tkt-80e031a00f.525 {SELECT null NOT IN t8n} {{}} |
209 | 205 |
210 finish_test | 206 finish_test |
OLD | NEW |