sl@0: # 2007 June 8
sl@0: #
sl@0: # The author disclaims copyright to this source code.  In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: # This file implements regression tests for SQLite library.  The
sl@0: # focus of this file is testing NULL comparisons in the WHERE clause.
sl@0: # See ticket #2404.
sl@0: #
sl@0: # $Id: where5.test,v 1.2 2007/06/08 08:43:10 drh Exp $
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: # Build some test data
sl@0: #
sl@0: do_test where5-1.0 {
sl@0:   execsql {
sl@0:     CREATE TABLE t1(x TEXT);
sl@0:     CREATE TABLE t2(x INTEGER);
sl@0:     CREATE TABLE t3(x INTEGER PRIMARY KEY);
sl@0:     INSERT INTO t1 VALUES(-1);
sl@0:     INSERT INTO t1 VALUES(0);
sl@0:     INSERT INTO t1 VALUES(1);
sl@0:     INSERT INTO t2 SELECT * FROM t1;
sl@0:     INSERT INTO t3 SELECT * FROM t2;
sl@0:   }
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x<0
sl@0:   }
sl@0: } {-1}
sl@0: do_test where5-1.1 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x<=0
sl@0:   }
sl@0: } {-1 0}
sl@0: do_test where5-1.2 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x=0
sl@0:   }
sl@0: } {0}
sl@0: do_test where5-1.3 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x>=0
sl@0:   }
sl@0: } {0 1}
sl@0: do_test where5-1.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x>0
sl@0:   }
sl@0: } {1}
sl@0: do_test where5-1.5 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x<>0
sl@0:   }
sl@0: } {-1 1}
sl@0: do_test where5-1.6 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x<NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-1.7 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x<=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-1.8 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-1.9 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x>=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-1.10 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x>NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-1.11 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x!=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-1.12 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x IS NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-1.13 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 WHERE x IS NOT NULL
sl@0:   }
sl@0: } {-1 0 1}
sl@0: 
sl@0: 
sl@0: do_test where5-2.0 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x<0
sl@0:   }
sl@0: } {-1}
sl@0: do_test where5-2.1 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x<=0
sl@0:   }
sl@0: } {-1 0}
sl@0: do_test where5-2.2 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x=0
sl@0:   }
sl@0: } {0}
sl@0: do_test where5-2.3 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x>=0
sl@0:   }
sl@0: } {0 1}
sl@0: do_test where5-2.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x>0
sl@0:   }
sl@0: } {1}
sl@0: do_test where5-2.5 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x<>0
sl@0:   }
sl@0: } {-1 1}
sl@0: do_test where5-2.6 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x<NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-2.7 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x<=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-2.8 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-2.9 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x>=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-2.10 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x>NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-2.11 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x!=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-2.12 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x IS NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-2.13 {
sl@0:   execsql {
sl@0:     SELECT * FROM t2 WHERE x IS NOT NULL
sl@0:   }
sl@0: } {-1 0 1}
sl@0: 
sl@0: 
sl@0: do_test where5-3.0 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x<0
sl@0:   }
sl@0: } {-1}
sl@0: do_test where5-3.1 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x<=0
sl@0:   }
sl@0: } {-1 0}
sl@0: do_test where5-3.2 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x=0
sl@0:   }
sl@0: } {0}
sl@0: do_test where5-3.3 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x>=0
sl@0:   }
sl@0: } {0 1}
sl@0: do_test where5-3.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x>0
sl@0:   }
sl@0: } {1}
sl@0: do_test where5-3.5 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x<>0
sl@0:   }
sl@0: } {-1 1}
sl@0: do_test where5-3.6 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x<NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-3.7 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x<=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-3.8 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-3.9 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x>=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-3.10 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x>NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-3.11 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x!=NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-3.12 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x IS NULL
sl@0:   }
sl@0: } {}
sl@0: do_test where5-3.13 {
sl@0:   execsql {
sl@0:     SELECT * FROM t3 WHERE x IS NOT NULL
sl@0:   }
sl@0: } {-1 0 1}
sl@0: 
sl@0: do_test where5-4.0 {
sl@0:   execsql {
sl@0:     SELECT x<NULL FROM t3
sl@0:   }
sl@0: } {{} {} {}}
sl@0: do_test where5-4.1 {
sl@0:   execsql {
sl@0:     SELECT x<=NULL FROM t3
sl@0:   }
sl@0: } {{} {} {}}
sl@0: do_test where5-4.2 {
sl@0:   execsql {
sl@0:     SELECT x==NULL FROM t3
sl@0:   }
sl@0: } {{} {} {}}
sl@0: do_test where5-4.3 {
sl@0:   execsql {
sl@0:     SELECT x>NULL FROM t3
sl@0:   }
sl@0: } {{} {} {}}
sl@0: do_test where5-4.4 {
sl@0:   execsql {
sl@0:     SELECT x>=NULL FROM t3
sl@0:   }
sl@0: } {{} {} {}}
sl@0: do_test where5-4.5 {
sl@0:   execsql {
sl@0:     SELECT x!=NULL FROM t3
sl@0:   }
sl@0: } {{} {} {}}
sl@0: do_test where5-4.6 {
sl@0:   execsql {
sl@0:     SELECT x IS NULL FROM t3
sl@0:   }
sl@0: } {0 0 0}
sl@0: do_test where5-4.7 {
sl@0:   execsql {
sl@0:     SELECT x IS NOT NULL FROM t3
sl@0:   }
sl@0: } {1 1 1}
sl@0: 
sl@0: finish_test