test/expr.test

   1 # 2001 September 15
   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 # This file implements regression tests for SQLite library.  The
  12 # focus of this file is testing expressions.
  13 #
  14 # $Id: expr.test,v 1.67 2009/02/04 03:59:25 shane Exp $
  15
  16 set testdir [file dirname $argv0]
  17 source $testdir/tester.tcl
  18
  19 # Create a table to work with.
  20 #
  21 ifcapable floatingpoint {
  22   execsql {CREATE TABLE test1(i1 int, i2 int, r1 real, r2 real, t1 text, t2 text)}
  23   execsql {INSERT INTO test1 VALUES(1,2,1.1,2.2,'hello','world')}
  24 }
  25 ifcapable !floatingpoint {
  26   execsql {CREATE TABLE test1(i1 int, i2 int, t1 text, t2 text)}
  27   execsql {INSERT INTO test1 VALUES(1,2,'hello','world')}
  28 }
  29
  30 proc test_expr {name settings expr result} {
  31   do_test $name [format {
  32     execsql {BEGIN; UPDATE test1 SET %s; SELECT %s FROM test1; ROLLBACK;}
  33   } $settings $expr] $result
  34 }
  35 proc test_realnum_expr {name settings expr result} {
  36   do_realnum_test $name [format {
  37     execsql {BEGIN; UPDATE test1 SET %s; SELECT %s FROM test1; ROLLBACK;}
  38   } $settings $expr] $result
  39 }
  40
  41 test_expr expr-1.1 {i1=10, i2=20} {i1+i2} 30
  42 test_expr expr-1.2 {i1=10, i2=20} {i1-i2} -10
  43 test_expr expr-1.3 {i1=10, i2=20} {i1*i2} 200
  44 test_expr expr-1.4 {i1=10, i2=20} {i1/i2} 0
  45 test_expr expr-1.5 {i1=10, i2=20} {i2/i1} 2
  46 test_expr expr-1.6 {i1=10, i2=20} {i2<i1} 0
  47 test_expr expr-1.7 {i1=10, i2=20} {i2<=i1} 0
  48 test_expr expr-1.8 {i1=10, i2=20} {i2>i1} 1
  49 test_expr expr-1.9 {i1=10, i2=20} {i2>=i1} 1
  50 test_expr expr-1.10 {i1=10, i2=20} {i2!=i1} 1
  51 test_expr expr-1.11 {i1=10, i2=20} {i2=i1} 0
  52 test_expr expr-1.12 {i1=10, i2=20} {i2<>i1} 1
  53 test_expr expr-1.13 {i1=10, i2=20} {i2==i1} 0
  54 test_expr expr-1.14 {i1=20, i2=20} {i2<i1} 0
  55 test_expr expr-1.15 {i1=20, i2=20} {i2<=i1} 1
  56 test_expr expr-1.16 {i1=20, i2=20} {i2>i1} 0
  57 test_expr expr-1.17 {i1=20, i2=20} {i2>=i1} 1
  58 test_expr expr-1.18 {i1=20, i2=20} {i2!=i1} 0
  59 test_expr expr-1.19 {i1=20, i2=20} {i2=i1} 1
  60 test_expr expr-1.20 {i1=20, i2=20} {i2<>i1} 0
  61 test_expr expr-1.21 {i1=20, i2=20} {i2==i1} 1
  62 ifcapable floatingpoint {
  63   test_expr expr-1.22 {i1=1, i2=2, r1=3.0} {i1+i2*r1} {7.0}
  64   test_expr expr-1.23 {i1=1, i2=2, r1=3.0} {(i1+i2)*r1} {9.0}
  65 }
  66 test_expr expr-1.24 {i1=1, i2=2} {min(i1,i2,i1+i2,i1-i2)} {-1}
  67 test_expr expr-1.25 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
  68 test_expr expr-1.26 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}
  69 test_expr expr-1.27 {i1=1, i2=2} {i1==1 AND i2=2} {1}
  70 test_expr expr-1.28 {i1=1, i2=2} {i1=2 AND i2=1} {0}
  71 test_expr expr-1.29 {i1=1, i2=2} {i1=1 AND i2=1} {0}
  72 test_expr expr-1.30 {i1=1, i2=2} {i1=2 AND i2=2} {0}
  73 test_expr expr-1.31 {i1=1, i2=2} {i1==1 OR i2=2} {1}
  74 test_expr expr-1.32 {i1=1, i2=2} {i1=2 OR i2=1} {0}
  75 test_expr expr-1.33 {i1=1, i2=2} {i1=1 OR i2=1} {1}
  76 test_expr expr-1.34 {i1=1, i2=2} {i1=2 OR i2=2} {1}
  77 test_expr expr-1.35 {i1=1, i2=2} {i1-i2=-1} {1}
  78 test_expr expr-1.36 {i1=1, i2=0} {not i1} {0}
  79 test_expr expr-1.37 {i1=1, i2=0} {not i2} {1}
  80 test_expr expr-1.38 {i1=1} {-i1} {-1}
  81 test_expr expr-1.39 {i1=1} {+i1} {1}
  82 test_expr expr-1.40 {i1=1, i2=2} {+(i2+i1)} {3}
  83 test_expr expr-1.41 {i1=1, i2=2} {-(i2+i1)} {-3}
  84 test_expr expr-1.42 {i1=1, i2=2} {i1|i2} {3}
  85 test_expr expr-1.42b {i1=1, i2=2} {4|2} {6}
  86 test_expr expr-1.43 {i1=1, i2=2} {i1&i2} {0}
  87 test_expr expr-1.43b {i1=1, i2=2} {4&5} {4}
  88 test_expr expr-1.44 {i1=1} {~i1} {-2}
  89 test_expr expr-1.44b {i1=NULL} {~i1} {{}}
  90 test_expr expr-1.45a {i1=1, i2=3} {i1<<i2} {8}
  91 test_expr expr-1.45b {i1=1, i2=-3} {i1>>i2} {8}
  92 test_expr expr-1.45c {i1=1, i2=0} {i1<<i2} {1}
  93 test_expr expr-1.45d {i1=1, i2=62} {i1<<i2} {4611686018427387904}
  94 test_expr expr-1.45e {i1=1, i2=63} {i1<<i2} {-9223372036854775808}
  95 test_expr expr-1.45f {i1=1, i2=64} {i1<<i2} {0}
  96 test_expr expr-1.45g {i1=32, i2=-9223372036854775808} {i1>>i2} {0}
  97 test_expr expr-1.46a {i1=32, i2=3} {i1>>i2} {4}
  98 test_expr expr-1.46b {i1=32, i2=6} {i1>>i2} {0}
  99 test_expr expr-1.46c {i1=-32, i2=3} {i1>>i2} {-4}
 100 test_expr expr-1.46d {i1=-32, i2=100} {i1>>i2} {-1}
 101 test_expr expr-1.46e {i1=32, i2=-3} {i1>>i2} {256}
 102 test_expr expr-1.47 {i1=9999999999, i2=8888888888} {i1<i2} 0
 103 test_expr expr-1.48 {i1=9999999999, i2=8888888888} {i1=i2} 0
 104 test_expr expr-1.49 {i1=9999999999, i2=8888888888} {i1>i2} 1
 105 test_expr expr-1.50 {i1=99999999999, i2=99999999998} {i1<i2} 0
 106 test_expr expr-1.51 {i1=99999999999, i2=99999999998} {i1=i2} 0
 107 test_expr expr-1.52 {i1=99999999999, i2=99999999998} {i1>i2} 1
 108 test_expr expr-1.53 {i1=099999999999, i2=99999999999} {i1<i2} 0
 109 test_expr expr-1.54 {i1=099999999999, i2=99999999999} {i1=i2} 1
 110 test_expr expr-1.55 {i1=099999999999, i2=99999999999} {i1>i2} 0
 111 test_expr expr-1.56 {i1=25, i2=11} {i1%i2} 3
 112 test_expr expr-1.58 {i1=NULL, i2=1} {coalesce(i1+i2,99)} 99
 113 test_expr expr-1.59 {i1=1, i2=NULL} {coalesce(i1+i2,99)} 99
 114 test_expr expr-1.60 {i1=NULL, i2=NULL} {coalesce(i1+i2,99)} 99
 115 test_expr expr-1.61 {i1=NULL, i2=1} {coalesce(i1-i2,99)} 99
 116 test_expr expr-1.62 {i1=1, i2=NULL} {coalesce(i1-i2,99)} 99
 117 test_expr expr-1.63 {i1=NULL, i2=NULL} {coalesce(i1-i2,99)} 99
 118 test_expr expr-1.64 {i1=NULL, i2=1} {coalesce(i1*i2,99)} 99
 119 test_expr expr-1.65 {i1=1, i2=NULL} {coalesce(i1*i2,99)} 99
 120 test_expr expr-1.66 {i1=NULL, i2=NULL} {coalesce(i1*i2,99)} 99
 121 test_expr expr-1.67 {i1=NULL, i2=1} {coalesce(i1/i2,99)} 99
 122 test_expr expr-1.68 {i1=1, i2=NULL} {coalesce(i1/i2,99)} 99
 123 test_expr expr-1.69 {i1=NULL, i2=NULL} {coalesce(i1/i2,99)} 99
 124 test_expr expr-1.70 {i1=NULL, i2=1} {coalesce(i1<i2,99)} 99
 125 test_expr expr-1.71 {i1=1, i2=NULL} {coalesce(i1>i2,99)} 99
 126 test_expr expr-1.72 {i1=NULL, i2=NULL} {coalesce(i1<=i2,99)} 99
 127 test_expr expr-1.73 {i1=NULL, i2=1} {coalesce(i1>=i2,99)} 99
 128 test_expr expr-1.74 {i1=1, i2=NULL} {coalesce(i1!=i2,99)} 99
 129 test_expr expr-1.75 {i1=NULL, i2=NULL} {coalesce(i1==i2,99)} 99
 130 test_expr expr-1.76 {i1=NULL, i2=NULL} {coalesce(not i1,99)} 99
 131 test_expr expr-1.77 {i1=NULL, i2=NULL} {coalesce(-i1,99)} 99
 132 test_expr expr-1.78 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL AND i2=5,99)} 99
 133 test_expr expr-1.79 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL OR i2=5,99)} 1
 134 test_expr expr-1.80 {i1=NULL, i2=NULL} {coalesce(i1=5 AND i2 IS NULL,99)} 99
 135 test_expr expr-1.81 {i1=NULL, i2=NULL} {coalesce(i1=5 OR i2 IS NULL,99)} 1
 136 test_expr expr-1.82 {i1=NULL, i2=3} {coalesce(min(i1,i2,1),99)} 99
 137 test_expr expr-1.83 {i1=NULL, i2=3} {coalesce(max(i1,i2,1),99)} 99
 138 test_expr expr-1.84 {i1=3, i2=NULL} {coalesce(min(i1,i2,1),99)} 99
 139 test_expr expr-1.85 {i1=3, i2=NULL} {coalesce(max(i1,i2,1),99)} 99
 140 test_expr expr-1.86 {i1=3, i2=8} {5 between i1 and i2} 1
 141 test_expr expr-1.87 {i1=3, i2=8} {5 not between i1 and i2} 0
 142 test_expr expr-1.88 {i1=3, i2=8} {55 between i1 and i2} 0
 143 test_expr expr-1.89 {i1=3, i2=8} {55 not between i1 and i2} 1
 144 test_expr expr-1.90 {i1=3, i2=NULL} {5 between i1 and i2} {{}}
 145 test_expr expr-1.91 {i1=3, i2=NULL} {5 not between i1 and i2} {{}}
 146 test_expr expr-1.92 {i1=3, i2=NULL} {2 between i1 and i2} 0
 147 test_expr expr-1.93 {i1=3, i2=NULL} {2 not between i1 and i2} 1
 148 test_expr expr-1.94 {i1=NULL, i2=8} {2 between i1 and i2} {{}}
 149 test_expr expr-1.95 {i1=NULL, i2=8} {2 not between i1 and i2} {{}}
 150 test_expr expr-1.94 {i1=NULL, i2=8} {55 between i1 and i2} 0
 151 test_expr expr-1.95 {i1=NULL, i2=8} {55 not between i1 and i2} 1
 152 test_expr expr-1.96 {i1=NULL, i2=3} {coalesce(i1<<i2,99)} 99
 153 test_expr expr-1.97 {i1=32, i2=NULL} {coalesce(i1>>i2,99)} 99
 154 test_expr expr-1.98 {i1=NULL, i2=NULL} {coalesce(i1|i2,99)} 99
 155 test_expr expr-1.99 {i1=32, i2=NULL} {coalesce(i1&i2,99)} 99
 156 test_expr expr-1.100 {i1=1, i2=''} {i1=i2} 0
 157 test_expr expr-1.101 {i1=0, i2=''} {i1=i2} 0
 158
 159 # Check for proper handling of 64-bit integer values.
 160 #
 161 if {[working_64bit_int]} {
 162   test_expr expr-1.102 {i1=40, i2=1} {i2<<i1} 1099511627776
 163 }
 164
 165 ifcapable floatingpoint {
 166   test_expr expr-1.103 {i1=0} {(-2147483648.0 % -1)} 0.0
 167   test_expr expr-1.104 {i1=0} {(-9223372036854775808.0 % -1)} 0.0
 168   test_expr expr-1.105 {i1=0} {(-9223372036854775808.0 / -1)>1} 1
 169 }
 170
 171 if {[working_64bit_int]} {
 172   test_realnum_expr expr-1.106 {i1=0} {-9223372036854775808/-1} 9.22337203685478e+18
 173 }
 174
 175 test_expr expr-1.107 {i1=0} {-9223372036854775808%-1} 0
 176 test_expr expr-1.108 {i1=0} {1%0} {{}}
 177 test_expr expr-1.109 {i1=0} {1/0} {{}}
 178
 179 if {[working_64bit_int]} {
 180   test_expr expr-1.110 {i1=0} {-9223372036854775807/-1} 9223372036854775807
 181 }
 182
 183 test_expr expr-1.111 {i1=NULL, i2=8} {i1 IS i2} 0
 184 test_expr expr-1.111b {i1=NULL, i2=8} {i1 IS NOT DISTINCT FROM i2} 0
 185 test_expr expr-1.112 {i1=NULL, i2=NULL} {i1 IS i2} 1
 186 test_expr expr-1.112b {i1=NULL, i2=NULL} {i1 IS NOT DISTINCT FROM i2} 1
 187 test_expr expr-1.113 {i1=6, i2=NULL} {i1 IS i2} 0
 188 test_expr expr-1.113b {i1=6, i2=NULL} {i1 IS NOT DISTINCT FROM i2} 0
 189 test_expr expr-1.114 {i1=6, i2=6} {i1 IS i2} 1
 190 test_expr expr-1.114b {i1=6, i2=6} {i1 IS NOT DISTINCT FROM i2} 1
 191 test_expr expr-1.115 {i1=NULL, i2=8} \
 192   {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no
 193 test_expr expr-1.115b {i1=NULL, i2=8} \
 194   {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no
 195 test_expr expr-1.116 {i1=NULL, i2=NULL} \
 196   {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes
 197 test_expr expr-1.116b {i1=NULL, i2=NULL} \
 198   {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes
 199 test_expr expr-1.117 {i1=6, i2=NULL} \
 200   {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no
 201 test_expr expr-1.117b {i1=6, i2=NULL} \
 202   {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no
 203 test_expr expr-1.118 {i1=8, i2=8} \
 204   {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes
 205 test_expr expr-1.118b {i1=8, i2=8} \
 206   {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes
 207 test_expr expr-1.119 {i1=NULL, i2=8} {i1 IS NOT i2} 1
 208 test_expr expr-1.119b {i1=NULL, i2=8} {i1 IS DISTINCT FROM i2} 1
 209 test_expr expr-1.120 {i1=NULL, i2=NULL} {i1 IS NOT i2} 0
 210 test_expr expr-1.120b {i1=NULL, i2=NULL} {i1 IS DISTINCT FROM i2} 0
 211 test_expr expr-1.121 {i1=6, i2=NULL} {i1 IS NOT i2} 1
 212 test_expr expr-1.121b {i1=6, i2=NULL} {i1 IS DISTINCT FROM i2} 1
 213 test_expr expr-1.122 {i1=6, i2=6} {i1 IS NOT i2} 0
 214 test_expr expr-1.122b {i1=6, i2=6} {i1 IS DISTINCT FROM i2} 0
 215 test_expr expr-1.123 {i1=NULL, i2=8} \
 216   {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes
 217 test_expr expr-1.123b {i1=NULL, i2=8} \
 218   {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes
 219 test_expr expr-1.124 {i1=NULL, i2=NULL} \
 220   {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no
 221 test_expr expr-1.124b {i1=NULL, i2=NULL} \
 222   {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no
 223 test_expr expr-1.125 {i1=6, i2=NULL} \
 224   {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes
 225 test_expr expr-1.125b {i1=6, i2=NULL} \
 226   {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes
 227 test_expr expr-1.126 {i1=8, i2=8} \
 228   {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no
 229 test_expr expr-1.126b {i1=8, i2=8} \
 230   {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no
 231
 232 do_catchsql_test expr-1.127 {
 233   SELECT 1 IS #1;
 234 } {1 {near "#1": syntax error}}
 235
 236 ifcapable floatingpoint {if {[working_64bit_int]} {
 237   test_expr expr-1.200\
 238       {i1=9223372036854775806, i2=1} {i1+i2}      9223372036854775807
 239   test_realnum_expr expr-1.201\
 240       {i1=9223372036854775806, i2=2} {i1+i2}      9.22337203685478e+18
 241   test_realnum_expr expr-1.202\
 242       {i1=9223372036854775806, i2=100000} {i1+i2} 9.22337203685488e+18
 243   test_realnum_expr expr-1.203\
 244       {i1=9223372036854775807, i2=0} {i1+i2}      9223372036854775807
 245   test_realnum_expr expr-1.204\
 246       {i1=9223372036854775807, i2=1} {i1+i2}      9.22337203685478e+18
 247   test_realnum_expr expr-1.205\
 248       {i2=9223372036854775806, i1=1} {i1+i2}      9223372036854775807
 249   test_realnum_expr expr-1.206\
 250       {i2=9223372036854775806, i1=2} {i1+i2}      9.22337203685478e+18
 251   test_realnum_expr expr-1.207\
 252       {i2=9223372036854775806, i1=100000} {i1+i2} 9.22337203685488e+18
 253   test_realnum_expr expr-1.208\
 254       {i2=9223372036854775807, i1=0} {i1+i2}      9223372036854775807
 255   test_realnum_expr expr-1.209\
 256       {i2=9223372036854775807, i1=1} {i1+i2}      9.22337203685478e+18
 257   test_realnum_expr expr-1.210\
 258       {i1=-9223372036854775807, i2=-1} {i1+i2}    -9223372036854775808
 259   test_realnum_expr expr-1.211\
 260       {i1=-9223372036854775807, i2=-2} {i1+i2}    -9.22337203685478e+18
 261   test_realnum_expr expr-1.212\
 262       {i1=-9223372036854775807, i2=-100000} {i1+i2} -9.22337203685488e+18
 263   test_realnum_expr expr-1.213\
 264       {i1=-9223372036854775808, i2=0} {i1+i2}     -9223372036854775808
 265   test_realnum_expr expr-1.214\
 266       {i1=-9223372036854775808, i2=-1} {i1+i2}    -9.22337203685478e+18
 267   test_realnum_expr expr-1.215\
 268       {i2=-9223372036854775807, i1=-1} {i1+i2}    -9223372036854775808
 269   test_realnum_expr expr-1.216\
 270       {i2=-9223372036854775807, i1=-2} {i1+i2}    -9.22337203685478e+18
 271   test_realnum_expr expr-1.217\
 272       {i2=-9223372036854775807, i1=-100000} {i1+i2} -9.22337203685488e+18
 273   test_realnum_expr expr-1.218\
 274       {i2=-9223372036854775808, i1=0} {i1+i2}     -9223372036854775808
 275   test_realnum_expr expr-1.219\
 276       {i2=-9223372036854775808, i1=-1} {i1+i2}    -9.22337203685478e+18
 277   test_realnum_expr expr-1.220\
 278       {i1=9223372036854775806, i2=-1} {i1-i2}     9223372036854775807
 279   test_realnum_expr expr-1.221\
 280       {i1=9223372036854775806, i2=-2} {i1-i2}      9.22337203685478e+18
 281   test_realnum_expr expr-1.222\
 282       {i1=9223372036854775806, i2=-100000} {i1-i2} 9.22337203685488e+18
 283   test_realnum_expr expr-1.223\
 284       {i1=9223372036854775807, i2=0} {i1-i2}      9223372036854775807
 285   test_realnum_expr expr-1.224\
 286       {i1=9223372036854775807, i2=-1} {i1-i2}      9.22337203685478e+18
 287   test_realnum_expr expr-1.225\
 288       {i2=-9223372036854775806, i1=1} {i1-i2}      9223372036854775807
 289   test_realnum_expr expr-1.226\
 290       {i2=-9223372036854775806, i1=2} {i1-i2}      9.22337203685478e+18
 291   test_realnum_expr expr-1.227\
 292       {i2=-9223372036854775806, i1=100000} {i1-i2} 9.22337203685488e+18
 293   test_realnum_expr expr-1.228\
 294       {i2=-9223372036854775807, i1=0} {i1-i2}      9223372036854775807
 295   test_realnum_expr expr-1.229\
 296       {i2=-9223372036854775807, i1=1} {i1-i2}      9.22337203685478e+18
 297   test_realnum_expr expr-1.230\
 298       {i1=-9223372036854775807, i2=1} {i1-i2}    -9223372036854775808
 299   test_realnum_expr expr-1.231\
 300       {i1=-9223372036854775807, i2=2} {i1-i2}    -9.22337203685478e+18
 301   test_realnum_expr expr-1.232\
 302       {i1=-9223372036854775807, i2=100000} {i1-i2} -9.22337203685488e+18
 303   test_realnum_expr expr-1.233\
 304       {i1=-9223372036854775808, i2=0} {i1-i2}     -9223372036854775808
 305   test_realnum_expr expr-1.234\
 306       {i1=-9223372036854775808, i2=1} {i1-i2}    -9.22337203685478e+18
 307   test_realnum_expr expr-1.235\
 308       {i2=9223372036854775807, i1=-1} {i1-i2}    -9223372036854775808
 309   test_realnum_expr expr-1.236\
 310       {i2=9223372036854775807, i1=-2} {i1-i2}    -9.22337203685478e+18
 311   test_realnum_expr expr-1.237\
 312       {i2=9223372036854775807, i1=-100000} {i1-i2} -9.22337203685488e+18
 313   test_realnum_expr expr-1.238\
 314       {i2=9223372036854775807, i1=0} {i1-i2}     -9223372036854775807
 315   test_realnum_expr expr-1.239\
 316       {i2=9223372036854775807, i1=-1} {i1-i2}    -9223372036854775808
 317
 318   test_realnum_expr expr-1.250\
 319       {i1=4294967296, i2=2147483648} {i1*i2}      9.22337203685478e+18
 320   test_realnum_expr expr-1.251\
 321       {i1=4294967296, i2=2147483647} {i1*i2}      9223372032559808512
 322   test_realnum_expr expr-1.252\
 323       {i1=-4294967296, i2=2147483648} {i1*i2}     -9223372036854775808
 324   test_realnum_expr expr-1.253\
 325       {i1=-4294967296, i2=2147483647} {i1*i2}     -9223372032559808512
 326   test_realnum_expr expr-1.254\
 327       {i1=4294967296, i2=-2147483648} {i1*i2}     -9223372036854775808
 328   test_realnum_expr expr-1.255\
 329       {i1=4294967296, i2=-2147483647} {i1*i2}     -9223372032559808512
 330   test_realnum_expr expr-1.256\
 331       {i1=-4294967296, i2=-2147483648} {i1*i2}    9.22337203685478e+18
 332   test_realnum_expr expr-1.257\
 333       {i1=-4294967296, i2=-2147483647} {i1*i2}    9223372032559808512
 334
 335   test_realnum_expr expr-1.260\
 336       {i1=3037000500, i2=3037000500} {i1*i2}      9.22337203700025e+18
 337   test_realnum_expr expr-1.261\
 338       {i1=3037000500, i2=-3037000500} {i1*i2}     -9.22337203700025e+18
 339   test_realnum_expr expr-1.262\
 340       {i1=-3037000500, i2=3037000500} {i1*i2}     -9.22337203700025e+18
 341   test_realnum_expr expr-1.263\
 342       {i1=-3037000500, i2=-3037000500} {i1*i2}    9.22337203700025e+18
 343
 344   test_realnum_expr expr-1.264\
 345       {i1=3037000500, i2=3037000499} {i1*i2}      9223372033963249500
 346   test_realnum_expr expr-1.265\
 347       {i1=3037000500, i2=-3037000499} {i1*i2}     -9223372033963249500
 348   test_realnum_expr expr-1.266\
 349       {i1=-3037000500, i2=3037000499} {i1*i2}     -9223372033963249500
 350   test_realnum_expr expr-1.267\
 351       {i1=-3037000500, i2=-3037000499} {i1*i2}    9223372033963249500
 352
 353   test_realnum_expr expr-1.268\
 354       {i1=3037000499, i2=3037000500} {i1*i2}      9223372033963249500
 355   test_realnum_expr expr-1.269\
 356       {i1=3037000499, i2=-3037000500} {i1*i2}     -9223372033963249500
 357   test_realnum_expr expr-1.270\
 358       {i1=-3037000499, i2=3037000500} {i1*i2}     -9223372033963249500
 359   test_realnum_expr expr-1.271\
 360       {i1=-3037000499, i2=-3037000500} {i1*i2}    9223372033963249500
 361
 362 }}
 363
 364 ifcapable floatingpoint {
 365   test_expr expr-2.1 {r1=1.23, r2=2.34} {r1+r2} 3.57
 366   test_expr expr-2.2 {r1=1.23, r2=2.34} {r1-r2} -1.11
 367   test_expr expr-2.3 {r1=1.23, r2=2.34} {r1*r2} 2.8782
 368 }
 369 set tcl_precision 15
 370 ifcapable floatingpoint {
 371   test_expr expr-2.4 {r1=1.23, r2=2.34} {r1/r2} 0.525641025641026
 372   test_expr expr-2.5 {r1=1.23, r2=2.34} {r2/r1} 1.90243902439024
 373   test_expr expr-2.6 {r1=1.23, r2=2.34} {r2<r1} 0
 374   test_expr expr-2.7 {r1=1.23, r2=2.34} {r2<=r1} 0
 375   test_expr expr-2.8 {r1=1.23, r2=2.34} {r2>r1} 1
 376   test_expr expr-2.9 {r1=1.23, r2=2.34} {r2>=r1} 1
 377   test_expr expr-2.10 {r1=1.23, r2=2.34} {r2!=r1} 1
 378   test_expr expr-2.11 {r1=1.23, r2=2.34} {r2=r1} 0
 379   test_expr expr-2.12 {r1=1.23, r2=2.34} {r2<>r1} 1
 380   test_expr expr-2.13 {r1=1.23, r2=2.34} {r2==r1} 0
 381   test_expr expr-2.14 {r1=2.34, r2=2.34} {r2<r1} 0
 382   test_expr expr-2.15 {r1=2.34, r2=2.34} {r2<=r1} 1
 383   test_expr expr-2.16 {r1=2.34, r2=2.34} {r2>r1} 0
 384   test_expr expr-2.17 {r1=2.34, r2=2.34} {r2>=r1} 1
 385   test_expr expr-2.18 {r1=2.34, r2=2.34} {r2!=r1} 0
 386   test_expr expr-2.19 {r1=2.34, r2=2.34} {r2=r1} 1
 387   test_expr expr-2.20 {r1=2.34, r2=2.34} {r2<>r1} 0
 388   test_expr expr-2.21 {r1=2.34, r2=2.34} {r2==r1} 1
 389   test_expr expr-2.22 {r1=1.23, r2=2.34} {min(r1,r2,r1+r2,r1-r2)} {-1.11}
 390   test_expr expr-2.23 {r1=1.23, r2=2.34} {max(r1,r2,r1+r2,r1-r2)} {3.57}
 391   test_expr expr-2.24 {r1=25.0, r2=11.0} {r1%r2} 3.0
 392   test_expr expr-2.25 {r1=1.23, r2=NULL} {coalesce(r1+r2,99.0)} 99.0
 393   test_expr expr-2.26 {r1=1e300, r2=1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0
 394   test_expr expr-2.26b {r1=1e300, r2=-1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0
 395   test_expr expr-2.27 {r1=1.1, r2=0.0} {r1/r2} {{}}
 396   test_expr expr-2.28 {r1=1.1, r2=0.0} {r1%r2} {{}}
 397 }
 398
 399 test_expr expr-3.1 {t1='abc', t2='xyz'} {t1<t2} 1
 400 test_expr expr-3.2 {t1='xyz', t2='abc'} {t1<t2} 0
 401 test_expr expr-3.3 {t1='abc', t2='abc'} {t1<t2} 0
 402 test_expr expr-3.4 {t1='abc', t2='xyz'} {t1<=t2} 1
 403 test_expr expr-3.5 {t1='xyz', t2='abc'} {t1<=t2} 0
 404 test_expr expr-3.6 {t1='abc', t2='abc'} {t1<=t2} 1
 405 test_expr expr-3.7 {t1='abc', t2='xyz'} {t1>t2} 0
 406 test_expr expr-3.8 {t1='xyz', t2='abc'} {t1>t2} 1
 407 test_expr expr-3.9 {t1='abc', t2='abc'} {t1>t2} 0
 408 test_expr expr-3.10 {t1='abc', t2='xyz'} {t1>=t2} 0
 409 test_expr expr-3.11 {t1='xyz', t2='abc'} {t1>=t2} 1
 410 test_expr expr-3.12 {t1='abc', t2='abc'} {t1>=t2} 1
 411 test_expr expr-3.13 {t1='abc', t2='xyz'} {t1=t2} 0
 412 test_expr expr-3.14 {t1='xyz', t2='abc'} {t1=t2} 0
 413 test_expr expr-3.15 {t1='abc', t2='abc'} {t1=t2} 1
 414 test_expr expr-3.16 {t1='abc', t2='xyz'} {t1==t2} 0
 415 test_expr expr-3.17 {t1='xyz', t2='abc'} {t1==t2} 0
 416 test_expr expr-3.18 {t1='abc', t2='abc'} {t1==t2} 1
 417 test_expr expr-3.19 {t1='abc', t2='xyz'} {t1<>t2} 1
 418 test_expr expr-3.20 {t1='xyz', t2='abc'} {t1<>t2} 1
 419 test_expr expr-3.21 {t1='abc', t2='abc'} {t1<>t2} 0
 420 test_expr expr-3.22 {t1='abc', t2='xyz'} {t1!=t2} 1
 421 test_expr expr-3.23 {t1='xyz', t2='abc'} {t1!=t2} 1
 422 test_expr expr-3.24 {t1='abc', t2='abc'} {t1!=t2} 0
 423 test_expr expr-3.25 {t1=NULL, t2='hi'} {t1 isnull} 1
 424 test_expr expr-3.25b {t1=NULL, t2='hi'} {t1 is null} 1
 425 test_expr expr-3.26 {t1=NULL, t2='hi'} {t2 isnull} 0
 426 test_expr expr-3.27 {t1=NULL, t2='hi'} {t1 notnull} 0
 427 test_expr expr-3.28 {t1=NULL, t2='hi'} {t2 notnull} 1
 428 test_expr expr-3.28b {t1=NULL, t2='hi'} {t2 is not null} 1
 429 test_expr expr-3.29 {t1='xyz', t2='abc'} {t1||t2} {xyzabc}
 430 test_expr expr-3.30 {t1=NULL, t2='abc'} {t1||t2} {{}}
 431 test_expr expr-3.31 {t1='xyz', t2=NULL} {t1||t2} {{}}
 432 test_expr expr-3.32 {t1='xyz', t2='abc'} {t1||' hi '||t2} {{xyz hi abc}}
 433 test_expr epxr-3.33 {t1='abc', t2=NULL} {coalesce(t1<t2,99)} 99
 434 test_expr epxr-3.34 {t1='abc', t2=NULL} {coalesce(t2<t1,99)} 99
 435 test_expr epxr-3.35 {t1='abc', t2=NULL} {coalesce(t1>t2,99)} 99
 436 test_expr epxr-3.36 {t1='abc', t2=NULL} {coalesce(t2>t1,99)} 99
 437 test_expr epxr-3.37 {t1='abc', t2=NULL} {coalesce(t1<=t2,99)} 99
 438 test_expr epxr-3.38 {t1='abc', t2=NULL} {coalesce(t2<=t1,99)} 99
 439 test_expr epxr-3.39 {t1='abc', t2=NULL} {coalesce(t1>=t2,99)} 99
 440 test_expr epxr-3.40 {t1='abc', t2=NULL} {coalesce(t2>=t1,99)} 99
 441 test_expr epxr-3.41 {t1='abc', t2=NULL} {coalesce(t1==t2,99)} 99
 442 test_expr epxr-3.42 {t1='abc', t2=NULL} {coalesce(t2==t1,99)} 99
 443 test_expr epxr-3.43 {t1='abc', t2=NULL} {coalesce(t1!=t2,99)} 99
 444 test_expr epxr-3.44 {t1='abc', t2=NULL} {coalesce(t2!=t1,99)} 99
 445
 446 test_expr expr-4.1 {t1='abc', t2='Abc'} {t1<t2} 0
 447 test_expr expr-4.2 {t1='abc', t2='Abc'} {t1>t2} 1
 448 test_expr expr-4.3 {t1='abc', t2='Bbc'} {t1<t2} 0
 449 test_expr expr-4.4 {t1='abc', t2='Bbc'} {t1>t2} 1
 450 test_expr expr-4.5 {t1='0', t2='0.0'} {t1==t2} 0
 451 test_expr expr-4.6 {t1='0.000', t2='0.0'} {t1==t2} 0
 452 test_expr expr-4.7 {t1=' 0.000', t2=' 0.0'} {t1==t2} 0
 453 test_expr expr-4.8 {t1='0.0', t2='abc'} {t1<t2} 1
 454 test_expr expr-4.9 {t1='0.0', t2='abc'} {t1==t2} 0
 455
 456 ifcapable floatingpoint {
 457   test_expr expr-4.10 {r1='0.0', r2='abc'} {r1>r2} 0
 458   test_expr expr-4.11 {r1='abc', r2='Abc'} {r1<r2} 0
 459   test_expr expr-4.12 {r1='abc', r2='Abc'} {r1>r2} 1
 460   test_expr expr-4.13 {r1='abc', r2='Bbc'} {r1<r2} 0
 461   test_expr expr-4.14 {r1='abc', r2='Bbc'} {r1>r2} 1
 462   test_expr expr-4.15 {r1='0', r2='0.0'} {r1==r2} 1
 463   test_expr expr-4.16 {r1='0.000', r2='0.0'} {r1==r2} 1
 464   test_expr expr-4.17 {r1=' 0.000', r2=' 0.0'} {r1==r2} 1
 465   test_expr expr-4.18 {r1='0.0', r2='abc'} {r1<r2} 1
 466   test_expr expr-4.19 {r1='0.0', r2='abc'} {r1==r2} 0
 467   test_expr expr-4.20 {r1='0.0', r2='abc'} {r1>r2} 0
 468 }
 469
 470 # CSL is true if LIKE is case sensitive and false if not.
 471 # NCSL is the opposite.  Use these variables as the result
 472 # on operations where case makes a difference.
 473 set CSL $sqlite_options(casesensitivelike)
 474 set NCSL [expr {!$CSL}]
 475
 476 test_expr expr-5.1 {t1='abc', t2='xyz'} {t1 LIKE t2} 0
 477 test_expr expr-5.2a {t1='abc', t2='abc'} {t1 LIKE t2} 1
 478 test_expr expr-5.2b {t1='abc', t2='ABC'} {t1 LIKE t2} $NCSL
 479 test_expr expr-5.3a {t1='abc', t2='a_c'} {t1 LIKE t2} 1
 480 test_expr expr-5.3b {t1='abc', t2='A_C'} {t1 LIKE t2} $NCSL
 481 test_expr expr-5.4 {t1='abc', t2='abc_'} {t1 LIKE t2} 0
 482 test_expr expr-5.5a {t1='abc', t2='a%c'} {t1 LIKE t2} 1
 483 test_expr expr-5.5b {t1='abc', t2='A%C'} {t1 LIKE t2} $NCSL
 484 test_expr expr-5.5c {t1='abdc', t2='a%c'} {t1 LIKE t2} 1
 485 test_expr expr-5.5d {t1='ac', t2='a%c'} {t1 LIKE t2} 1
 486 test_expr expr-5.5e {t1='ac', t2='A%C'} {t1 LIKE t2} $NCSL
 487 test_expr expr-5.6a {t1='abxyzzyc', t2='a%c'} {t1 LIKE t2} 1
 488 test_expr expr-5.6b {t1='abxyzzyc', t2='A%C'} {t1 LIKE t2} $NCSL
 489 test_expr expr-5.7a {t1='abxyzzy', t2='a%c'} {t1 LIKE t2} 0
 490 test_expr expr-5.7b {t1='abxyzzy', t2='A%C'} {t1 LIKE t2} 0
 491 test_expr expr-5.8a {t1='abxyzzycx', t2='a%c'} {t1 LIKE t2} 0
 492 test_expr expr-5.8b {t1='abxyzzycy', t2='a%cx'} {t1 LIKE t2} 0
 493 test_expr expr-5.8c {t1='abxyzzycx', t2='A%C'} {t1 LIKE t2} 0
 494 test_expr expr-5.8d {t1='abxyzzycy', t2='A%CX'} {t1 LIKE t2} 0
 495 test_expr expr-5.9a {t1='abc', t2='a%_c'} {t1 LIKE t2} 1
 496 test_expr expr-5.9b {t1='ac', t2='a%_c'} {t1 LIKE t2} 0
 497 test_expr expr-5.9c {t1='abc', t2='A%_C'} {t1 LIKE t2} $NCSL
 498 test_expr expr-5.9d {t1='ac', t2='A%_C'} {t1 LIKE t2} 0
 499 test_expr expr-5.10a {t1='abxyzzyc', t2='a%_c'} {t1 LIKE t2} 1
 500 test_expr expr-5.10b {t1='abxyzzyc', t2='A%_C'} {t1 LIKE t2} $NCSL
 501 test_expr expr-5.11 {t1='abc', t2='xyz'} {t1 NOT LIKE t2} 1
 502 test_expr expr-5.12a {t1='abc', t2='abc'} {t1 NOT LIKE t2} 0
 503 test_expr expr-5.12b {t1='abc', t2='ABC'} {t1 NOT LIKE t2} $CSL
 504 test_expr expr-5.13  {t1='A'}  {t1 LIKE 'A%_'} 0
 505 test_expr expr-5.14  {t1='AB'} {t1 LIKE 'A%b' ESCAPE 'b'} 0
 506
 507 # The following tests only work on versions of TCL that support Unicode
 508 #
 509 if {"\u1234"!="u1234"} {
 510   test_expr expr-5.13a "t1='a\u0080c', t2='a_c'" {t1 LIKE t2} 1
 511   test_expr expr-5.13b "t1='a\u0080c', t2='A_C'" {t1 LIKE t2} $NCSL
 512   test_expr expr-5.14a "t1='a\u07FFc', t2='a_c'" {t1 LIKE t2} 1
 513   test_expr expr-5.14b "t1='a\u07FFc', t2='A_C'" {t1 LIKE t2} $NCSL
 514   test_expr expr-5.15a "t1='a\u0800c', t2='a_c'" {t1 LIKE t2} 1
 515   test_expr expr-5.15b "t1='a\u0800c', t2='A_C'" {t1 LIKE t2} $NCSL
 516   test_expr expr-5.16a "t1='a\uFFFFc', t2='a_c'" {t1 LIKE t2} 1
 517   test_expr expr-5.16b "t1='a\uFFFFc', t2='A_C'" {t1 LIKE t2} $NCSL
 518   test_expr expr-5.17 "t1='a\u0080', t2='A__'" {t1 LIKE t2} 0
 519   test_expr expr-5.18 "t1='a\u07FF', t2='A__'" {t1 LIKE t2} 0
 520   test_expr expr-5.19 "t1='a\u0800', t2='A__'" {t1 LIKE t2} 0
 521   test_expr expr-5.20 "t1='a\uFFFF', t2='A__'" {t1 LIKE t2} 0
 522   test_expr expr-5.21a "t1='ax\uABCD', t2='a_\uABCD'" {t1 LIKE t2} 1
 523   test_expr expr-5.21b "t1='ax\uABCD', t2='A_\uABCD'" {t1 LIKE t2} $NCSL
 524   test_expr expr-5.22a "t1='ax\u1234', t2='a%\u1234'" {t1 LIKE t2} 1
 525   test_expr expr-5.22b "t1='ax\u1234', t2='A%\u1234'" {t1 LIKE t2} $NCSL
 526   test_expr expr-5.23a "t1='ax\uFEDC', t2='a_%'" {t1 LIKE t2} 1
 527   test_expr expr-5.23b "t1='ax\uFEDC', t2='A_%'" {t1 LIKE t2} $NCSL
 528   test_expr expr-5.24a "t1='ax\uFEDCy\uFEDC', t2='a%\uFEDC'" {t1 LIKE t2} 1
 529   test_expr expr-5.24b "t1='ax\uFEDCy\uFEDC', t2='A%\uFEDC'" {t1 LIKE t2} $NCSL
 530 }
 531
 532 test_expr expr-5.54 {t1='abc', t2=NULL} {t1 LIKE t2} {{}}
 533 test_expr expr-5.55 {t1='abc', t2=NULL} {t1 NOT LIKE t2} {{}}
 534 test_expr expr-5.56 {t1='abc', t2=NULL} {t2 LIKE t1} {{}}
 535 test_expr expr-5.57 {t1='abc', t2=NULL} {t2 NOT LIKE t1} {{}}
 536
 537 # LIKE expressions that use ESCAPE characters.
 538 test_expr expr-5.58a {t1='abc', t2='a_c'}   {t1 LIKE t2 ESCAPE '7'} 1
 539 test_expr expr-5.58b {t1='abc', t2='A_C'}   {t1 LIKE t2 ESCAPE '7'} $NCSL
 540 test_expr expr-5.59a {t1='a_c', t2='a7_c'}  {t1 LIKE t2 ESCAPE '7'} 1
 541 test_expr expr-5.59b {t1='a_c', t2='A7_C'}  {t1 LIKE t2 ESCAPE '7'} $NCSL
 542 test_expr expr-5.60a {t1='abc', t2='a7_c'}  {t1 LIKE t2 ESCAPE '7'} 0
 543 test_expr expr-5.60b {t1='abc', t2='A7_C'}  {t1 LIKE t2 ESCAPE '7'} 0
 544 test_expr expr-5.61a {t1='a7Xc', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 0
 545 test_expr expr-5.61b {t1='a7Xc', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} 0
 546 test_expr expr-5.62a {t1='abcde', t2='a%e'} {t1 LIKE t2 ESCAPE '7'} 1
 547 test_expr expr-5.62b {t1='abcde', t2='A%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL
 548 test_expr expr-5.63a {t1='abcde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0
 549 test_expr expr-5.63b {t1='abcde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0
 550 test_expr expr-5.64a {t1='a7cde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0
 551 test_expr expr-5.64b {t1='a7cde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0
 552 test_expr expr-5.65a {t1='a7cde', t2='a77%e'} {t1 LIKE t2 ESCAPE '7'} 1
 553 test_expr expr-5.65b {t1='a7cde', t2='A77%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL
 554 test_expr expr-5.66a {t1='abc7', t2='a%77'} {t1 LIKE t2 ESCAPE '7'} 1
 555 test_expr expr-5.66b {t1='abc7', t2='A%77'} {t1 LIKE t2 ESCAPE '7'} $NCSL
 556 test_expr expr-5.67a {t1='abc_', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 1
 557 test_expr expr-5.67b {t1='abc_', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} $NCSL
 558 test_expr expr-5.68a {t1='abc7', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 0
 559 test_expr expr-5.68b {t1='abc7', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} 0
 560
 561 # These are the same test as the block above, but using a multi-byte
 562 # character as the escape character.
 563 if {"\u1234"!="u1234"} {
 564   test_expr expr-5.69a "t1='abc', t2='a_c'" \
 565       "t1 LIKE t2 ESCAPE '\u1234'" 1
 566   test_expr expr-5.69b "t1='abc', t2='A_C'" \
 567       "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
 568   test_expr expr-5.70a "t1='a_c', t2='a\u1234_c'" \
 569       "t1 LIKE t2 ESCAPE '\u1234'" 1
 570   test_expr expr-5.70b "t1='a_c', t2='A\u1234_C'" \
 571       "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
 572   test_expr expr-5.71a "t1='abc', t2='a\u1234_c'" \
 573        "t1 LIKE t2 ESCAPE '\u1234'" 0
 574   test_expr expr-5.71b "t1='abc', t2='A\u1234_C'" \
 575        "t1 LIKE t2 ESCAPE '\u1234'" 0
 576   test_expr expr-5.72a "t1='a\u1234Xc', t2='a\u1234_c'" \
 577       "t1 LIKE t2 ESCAPE '\u1234'" 0
 578   test_expr expr-5.72b "t1='a\u1234Xc', t2='A\u1234_C'" \
 579       "t1 LIKE t2 ESCAPE '\u1234'" 0
 580   test_expr expr-5.73a "t1='abcde', t2='a%e'" \
 581       "t1 LIKE t2 ESCAPE '\u1234'" 1
 582   test_expr expr-5.73b "t1='abcde', t2='A%E'" \
 583       "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
 584   test_expr expr-5.74a "t1='abcde', t2='a\u1234%e'" \
 585       "t1 LIKE t2 ESCAPE '\u1234'" 0
 586   test_expr expr-5.74b "t1='abcde', t2='A\u1234%E'" \
 587       "t1 LIKE t2 ESCAPE '\u1234'" 0
 588   test_expr expr-5.75a "t1='a\u1234cde', t2='a\u1234%e'" \
 589       "t1 LIKE t2 ESCAPE '\u1234'" 0
 590   test_expr expr-5.75b "t1='a\u1234cde', t2='A\u1234%E'" \
 591       "t1 LIKE t2 ESCAPE '\u1234'" 0
 592   test_expr expr-5.76a "t1='a\u1234cde', t2='a\u1234\u1234%e'" \
 593       "t1 LIKE t2 ESCAPE '\u1234'" 1
 594   test_expr expr-5.76b "t1='a\u1234cde', t2='A\u1234\u1234%E'" \
 595       "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
 596   test_expr expr-5.77a "t1='abc\u1234', t2='a%\u1234\u1234'" \
 597       "t1 LIKE t2 ESCAPE '\u1234'" 1
 598   test_expr expr-5.77b "t1='abc\u1234', t2='A%\u1234\u1234'" \
 599       "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
 600   test_expr expr-5.78a "t1='abc_', t2='a%\u1234_'" \
 601       "t1 LIKE t2 ESCAPE '\u1234'" 1
 602   test_expr expr-5.78b "t1='abc_', t2='A%\u1234_'" \
 603       "t1 LIKE t2 ESCAPE '\u1234'" $NCSL
 604   test_expr expr-5.79a "t1='abc\u1234', t2='a%\u1234_'" \
 605       "t1 LIKE t2 ESCAPE '\u1234'" 0
 606   test_expr expr-5.79b "t1='abc\u1234', t2='A%\u1234_'" \
 607       "t1 LIKE t2 ESCAPE '\u1234'" 0
 608 }
 609
 610 test_expr expr-6.1 {t1='abc', t2='xyz'} {t1 GLOB t2} 0
 611 test_expr expr-6.2 {t1='abc', t2='ABC'} {t1 GLOB t2} 0
 612 test_expr expr-6.3 {t1='abc', t2='A?C'} {t1 GLOB t2} 0
 613 test_expr expr-6.4 {t1='abc', t2='a?c'} {t1 GLOB t2} 1
 614 test_expr expr-6.5 {t1='abc', t2='abc?'} {t1 GLOB t2} 0
 615 test_expr expr-6.6 {t1='abc', t2='A*C'} {t1 GLOB t2} 0
 616 test_expr expr-6.7 {t1='abc', t2='a*c'} {t1 GLOB t2} 1
 617 test_expr expr-6.8 {t1='abxyzzyc', t2='a*c'} {t1 GLOB t2} 1
 618 test_expr expr-6.9 {t1='abxyzzy', t2='a*c'} {t1 GLOB t2} 0
 619 test_expr expr-6.10 {t1='abxyzzycx', t2='a*c'} {t1 GLOB t2} 0
 620 test_expr expr-6.11 {t1='abc', t2='xyz'} {t1 NOT GLOB t2} 1
 621 test_expr expr-6.12 {t1='abc', t2='abc'} {t1 NOT GLOB t2} 0
 622 test_expr expr-6.13 {t1='abc', t2='a[bx]c'} {t1 GLOB t2} 1
 623 test_expr expr-6.14 {t1='abc', t2='a[cx]c'} {t1 GLOB t2} 0
 624 test_expr expr-6.15 {t1='abc', t2='a[a-d]c'} {t1 GLOB t2} 1
 625 test_expr expr-6.16 {t1='abc', t2='a[^a-d]c'} {t1 GLOB t2} 0
 626 test_expr expr-6.17 {t1='abc', t2='a[A-Dc]c'} {t1 GLOB t2} 0
 627 test_expr expr-6.18 {t1='abc', t2='a[^A-Dc]c'} {t1 GLOB t2} 1
 628 test_expr expr-6.19 {t1='abc', t2='a[]b]c'} {t1 GLOB t2} 1
 629 test_expr expr-6.20 {t1='abc', t2='a[^]b]c'} {t1 GLOB t2} 0
 630 test_expr expr-6.21a {t1='abcdefg', t2='a*[de]g'} {t1 GLOB t2} 0
 631 test_expr expr-6.21b {t1='abcdefg', t2='a*[df]g'} {t1 GLOB t2} 1
 632 test_expr expr-6.21c {t1='abcdefg', t2='a*[d-h]g'} {t1 GLOB t2} 1
 633 test_expr expr-6.21d {t1='abcdefg', t2='a*[b-e]g'} {t1 GLOB t2} 0
 634 test_expr expr-6.22a {t1='abcdefg', t2='a*[^de]g'} {t1 GLOB t2} 1
 635 test_expr expr-6.22b {t1='abcdefg', t2='a*[^def]g'} {t1 GLOB t2} 0
 636 test_expr expr-6.23 {t1='abcdefg', t2='a*?g'} {t1 GLOB t2} 1
 637 test_expr expr-6.24 {t1='ac', t2='a*c'} {t1 GLOB t2} 1
 638 test_expr expr-6.25 {t1='ac', t2='a*?c'} {t1 GLOB t2} 0
 639 test_expr expr-6.26 {t1='a*c', t2='a[*]c'} {t1 GLOB t2} 1
 640 test_expr expr-6.27 {t1='a?c', t2='a[?]c'} {t1 GLOB t2} 1
 641 test_expr expr-6.28 {t1='a[c', t2='a[[]c'} {t1 GLOB t2} 1
 642
 643
 644 # These tests only work on versions of TCL that support Unicode
 645 #
 646 if {"\u1234"!="u1234"} {
 647   test_expr expr-6.26 "t1='a\u0080c', t2='a?c'" {t1 GLOB t2} 1
 648   test_expr expr-6.27 "t1='a\u07ffc', t2='a?c'" {t1 GLOB t2} 1
 649   test_expr expr-6.28 "t1='a\u0800c', t2='a?c'" {t1 GLOB t2} 1
 650   test_expr expr-6.29 "t1='a\uffffc', t2='a?c'" {t1 GLOB t2} 1
 651   test_expr expr-6.30 "t1='a\u1234', t2='a?'" {t1 GLOB t2} 1
 652   test_expr expr-6.31 "t1='a\u1234', t2='a??'" {t1 GLOB t2} 0
 653   test_expr expr-6.32 "t1='ax\u1234', t2='a?\u1234'" {t1 GLOB t2} 1
 654   test_expr expr-6.33 "t1='ax\u1234', t2='a*\u1234'" {t1 GLOB t2} 1
 655   test_expr expr-6.34 "t1='ax\u1234y\u1234', t2='a*\u1234'" {t1 GLOB t2} 1
 656   test_expr expr-6.35 "t1='a\u1234b', t2='a\[x\u1234y\]b'" {t1 GLOB t2} 1
 657   test_expr expr-6.36 "t1='a\u1234b', t2='a\[\u1233-\u1235\]b'" {t1 GLOB t2} 1
 658   test_expr expr-6.37 "t1='a\u1234b', t2='a\[\u1234-\u124f\]b'" {t1 GLOB t2} 1
 659   test_expr expr-6.38 "t1='a\u1234b', t2='a\[\u1235-\u124f\]b'" {t1 GLOB t2} 0
 660   test_expr expr-6.39 "t1='a\u1234b', t2='a\[a-\u1235\]b'" {t1 GLOB t2} 1
 661   test_expr expr-6.40 "t1='a\u1234b', t2='a\[a-\u1234\]b'" {t1 GLOB t2} 1
 662   test_expr expr-6.41 "t1='a\u1234b', t2='a\[a-\u1233\]b'" {t1 GLOB t2} 0
 663 }
 664
 665 test_expr expr-6.51 {t1='ABC', t2='xyz'} {t1 GLOB t2} 0
 666 test_expr expr-6.52 {t1='ABC', t2='abc'} {t1 GLOB t2} 0
 667 test_expr expr-6.53 {t1='ABC', t2='a?c'} {t1 GLOB t2} 0
 668 test_expr expr-6.54 {t1='ABC', t2='A?C'} {t1 GLOB t2} 1
 669 test_expr expr-6.55 {t1='ABC', t2='abc?'} {t1 GLOB t2} 0
 670 test_expr expr-6.56 {t1='ABC', t2='a*c'} {t1 GLOB t2} 0
 671 test_expr expr-6.57 {t1='ABC', t2='A*C'} {t1 GLOB t2} 1
 672 test_expr expr-6.58 {t1='ABxyzzyC', t2='A*C'} {t1 GLOB t2} 1
 673 test_expr expr-6.59 {t1='ABxyzzy', t2='A*C'} {t1 GLOB t2} 0
 674 test_expr expr-6.60 {t1='ABxyzzyCx', t2='A*C'} {t1 GLOB t2} 0
 675 test_expr expr-6.61 {t1='ABC', t2='xyz'} {t1 NOT GLOB t2} 1
 676 test_expr expr-6.62 {t1='ABC', t2='ABC'} {t1 NOT GLOB t2} 0
 677 test_expr expr-6.63 {t1='ABC', t2='A[Bx]C'} {t1 GLOB t2} 1
 678 test_expr expr-6.64 {t1='ABC', t2='A[Cx]C'} {t1 GLOB t2} 0
 679 test_expr expr-6.65 {t1='ABC', t2='A[A-D]C'} {t1 GLOB t2} 1
 680 test_expr expr-6.66 {t1='ABC', t2='A[^A-D]C'} {t1 GLOB t2} 0
 681 test_expr expr-6.67 {t1='ABC', t2='A[a-dC]C'} {t1 GLOB t2} 0
 682 test_expr expr-6.68 {t1='ABC', t2='A[^a-dC]C'} {t1 GLOB t2} 1
 683 test_expr expr-6.69a {t1='ABC', t2='A[]B]C'} {t1 GLOB t2} 1
 684 test_expr expr-6.69b {t1='A]C', t2='A[]B]C'} {t1 GLOB t2} 1
 685 test_expr expr-6.70a {t1='ABC', t2='A[^]B]C'} {t1 GLOB t2} 0
 686 test_expr expr-6.70b {t1='AxC', t2='A[^]B]C'} {t1 GLOB t2} 1
 687 test_expr expr-6.70c {t1='A]C', t2='A[^]B]C'} {t1 GLOB t2} 0
 688 test_expr expr-6.71 {t1='ABCDEFG', t2='A*[DE]G'} {t1 GLOB t2} 0
 689 test_expr expr-6.72 {t1='ABCDEFG', t2='A*[^DE]G'} {t1 GLOB t2} 1
 690 test_expr expr-6.73 {t1='ABCDEFG', t2='A*?G'} {t1 GLOB t2} 1
 691 test_expr expr-6.74 {t1='AC', t2='A*C'} {t1 GLOB t2} 1
 692 test_expr expr-6.75 {t1='AC', t2='A*?C'} {t1 GLOB t2} 0
 693
 694 test_expr expr-6.63 {t1=NULL, t2='a*?c'} {t1 GLOB t2} {{}}
 695 test_expr expr-6.64 {t1='ac', t2=NULL} {t1 GLOB t2} {{}}
 696 test_expr expr-6.65 {t1=NULL, t2='a*?c'} {t1 NOT GLOB t2} {{}}
 697 test_expr expr-6.66 {t1='ac', t2=NULL} {t1 NOT GLOB t2} {{}}
 698
 699 # Check that the affinity of a CAST expression is calculated correctly.
 700 ifcapable cast {
 701   test_expr expr-6.67 {t1='01', t2=1} {t1 = t2} 0
 702   test_expr expr-6.68 {t1='1', t2=1} {t1 = t2} 1
 703   test_expr expr-6.69 {t1='01', t2=1} {CAST(t1 AS INTEGER) = t2} 1
 704 }
 705
 706 test_expr expr-case.1 {i1=1, i2=2} \
 707         {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
 708 test_expr expr-case.2 {i1=2, i2=2} \
 709         {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} eq
 710 test_expr expr-case.3 {i1=NULL, i2=2} \
 711         {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
 712 test_expr expr-case.4 {i1=2, i2=NULL} \
 713         {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne
 714 test_expr expr-case.5 {i1=2} \
 715         {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} two
 716 test_expr expr-case.6 {i1=1} \
 717         {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} one
 718 test_expr expr-case.7 {i1=2} \
 719         {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error
 720 test_expr expr-case.8 {i1=3} \
 721         {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error
 722 test_expr expr-case.9 {i1=3} \
 723         {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} error
 724 test_expr expr-case.10 {i1=3} \
 725         {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' END} {{}}
 726 test_expr expr-case.11 {i1=null} \
 727         {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 3 END} 3
 728 test_expr expr-case.12 {i1=1} \
 729         {CASE i1 WHEN 1 THEN null WHEN 2 THEN 'two' ELSE 3 END} {{}}
 730 test_expr expr-case.13 {i1=7} \
 731         { CASE WHEN i1 < 5 THEN 'low'
 732                WHEN i1 < 10 THEN 'medium'
 733                WHEN i1 < 15 THEN 'high' ELSE 'error' END} medium
 734
 735
 736 # The sqliteExprIfFalse and sqliteExprIfTrue routines are only
 737 # executed as part of a WHERE clause.  Create a table suitable
 738 # for testing these functions.
 739 #
 740 execsql {DROP TABLE test1}
 741 execsql {CREATE TABLE test1(a int, b int);}
 742 for {set i 1} {$i<=20} {incr i} {
 743   execsql "INSERT INTO test1 VALUES($i,[expr {1<<$i}])"
 744 }
 745 execsql "INSERT INTO test1 VALUES(NULL,0)"
 746 do_test expr-7.1 {
 747   execsql {SELECT * FROM test1 ORDER BY a}
 748 } {{} 0 1 2 2 4 3 8 4 16 5 32 6 64 7 128 8 256 9 512 10 1024 11 2048 12 4096 13 8192 14 16384 15 32768 16 65536 17 131072 18 262144 19 524288 20 1048576}
 749
 750 proc test_expr2 {name expr result} {
 751   do_test $name [format {
 752     execsql {SELECT a FROM test1 WHERE %s ORDER BY a}
 753   } $expr] $result
 754 }
 755
 756 test_expr2 expr-7.2  {a<10 AND a>8}                  {9}
 757 test_expr2 expr-7.3  {a<=10 AND a>=8}                {8 9 10}
 758 test_expr2 expr-7.4  {a>=8 AND a<=10}                {8 9 10}
 759 test_expr2 expr-7.5  {a>=20 OR a<=1}                 {1 20}
 760 test_expr2 expr-7.6  {b!=4 AND a<=3}                 {1 3}
 761 test_expr2 expr-7.7  {b==8 OR b==16 OR b==32}        {3 4 5}
 762 test_expr2 expr-7.8  {NOT b<>8 OR b==1024}           {3 10}
 763 test_expr2 expr-7.9  {b LIKE '10%'}                  {10 20}
 764 test_expr2 expr-7.10 {b LIKE '_4'}                   {6}
 765 test_expr2 expr-7.11 {a GLOB '1?'}            {10 11 12 13 14 15 16 17 18 19}
 766 test_expr2 expr-7.12 {b GLOB '1*4'}                  {10 14}
 767 test_expr2 expr-7.13 {b GLOB '*1[456]'}              {4}
 768 test_expr2 expr-7.14 {a ISNULL}                      {{}}
 769 test_expr2 expr-7.15 {a NOTNULL AND a<3}             {1 2}
 770 test_expr2 expr-7.16 {a AND a<3}                     {1 2}
 771 test_expr2 expr-7.17 {NOT a}                         {}
 772 test_expr2 expr-7.18 {a==11 OR (b>1000 AND b<2000)}  {10 11}
 773 test_expr2 expr-7.19 {a<=1 OR a>=20}                 {1 20}
 774 test_expr2 expr-7.20 {a<1 OR a>20}                   {}
 775 test_expr2 expr-7.21 {a>19 OR a<1}                   {20}
 776 test_expr2 expr-7.22 {a!=1 OR a=100} \
 777                          {2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
 778 test_expr2 expr-7.23 {(a notnull AND a<4) OR a==8}   {1 2 3 8}
 779 test_expr2 expr-7.24 {a LIKE '2_' OR a==8}           {8 20}
 780 test_expr2 expr-7.25 {a GLOB '2?' OR a==8}           {8 20}
 781 test_expr2 expr-7.26 {a isnull OR a=8}               {{} 8}
 782 test_expr2 expr-7.27 {a notnull OR a=8} \
 783                           {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
 784 test_expr2 expr-7.28 {a<0 OR b=0} {{}}
 785 test_expr2 expr-7.29 {b=0 OR a<0} {{}}
 786 test_expr2 expr-7.30 {a<0 AND b=0} {}
 787 test_expr2 expr-7.31 {b=0 AND a<0} {}
 788 test_expr2 expr-7.32 {a IS NULL AND (a<0 OR b=0)} {{}}
 789 test_expr2 expr-7.33 {a IS NULL AND (b=0 OR a<0)} {{}}
 790 test_expr2 expr-7.34 {a IS NULL AND (a<0 AND b=0)} {}
 791 test_expr2 expr-7.35 {a IS NULL AND (b=0 AND a<0)} {}
 792 test_expr2 expr-7.32 {(a<0 OR b=0) AND a IS NULL} {{}}
 793 test_expr2 expr-7.33 {(b=0 OR a<0) AND a IS NULL} {{}}
 794 test_expr2 expr-7.34 {(a<0 AND b=0) AND a IS NULL} {}
 795 test_expr2 expr-7.35 {(b=0 AND a<0) AND a IS NULL} {}
 796 test_expr2 expr-7.36 {a<2 OR (a<0 OR b=0)} {{} 1}
 797 test_expr2 expr-7.37 {a<2 OR (b=0 OR a<0)} {{} 1}
 798 test_expr2 expr-7.38 {a<2 OR (a<0 AND b=0)} {1}
 799 test_expr2 expr-7.39 {a<2 OR (b=0 AND a<0)} {1}
 800 ifcapable floatingpoint {
 801   test_expr2 expr-7.40 {((a<2 OR a IS NULL) AND b<3) OR b>1e10} {{} 1}
 802 }
 803 test_expr2 expr-7.41 {a BETWEEN -1 AND 1} {1}
 804 test_expr2 expr-7.42 {a NOT BETWEEN 2 AND 100} {1}
 805 test_expr2 expr-7.43 {(b+1234)||'this is a string that is at least 32 characters long' BETWEEN 1 AND 2} {}
 806 test_expr2 expr-7.44 {123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a BETWEEN '123a' AND '123b'} {}
 807 test_expr2 expr-7.45 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123b')<0} {}
 808 test_expr2 expr-7.46 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123z')>0} {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
 809
 810 test_expr2 expr-7.50 {((a between 1 and 2 OR 0) AND 1) OR 0} {1 2}
 811 test_expr2 expr-7.51 {((a not between 3 and 100 OR 0) AND 1) OR 0} {1 2}
 812
 813 ifcapable subquery {
 814   test_expr2 expr-7.52 {((a in (1,2) OR 0) AND 1) OR 0} {1 2}
 815   test_expr2 expr-7.53 \
 816       {((a not in (3,4,5,6,7,8,9,10) OR 0) AND a<11) OR 0} {1 2}
 817 }
 818 test_expr2 expr-7.54 {((a>0 OR 0) AND a<3) OR 0} {1 2}
 819 ifcapable subquery {
 820   test_expr2 expr-7.55 {((a in (1,2) OR 0) IS NULL AND 1) OR 0} {{}}
 821   test_expr2 expr-7.56 \
 822       {((a not in (3,4,5,6,7,8,9,10) IS NULL OR 0) AND 1) OR 0} {{}}
 823 }
 824 test_expr2 expr-7.57 {((a>0 IS NULL OR 0) AND 1) OR 0} {{}}
 825
 826 test_expr2 expr-7.58  {(a||'')<='1'}                  {1}
 827
 828 test_expr2 expr-7.59 {LIKE('10%',b)}                  {10 20}
 829 test_expr2 expr-7.60 {LIKE('_4',b)}                   {6}
 830 test_expr2 expr-7.61 {GLOB('1?',a)}            {10 11 12 13 14 15 16 17 18 19}
 831 test_expr2 expr-7.62 {GLOB('1*4',b)}                  {10 14}
 832 test_expr2 expr-7.63 {GLOB('*1[456]',b)}              {4}
 833 test_expr2 expr-7.64 {b = abs(-2)}                    {1}
 834 test_expr2 expr-7.65 {b = abs(+-2)}                   {1}
 835 test_expr2 expr-7.66 {b = abs(++-2)}                  {1}
 836 test_expr2 expr-7.67 {b = abs(+-+-2)}                 {1}
 837 test_expr2 expr-7.68 {b = abs(+-++-2)}                {1}
 838 test_expr2 expr-7.69 {b = abs(++++-2)}                {1}
 839 test_expr2 expr-7.70 {b = 5 - abs(+3)}                {1}
 840 test_expr2 expr-7.71 {b = 5 - abs(-3)}                {1}
 841 ifcapable floatingpoint {
 842   test_expr2 expr-7.72 {b = abs(-2.0)}                  {1}
 843 }
 844 test_expr2 expr-7.73 {b = 6 - abs(-a)}                {2}
 845 ifcapable floatingpoint {
 846   test_expr2 expr-7.74 {b = abs(8.0)}                   {3}
 847 }
 848
 849 # Test the CURRENT_TIME, CURRENT_DATE, and CURRENT_TIMESTAMP expressions.
 850 #
 851 ifcapable {floatingpoint} {
 852   set sqlite_current_time 1157124849
 853   do_test expr-8.1 {
 854     execsql {SELECT CURRENT_TIME}
 855   } {15:34:09}
 856   do_test expr-8.2 {
 857     execsql {SELECT CURRENT_DATE}
 858   } {2006-09-01}
 859   do_test expr-8.3 {
 860     execsql {SELECT CURRENT_TIMESTAMP}
 861   } {{2006-09-01 15:34:09}}
 862 }
 863 ifcapable datetime {
 864   do_test expr-8.4 {
 865     execsql {SELECT CURRENT_TIME==time('now');}
 866   } 1
 867   do_test expr-8.5 {
 868     execsql {SELECT CURRENT_DATE==date('now');}
 869   } 1
 870   do_test expr-8.6 {
 871     execsql {SELECT CURRENT_TIMESTAMP==datetime('now');}
 872   } 1
 873 }
 874 set sqlite_current_time 0
 875
 876 ifcapable floatingpoint {
 877   do_test expr-9.1 {
 878     execsql {SELECT round(-('-'||'123'))}
 879   } 123.0
 880 }
 881
 882 # Test an error message that can be generated by the LIKE expression
 883 do_test expr-10.1 {
 884   catchsql {SELECT 'abc' LIKE 'abc' ESCAPE ''}
 885 } {1 {ESCAPE expression must be a single character}}
 886 do_test expr-10.2 {
 887   catchsql {SELECT 'abc' LIKE 'abc' ESCAPE 'ab'}
 888 } {1 {ESCAPE expression must be a single character}}
 889
 890 # If we specify an integer constant that is bigger than the largest
 891 # possible integer, code the integer as a real number.
 892 #
 893 do_test expr-11.1 {
 894   execsql {SELECT typeof(9223372036854775807)}
 895 } {integer}
 896 do_test expr-11.2 {
 897   execsql {SELECT typeof(00000009223372036854775807)}
 898 } {integer}
 899 do_test expr-11.3 {
 900   execsql {SELECT typeof(+9223372036854775807)}
 901 } {integer}
 902 do_test expr-11.4 {
 903   execsql {SELECT typeof(+000000009223372036854775807)}
 904 } {integer}
 905 do_test expr-11.5 {
 906   execsql {SELECT typeof(9223372036854775808)}
 907 } {real}
 908 do_test expr-11.6 {
 909   execsql {SELECT typeof(00000009223372036854775808)}
 910 } {real}
 911 do_test expr-11.7 {
 912   execsql {SELECT typeof(+9223372036854775808)}
 913 } {real}
 914 do_test expr-11.8 {
 915   execsql {SELECT typeof(+0000009223372036854775808)}
 916 } {real}
 917 do_test expr-11.11 {
 918   execsql {SELECT typeof(-9223372036854775808)}
 919 } {integer}
 920 do_test expr-11.12 {
 921   execsql {SELECT typeof(-00000009223372036854775808)}
 922 } {integer}
 923 ifcapable floatingpoint {
 924   do_test expr-11.13 {
 925     execsql {SELECT typeof(-9223372036854775809)}
 926   } {real}
 927   do_test expr-11.14 {
 928     execsql {SELECT typeof(-00000009223372036854775809)}
 929   } {real}
 930 }
 931
 932 # These two statements used to leak memory (because of missing %destructor
 933 # directives in parse.y).
 934 do_test expr-12.1 {
 935   catchsql {
 936     SELECT (CASE a>4 THEN 1 ELSE 0 END) FROM test1;
 937   }
 938 } {1 {near "THEN": syntax error}}
 939 do_test expr-12.2 {
 940   catchsql {
 941     SELECT (CASE WHEN a>4 THEN 1 ELSE 0) FROM test1;
 942   }
 943 } {1 {near ")": syntax error}}
 944
 945 ifcapable floatingpoint {
 946   do_realnum_test expr-13.1 {
 947     execsql {
 948       SELECT 12345678901234567890;
 949     }
 950   } {1.23456789012346e+19}
 951 }
 952
 953 # Implicit String->Integer conversion is used when possible.
 954 #
 955 if {[working_64bit_int]} {
 956   do_test expr-13.2 {
 957     execsql {
 958       SELECT 0+'9223372036854775807'
 959     }
 960   } {9223372036854775807}
 961   do_test expr-13.3 {
 962     execsql {
 963       SELECT '9223372036854775807'+0
 964     }
 965   } {9223372036854775807}
 966 }
 967
 968 # If the value is too large, use String->Float conversion.
 969 #
 970 ifcapable floatingpoint {
 971   do_realnum_test expr-13.4 {
 972     execsql {
 973       SELECT 0+'9223372036854775808'
 974     }
 975   } {9.22337203685478e+18}
 976   do_realnum_test expr-13.5 {
 977     execsql {
 978       SELECT '9223372036854775808'+0
 979     }
 980   } {9.22337203685478e+18}
 981 }
 982
 983 # Use String->float conversion if the value is explicitly a floating
 984 # point value.
 985 #
 986 do_realnum_test expr-13.6 {
 987   execsql {
 988     SELECT 0+'9223372036854775807.0'
 989   }
 990 } {9.22337203685478e+18}
 991 do_realnum_test expr-13.7 {
 992   execsql {
 993     SELECT '9223372036854775807.0'+0
 994   }
 995 } {9.22337203685478e+18}
 996
 997 sqlite3_db_config db SQLITE_DBCONFIG_DQS_DML 1
 998 do_execsql_test expr-13.8 {
 999   SELECT "" <= '';
1000 } {1}
1001 do_execsql_test expr-13.9 {
1002   SELECT '' <= "";
1003 } {1}
1004
1005 # 2018-02-26. Ticket https://www.sqlite.org/src/tktview/36fae083b450e3af85
1006 #
1007 do_execsql_test expr-14.1 {
1008   DROP TABLE IF EXISTS t1;
1009   CREATE TABLE t1(x);
1010   INSERT INTO t1 VALUES(0),(1),(NULL),(0.5),('1x'),('0x');
1011   SELECT count(*) FROM t1
1012    WHERE (x OR (8==9)) != (CASE WHEN x THEN 1 ELSE 0 END);
1013 } {0}
1014 do_execsql_test expr-14.2 {
1015   SELECT count(*) FROM t1
1016    WHERE (x OR (8==9)) != (NOT NOT x);
1017 } {0}
1018 do_execsql_test expr-14.3 {
1019   SELECT sum(NOT x) FROM t1
1020    WHERE x
1021 } {0}
1022 do_execsql_test expr-14.4 {
1023   SELECT sum(CASE WHEN x THEN 0 ELSE 1 END) FROM t1
1024    WHERE x
1025 } {0}
1026
1027
1028 foreach {tn val} [list 1 NaN 2 -NaN 3 NaN0 4 -NaN0 5 Inf 6 -Inf] {
1029   do_execsql_test expr-15.$tn.1 {
1030     DROP TABLE IF EXISTS t1;
1031     CREATE TABLE t1(x);
1032     INSERT INTO t1 VALUES(0),(1),(NULL),(0.5),('1x'),('0x');
1033   }
1034
1035   do_test expr-15.$tn.2 {
1036     set ::STMT [sqlite3_prepare db "INSERT INTO t1 VALUES(?)" -1 TAIL]
1037     sqlite3_bind_double $::STMT 1 $val
1038     sqlite3_step $::STMT
1039     sqlite3_reset $::STMT
1040     sqlite3_finalize $::STMT
1041   } {SQLITE_OK}
1042
1043   do_execsql_test expr-15.$tn.3 {
1044     SELECT count(*) FROM t1
1045      WHERE (x OR (8==9)) != (CASE WHEN x THEN 1 ELSE 0 END);
1046   } {0}
1047
1048   do_execsql_test expr-15.$tn.4 {
1049     SELECT count(*) FROM t1
1050      WHERE (x OR (8==9)) != (NOT NOT x);
1051   } {0}
1052
1053   do_execsql_test expr-15.$tn.5 {
1054     SELECT sum(NOT x) FROM t1
1055      WHERE x
1056   } {0}
1057
1058   do_execsql_test expr-15.$tn.6 {
1059     SELECT sum(CASE WHEN x THEN 0 ELSE 1 END) FROM t1
1060      WHERE x
1061   } {0}
1062 }
1063
1064 reset_db
1065 sqlite3_test_control SQLITE_TESTCTRL_INTERNAL_FUNCTIONS db
1066 do_execsql_test expr-16.1 {
1067   CREATE TABLE t1(a,b,c);
1068   CREATE TABLE dual(dummy);
1069   INSERT INTO dual VALUES('X');
1070 } {}
1071 do_execsql_test expr-16.100 {
1072   SELECT implies_nonnull_row( (b=1 AND 0)>(b=3 AND 0),a)
1073   FROM dual LEFT JOIN t1;
1074 } {0}
1075 do_execsql_test expr-16.101 {
1076   SELECT implies_nonnull_row( (b=1 AND 0)>(b=3 AND a=4),a)
1077   FROM dual LEFT JOIN t1;
1078 } {1}
1079 do_execsql_test expr-16.102 {
1080   SELECT implies_nonnull_row( (b=1 AND a=2)>(b=3 AND a=4),a)
1081   FROM dual LEFT JOIN t1;
1082 } {1}
1083
1084 finish_test