gitlab.com/CoiaPrant/sqlite3@v1.19.1/testdata/tcl/expr.test (about) 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