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 that terms in the ON clause of
sl@0: # a LEFT OUTER JOIN are not used with indices.  See ticket #3015.
sl@0: #
sl@0: # $Id: where6.test,v 1.2 2008/04/17 19:14:02 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 where6-1.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE t1(a INTEGER PRIMARY KEY,b,c);
sl@0:     INSERT INTO t1 VALUES(1,3,1);
sl@0:     INSERT INTO t1 VALUES(2,4,2);
sl@0:     CREATE TABLE t2(x INTEGER PRIMARY KEY);
sl@0:     INSERT INTO t2 VALUES(3);
sl@0: 
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: do_test where6-1.2 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON x=b AND c=1;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: do_test where6-1.3 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: do_test where6-1.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x AND 1=c;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: 
sl@0: ifcapable explain {
sl@0:   do_test where6-1.5 {
sl@0:      explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c}
sl@0:   } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1}]
sl@0:   do_test where6-1.6 {
sl@0:      explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE 1=c}
sl@0:   } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1}]
sl@0: }
sl@0: 
sl@0: do_test where6-1.11 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1;
sl@0:   }
sl@0: } {1 3 1 3}
sl@0: do_test where6-1.12 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE c=1;
sl@0:   }
sl@0: } {1 3 1 3}
sl@0: do_test where6-1.13 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE 1=c;
sl@0:   }
sl@0: } {1 3 1 3}
sl@0: 
sl@0: 
sl@0: 
sl@0: do_test where6-2.1 {
sl@0:   execsql {
sl@0:     CREATE INDEX i1 ON t1(c);
sl@0: 
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: do_test where6-2.2 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON x=b AND c=1;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: do_test where6-2.3 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: do_test where6-2.4 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x AND 1=c;
sl@0:   }
sl@0: } {1 3 1 3 2 4 2 {}}
sl@0: 
sl@0: ifcapable explain {
sl@0:   do_test where6-2.5 {
sl@0:      explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b AND 1=c}
sl@0:   } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x AND c=1}]
sl@0:   do_test where6-2.6 {
sl@0:      explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE 1=c}
sl@0:   } [explain_no_trace {SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1}]
sl@0: }
sl@0: 
sl@0: 
sl@0: do_test where6-2.11 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE c=1;
sl@0:   }
sl@0: } {1 3 1 3}
sl@0: do_test where6-2.12 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE c=1;
sl@0:   }
sl@0: } {1 3 1 3}
sl@0: do_test where6-2.13 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON x=b WHERE 1=c;
sl@0:   }
sl@0: } {1 3 1 3}
sl@0: do_test where6-2.14 {
sl@0:   execsql {
sl@0:     SELECT * FROM t1 LEFT JOIN t2 ON b=x WHERE 1=c;
sl@0:   }
sl@0: } {1 3 1 3}
sl@0: 
sl@0: finish_test