[sql] Import SQLite 3.17.0.

third_party/sqlite/src/test/tkt-80e031a00f.test

 # 2010 July 14
 #
 # 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. Specifically,
 # it tests that ticket [80e031a00f45dca877ed92b225209cfa09280f4f] has been
 # resolved.  That ticket is about IN and NOT IN operators with empty-set
 # right-hand sides.  Such expressions should always return TRUE or FALSE
 # even if the left-hand side is NULL.
 #
 
 set testdir [file dirname $argv0]
 source $testdir/tester.tcl
 source $testdir/lock_common.tcl
 source $testdir/malloc_common.tcl
 
-# EVIDENCE-OF: R-58875-56087 The IN and NOT IN operators take a single
-# scalar operand on the left and a vector operand on the right formed by
-# an explicit list of zero or more scalars or by a single subquery.
-#
 # EVIDENCE-OF: R-52275-55503 When the right operand is an empty set, the
 # result of IN is false and the result of NOT IN is true, regardless of
 # the left operand and even if the left operand is NULL.
 #
 # EVIDENCE-OF: R-13595-45863 Note that SQLite allows the parenthesized
 # list of scalar values on the right-hand side of an IN or NOT IN
 # operator to be an empty list but most other SQL database database
 # engines and the SQL92 standard require the list to contain at least
 # one element.
 #
@@ skipping 164 matching lines @@
 do_execsql_test tkt-80e031a00f.518 {SELECT null IN t7} {{}}
 do_execsql_test tkt-80e031a00f.519 {SELECT null NOT IN t7} {{}}
 do_execsql_test tkt-80e031a00f.520 {SELECT null IN t7n} {{}}
 do_execsql_test tkt-80e031a00f.521 {SELECT null NOT IN t7n} {{}}
 do_execsql_test tkt-80e031a00f.522 {SELECT null IN t8} {{}}
 do_execsql_test tkt-80e031a00f.523 {SELECT null NOT IN t8} {{}}
 do_execsql_test tkt-80e031a00f.524 {SELECT null IN t8n} {{}}
 do_execsql_test tkt-80e031a00f.525 {SELECT null NOT IN t8n} {{}}
 
 finish_test