AryaWu/sqlite
0
1# 2001 September 152#3# The author disclaims copyright to this source code. In place of4# 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. The12# focus of this file is testing expressions.13#14# $Id: expr.test,v 1.67 2009/02/04 03:59:25 shane Exp $15 16set testdir [file dirname $argv0]17source $testdir/tester.tcl18 19# Create a table to work with.20#21ifcapable 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}25ifcapable !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 30proc 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] $result34}35proc 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] $result39}40 41test_expr expr-1.1 {i1=10, i2=20} {i1+i2} 3042test_expr expr-1.2 {i1=10, i2=20} {i1-i2} -1043test_expr expr-1.3 {i1=10, i2=20} {i1*i2} 20044test_expr expr-1.4 {i1=10, i2=20} {i1/i2} 045test_expr expr-1.5 {i1=10, i2=20} {i2/i1} 246test_expr expr-1.6 {i1=10, i2=20} {i2<i1} 047test_expr expr-1.7 {i1=10, i2=20} {i2<=i1} 048test_expr expr-1.8 {i1=10, i2=20} {i2>i1} 149test_expr expr-1.9 {i1=10, i2=20} {i2>=i1} 150test_expr expr-1.10 {i1=10, i2=20} {i2!=i1} 151test_expr expr-1.11 {i1=10, i2=20} {i2=i1} 052test_expr expr-1.12 {i1=10, i2=20} {i2<>i1} 153test_expr expr-1.13 {i1=10, i2=20} {i2==i1} 054test_expr expr-1.14 {i1=20, i2=20} {i2<i1} 055test_expr expr-1.15 {i1=20, i2=20} {i2<=i1} 156test_expr expr-1.16 {i1=20, i2=20} {i2>i1} 057test_expr expr-1.17 {i1=20, i2=20} {i2>=i1} 158test_expr expr-1.18 {i1=20, i2=20} {i2!=i1} 059test_expr expr-1.19 {i1=20, i2=20} {i2=i1} 160test_expr expr-1.20 {i1=20, i2=20} {i2<>i1} 061test_expr expr-1.21 {i1=20, i2=20} {i2==i1} 162ifcapable 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}66test_expr expr-1.24 {i1=1, i2=2} {min(i1,i2,i1+i2,i1-i2)} {-1}67test_expr expr-1.25 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}68test_expr expr-1.26 {i1=1, i2=2} {max(i1,i2,i1+i2,i1-i2)} {3}69test_expr expr-1.27 {i1=1, i2=2} {i1==1 AND i2=2} {1}70test_expr expr-1.28 {i1=1, i2=2} {i1=2 AND i2=1} {0}71test_expr expr-1.29 {i1=1, i2=2} {i1=1 AND i2=1} {0}72test_expr expr-1.30 {i1=1, i2=2} {i1=2 AND i2=2} {0}73test_expr expr-1.31 {i1=1, i2=2} {i1==1 OR i2=2} {1}74test_expr expr-1.31b {i1=1} {0 OR 2} {1}75test_expr expr-1.31c {i1=1} {false OR true} {1}76test_expr expr-1.31d {i1=1} {99 OR false} {1}77test_expr expr-1.32 {i1=1, i2=2} {i1=2 OR i2=1} {0}78test_expr expr-1.33 {i1=1, i2=2} {i1=1 OR i2=1} {1}79test_expr expr-1.34 {i1=1, i2=2} {i1=2 OR i2=2} {1}80test_expr expr-1.35 {i1=1, i2=2} {i1-i2=-1} {1}81test_expr expr-1.36 {i1=1, i2=0} {not i1} {0}82test_expr expr-1.37 {i1=1, i2=0} {not i2} {1}83test_expr expr-1.38 {i1=1} {-i1} {-1}84test_expr expr-1.39 {i1=1} {+i1} {1}85test_expr expr-1.40 {i1=1, i2=2} {+(i2+i1)} {3}86test_expr expr-1.41 {i1=1, i2=2} {-(i2+i1)} {-3}87test_expr expr-1.42 {i1=1, i2=2} {i1|i2} {3}88test_expr expr-1.42b {i1=1, i2=2} {4|2} {6}89test_expr expr-1.43 {i1=1, i2=2} {i1&i2} {0}90test_expr expr-1.43b {i1=1, i2=2} {4&5} {4}91test_expr expr-1.44 {i1=1} {~i1} {-2}92test_expr expr-1.44b {i1=NULL} {~i1} {{}}93test_expr expr-1.45a {i1=1, i2=3} {i1<<i2} {8}94test_expr expr-1.45b {i1=1, i2=-3} {i1>>i2} {8}95test_expr expr-1.45c {i1=1, i2=0} {i1<<i2} {1}96test_expr expr-1.45d {i1=1, i2=62} {i1<<i2} {4611686018427387904}97test_expr expr-1.45e {i1=1, i2=63} {i1<<i2} {-9223372036854775808}98test_expr expr-1.45f {i1=1, i2=64} {i1<<i2} {0}99test_expr expr-1.45g {i1=32, i2=-9223372036854775808} {i1>>i2} {0}100test_expr expr-1.46a {i1=32, i2=3} {i1>>i2} {4}101test_expr expr-1.46b {i1=32, i2=6} {i1>>i2} {0}102test_expr expr-1.46c {i1=-32, i2=3} {i1>>i2} {-4}103test_expr expr-1.46d {i1=-32, i2=100} {i1>>i2} {-1}104test_expr expr-1.46e {i1=32, i2=-3} {i1>>i2} {256}105test_expr expr-1.47 {i1=9999999999, i2=8888888888} {i1<i2} 0106test_expr expr-1.48 {i1=9999999999, i2=8888888888} {i1=i2} 0107test_expr expr-1.49 {i1=9999999999, i2=8888888888} {i1>i2} 1108test_expr expr-1.50 {i1=99999999999, i2=99999999998} {i1<i2} 0109test_expr expr-1.51 {i1=99999999999, i2=99999999998} {i1=i2} 0110test_expr expr-1.52 {i1=99999999999, i2=99999999998} {i1>i2} 1111test_expr expr-1.53 {i1=099999999999, i2=99999999999} {i1<i2} 0112test_expr expr-1.54 {i1=099999999999, i2=99999999999} {i1=i2} 1113test_expr expr-1.55 {i1=099999999999, i2=99999999999} {i1>i2} 0114test_expr expr-1.56 {i1=25, i2=11} {i1%i2} 3115test_expr expr-1.58 {i1=NULL, i2=1} {coalesce(i1+i2,99)} 99116test_expr expr-1.59 {i1=1, i2=NULL} {coalesce(i1+i2,99)} 99117test_expr expr-1.60 {i1=NULL, i2=NULL} {coalesce(i1+i2,99)} 99118test_expr expr-1.61 {i1=NULL, i2=1} {coalesce(i1-i2,99)} 99119test_expr expr-1.62 {i1=1, i2=NULL} {coalesce(i1-i2,99)} 99120test_expr expr-1.63 {i1=NULL, i2=NULL} {coalesce(i1-i2,99)} 99121test_expr expr-1.64 {i1=NULL, i2=1} {coalesce(i1*i2,99)} 99122test_expr expr-1.65 {i1=1, i2=NULL} {coalesce(i1*i2,99)} 99123test_expr expr-1.66 {i1=NULL, i2=NULL} {coalesce(i1*i2,99)} 99124test_expr expr-1.67 {i1=NULL, i2=1} {coalesce(i1/i2,99)} 99125test_expr expr-1.68 {i1=1, i2=NULL} {coalesce(i1/i2,99)} 99126test_expr expr-1.69 {i1=NULL, i2=NULL} {coalesce(i1/i2,99)} 99127test_expr expr-1.70 {i1=NULL, i2=1} {coalesce(i1<i2,99)} 99128test_expr expr-1.71 {i1=1, i2=NULL} {coalesce(i1>i2,99)} 99129test_expr expr-1.72 {i1=NULL, i2=NULL} {coalesce(i1<=i2,99)} 99130test_expr expr-1.73 {i1=NULL, i2=1} {coalesce(i1>=i2,99)} 99131test_expr expr-1.74 {i1=1, i2=NULL} {coalesce(i1!=i2,99)} 99132test_expr expr-1.75 {i1=NULL, i2=NULL} {coalesce(i1==i2,99)} 99133test_expr expr-1.76 {i1=NULL, i2=NULL} {coalesce(not i1,99)} 99134test_expr expr-1.77 {i1=NULL, i2=NULL} {coalesce(-i1,99)} 99135test_expr expr-1.78 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL AND i2=5,99)} 99136test_expr expr-1.79 {i1=NULL, i2=NULL} {coalesce(i1 IS NULL OR i2=5,99)} 1137test_expr expr-1.80 {i1=NULL, i2=NULL} {coalesce(i1=5 AND i2 IS NULL,99)} 99138test_expr expr-1.81 {i1=NULL, i2=NULL} {coalesce(i1=5 OR i2 IS NULL,99)} 1139test_expr expr-1.82 {i1=NULL, i2=3} {coalesce(min(i1,i2,1),99)} 99140test_expr expr-1.83 {i1=NULL, i2=3} {coalesce(max(i1,i2,1),99)} 99141test_expr expr-1.84 {i1=3, i2=NULL} {coalesce(min(i1,i2,1),99)} 99142test_expr expr-1.85 {i1=3, i2=NULL} {coalesce(max(i1,i2,1),99)} 99143test_expr expr-1.86 {i1=3, i2=8} {5 between i1 and i2} 1144test_expr expr-1.87 {i1=3, i2=8} {5 not between i1 and i2} 0145test_expr expr-1.88 {i1=3, i2=8} {55 between i1 and i2} 0146test_expr expr-1.89 {i1=3, i2=8} {55 not between i1 and i2} 1147test_expr expr-1.90 {i1=3, i2=NULL} {5 between i1 and i2} {{}}148test_expr expr-1.91 {i1=3, i2=NULL} {5 not between i1 and i2} {{}}149test_expr expr-1.92 {i1=3, i2=NULL} {2 between i1 and i2} 0150test_expr expr-1.93 {i1=3, i2=NULL} {2 not between i1 and i2} 1151test_expr expr-1.94 {i1=NULL, i2=8} {2 between i1 and i2} {{}}152test_expr expr-1.95 {i1=NULL, i2=8} {2 not between i1 and i2} {{}}153test_expr expr-1.94 {i1=NULL, i2=8} {55 between i1 and i2} 0154test_expr expr-1.95 {i1=NULL, i2=8} {55 not between i1 and i2} 1155test_expr expr-1.96 {i1=NULL, i2=3} {coalesce(i1<<i2,99)} 99156test_expr expr-1.97 {i1=32, i2=NULL} {coalesce(i1>>i2,99)} 99157test_expr expr-1.98 {i1=NULL, i2=NULL} {coalesce(i1|i2,99)} 99158test_expr expr-1.99 {i1=32, i2=NULL} {coalesce(i1&i2,99)} 99159test_expr expr-1.100 {i1=1, i2=''} {i1=i2} 0160test_expr expr-1.101 {i1=0, i2=''} {i1=i2} 0161 162# Check for proper handling of 64-bit integer values.163#164if {[working_64bit_int]} {165 test_expr expr-1.102 {i1=40, i2=1} {i2<<i1} 1099511627776166}167 168ifcapable floatingpoint {169 test_expr expr-1.103 {i1=0} {(-2147483648.0 % -1)} 0.0170 test_expr expr-1.104 {i1=0} {(-9223372036854775808.0 % -1)} 0.0171 test_expr expr-1.105 {i1=0} {(-9223372036854775808.0 / -1)>1} 1172}173 174if {[working_64bit_int]} {175 test_realnum_expr expr-1.106 {i1=0} {-9223372036854775808/-1} 9.22337203685478e+18176}177 178test_expr expr-1.107 {i1=0} {-9223372036854775808%-1} 0179test_expr expr-1.108 {i1=0} {1%0} {{}}180test_expr expr-1.109 {i1=0} {1/0} {{}}181 182if {[working_64bit_int]} {183 test_expr expr-1.110 {i1=0} {-9223372036854775807/-1} 9223372036854775807184}185 186test_expr expr-1.111 {i1=NULL, i2=8} {i1 IS i2} 0187test_expr expr-1.111b {i1=NULL, i2=8} {i1 IS NOT DISTINCT FROM i2} 0188test_expr expr-1.112 {i1=NULL, i2=NULL} {i1 IS i2} 1189test_expr expr-1.112b {i1=NULL, i2=NULL} {i1 IS NOT DISTINCT FROM i2} 1190test_expr expr-1.113 {i1=6, i2=NULL} {i1 IS i2} 0191test_expr expr-1.113b {i1=6, i2=NULL} {i1 IS NOT DISTINCT FROM i2} 0192test_expr expr-1.114 {i1=6, i2=6} {i1 IS i2} 1193test_expr expr-1.114b {i1=6, i2=6} {i1 IS NOT DISTINCT FROM i2} 1194test_expr expr-1.115 {i1=NULL, i2=8} \195 {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no196test_expr expr-1.115b {i1=NULL, i2=8} \197 {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no198test_expr expr-1.116 {i1=NULL, i2=NULL} \199 {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes200test_expr expr-1.116b {i1=NULL, i2=NULL} \201 {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes202test_expr expr-1.117 {i1=6, i2=NULL} \203 {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} no204test_expr expr-1.117b {i1=6, i2=NULL} \205 {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no206test_expr expr-1.118 {i1=8, i2=8} \207 {CASE WHEN i1 IS i2 THEN 'yes' ELSE 'no' END} yes208test_expr expr-1.118b {i1=8, i2=8} \209 {CASE WHEN i1 IS NOT DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes210test_expr expr-1.119 {i1=NULL, i2=8} {i1 IS NOT i2} 1211test_expr expr-1.119b {i1=NULL, i2=8} {i1 IS DISTINCT FROM i2} 1212test_expr expr-1.120 {i1=NULL, i2=NULL} {i1 IS NOT i2} 0213test_expr expr-1.120b {i1=NULL, i2=NULL} {i1 IS DISTINCT FROM i2} 0214test_expr expr-1.121 {i1=6, i2=NULL} {i1 IS NOT i2} 1215test_expr expr-1.121b {i1=6, i2=NULL} {i1 IS DISTINCT FROM i2} 1216test_expr expr-1.122 {i1=6, i2=6} {i1 IS NOT i2} 0217test_expr expr-1.122b {i1=6, i2=6} {i1 IS DISTINCT FROM i2} 0218test_expr expr-1.123 {i1=NULL, i2=8} \219 {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes220test_expr expr-1.123b {i1=NULL, i2=8} \221 {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes222test_expr expr-1.124 {i1=NULL, i2=NULL} \223 {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no224test_expr expr-1.124b {i1=NULL, i2=NULL} \225 {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no226test_expr expr-1.125 {i1=6, i2=NULL} \227 {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} yes228test_expr expr-1.125b {i1=6, i2=NULL} \229 {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} yes230test_expr expr-1.126 {i1=8, i2=8} \231 {CASE WHEN i1 IS NOT i2 THEN 'yes' ELSE 'no' END} no232test_expr expr-1.126b {i1=8, i2=8} \233 {CASE WHEN i1 IS DISTINCT FROM i2 THEN 'yes' ELSE 'no' END} no234 235do_catchsql_test expr-1.127 {236 SELECT 1 IS #1;237} {1 {near "#1": syntax error}}238 239ifcapable floatingpoint {if {[working_64bit_int]} {240 test_expr expr-1.200\241 {i1=9223372036854775806, i2=1} {i1+i2} 9223372036854775807242 test_realnum_expr expr-1.201\243 {i1=9223372036854775806, i2=2} {i1+i2} 9.22337203685478e+18244 test_realnum_expr expr-1.202\245 {i1=9223372036854775806, i2=100000} {i1+i2} 9.22337203685488e+18246 test_realnum_expr expr-1.203\247 {i1=9223372036854775807, i2=0} {i1+i2} 9223372036854775807248 test_realnum_expr expr-1.204\249 {i1=9223372036854775807, i2=1} {i1+i2} 9.22337203685478e+18250 test_realnum_expr expr-1.205\251 {i2=9223372036854775806, i1=1} {i1+i2} 9223372036854775807252 test_realnum_expr expr-1.206\253 {i2=9223372036854775806, i1=2} {i1+i2} 9.22337203685478e+18254 test_realnum_expr expr-1.207\255 {i2=9223372036854775806, i1=100000} {i1+i2} 9.22337203685488e+18256 test_realnum_expr expr-1.208\257 {i2=9223372036854775807, i1=0} {i1+i2} 9223372036854775807258 test_realnum_expr expr-1.209\259 {i2=9223372036854775807, i1=1} {i1+i2} 9.22337203685478e+18260 test_realnum_expr expr-1.210\261 {i1=-9223372036854775807, i2=-1} {i1+i2} -9223372036854775808262 test_realnum_expr expr-1.211\263 {i1=-9223372036854775807, i2=-2} {i1+i2} -9.22337203685478e+18264 test_realnum_expr expr-1.212\265 {i1=-9223372036854775807, i2=-100000} {i1+i2} -9.22337203685488e+18266 test_realnum_expr expr-1.213\267 {i1=-9223372036854775808, i2=0} {i1+i2} -9223372036854775808268 test_realnum_expr expr-1.214\269 {i1=-9223372036854775808, i2=-1} {i1+i2} -9.22337203685478e+18270 test_realnum_expr expr-1.215\271 {i2=-9223372036854775807, i1=-1} {i1+i2} -9223372036854775808272 test_realnum_expr expr-1.216\273 {i2=-9223372036854775807, i1=-2} {i1+i2} -9.22337203685478e+18274 test_realnum_expr expr-1.217\275 {i2=-9223372036854775807, i1=-100000} {i1+i2} -9.22337203685488e+18276 test_realnum_expr expr-1.218\277 {i2=-9223372036854775808, i1=0} {i1+i2} -9223372036854775808278 test_realnum_expr expr-1.219\279 {i2=-9223372036854775808, i1=-1} {i1+i2} -9.22337203685478e+18280 test_realnum_expr expr-1.220\281 {i1=9223372036854775806, i2=-1} {i1-i2} 9223372036854775807282 test_realnum_expr expr-1.221\283 {i1=9223372036854775806, i2=-2} {i1-i2} 9.22337203685478e+18284 test_realnum_expr expr-1.222\285 {i1=9223372036854775806, i2=-100000} {i1-i2} 9.22337203685488e+18286 test_realnum_expr expr-1.223\287 {i1=9223372036854775807, i2=0} {i1-i2} 9223372036854775807288 test_realnum_expr expr-1.224\289 {i1=9223372036854775807, i2=-1} {i1-i2} 9.22337203685478e+18290 test_realnum_expr expr-1.225\291 {i2=-9223372036854775806, i1=1} {i1-i2} 9223372036854775807292 test_realnum_expr expr-1.226\293 {i2=-9223372036854775806, i1=2} {i1-i2} 9.22337203685478e+18294 test_realnum_expr expr-1.227\295 {i2=-9223372036854775806, i1=100000} {i1-i2} 9.22337203685488e+18296 test_realnum_expr expr-1.228\297 {i2=-9223372036854775807, i1=0} {i1-i2} 9223372036854775807298 test_realnum_expr expr-1.229\299 {i2=-9223372036854775807, i1=1} {i1-i2} 9.22337203685478e+18300 test_realnum_expr expr-1.230\301 {i1=-9223372036854775807, i2=1} {i1-i2} -9223372036854775808302 test_realnum_expr expr-1.231\303 {i1=-9223372036854775807, i2=2} {i1-i2} -9.22337203685478e+18304 test_realnum_expr expr-1.232\305 {i1=-9223372036854775807, i2=100000} {i1-i2} -9.22337203685488e+18306 test_realnum_expr expr-1.233\307 {i1=-9223372036854775808, i2=0} {i1-i2} -9223372036854775808308 test_realnum_expr expr-1.234\309 {i1=-9223372036854775808, i2=1} {i1-i2} -9.22337203685478e+18310 test_realnum_expr expr-1.235\311 {i2=9223372036854775807, i1=-1} {i1-i2} -9223372036854775808312 test_realnum_expr expr-1.236\313 {i2=9223372036854775807, i1=-2} {i1-i2} -9.22337203685478e+18314 test_realnum_expr expr-1.237\315 {i2=9223372036854775807, i1=-100000} {i1-i2} -9.22337203685488e+18316 test_realnum_expr expr-1.238\317 {i2=9223372036854775807, i1=0} {i1-i2} -9223372036854775807318 test_realnum_expr expr-1.239\319 {i2=9223372036854775807, i1=-1} {i1-i2} -9223372036854775808320 321 test_realnum_expr expr-1.250\322 {i1=4294967296, i2=2147483648} {i1*i2} 9.22337203685478e+18323 test_realnum_expr expr-1.251\324 {i1=4294967296, i2=2147483647} {i1*i2} 9223372032559808512325 test_realnum_expr expr-1.252\326 {i1=-4294967296, i2=2147483648} {i1*i2} -9223372036854775808327 test_realnum_expr expr-1.253\328 {i1=-4294967296, i2=2147483647} {i1*i2} -9223372032559808512329 test_realnum_expr expr-1.254\330 {i1=4294967296, i2=-2147483648} {i1*i2} -9223372036854775808331 test_realnum_expr expr-1.255\332 {i1=4294967296, i2=-2147483647} {i1*i2} -9223372032559808512333 test_realnum_expr expr-1.256\334 {i1=-4294967296, i2=-2147483648} {i1*i2} 9.22337203685478e+18335 test_realnum_expr expr-1.257\336 {i1=-4294967296, i2=-2147483647} {i1*i2} 9223372032559808512337 338 test_realnum_expr expr-1.260\339 {i1=3037000500, i2=3037000500} {i1*i2} 9.22337203700025e+18340 test_realnum_expr expr-1.261\341 {i1=3037000500, i2=-3037000500} {i1*i2} -9.22337203700025e+18342 test_realnum_expr expr-1.262\343 {i1=-3037000500, i2=3037000500} {i1*i2} -9.22337203700025e+18344 test_realnum_expr expr-1.263\345 {i1=-3037000500, i2=-3037000500} {i1*i2} 9.22337203700025e+18346 347 test_realnum_expr expr-1.264\348 {i1=3037000500, i2=3037000499} {i1*i2} 9223372033963249500349 test_realnum_expr expr-1.265\350 {i1=3037000500, i2=-3037000499} {i1*i2} -9223372033963249500351 test_realnum_expr expr-1.266\352 {i1=-3037000500, i2=3037000499} {i1*i2} -9223372033963249500353 test_realnum_expr expr-1.267\354 {i1=-3037000500, i2=-3037000499} {i1*i2} 9223372033963249500355 356 test_realnum_expr expr-1.268\357 {i1=3037000499, i2=3037000500} {i1*i2} 9223372033963249500358 test_realnum_expr expr-1.269\359 {i1=3037000499, i2=-3037000500} {i1*i2} -9223372033963249500360 test_realnum_expr expr-1.270\361 {i1=-3037000499, i2=3037000500} {i1*i2} -9223372033963249500362 test_realnum_expr expr-1.271\363 {i1=-3037000499, i2=-3037000500} {i1*i2} 9223372033963249500364 365}}366 367ifcapable floatingpoint {368 test_expr expr-2.1 {r1=1.23, r2=2.34} {r1+r2} 3.57369 test_expr expr-2.2 {r1=1.23, r2=2.34} {r1-r2} -1.11370 test_expr expr-2.3 {r1=1.23, r2=2.34} {r1*r2} 2.8782371}372set tcl_precision 15373ifcapable floatingpoint {374 test_expr expr-2.4 {r1=1.23, r2=2.34} {r1/r2} 0.525641025641026375 test_expr expr-2.5 {r1=1.23, r2=2.34} {r2/r1} 1.90243902439024376 test_expr expr-2.6 {r1=1.23, r2=2.34} {r2<r1} 0377 test_expr expr-2.7 {r1=1.23, r2=2.34} {r2<=r1} 0378 test_expr expr-2.8 {r1=1.23, r2=2.34} {r2>r1} 1379 test_expr expr-2.9 {r1=1.23, r2=2.34} {r2>=r1} 1380 test_expr expr-2.10 {r1=1.23, r2=2.34} {r2!=r1} 1381 test_expr expr-2.11 {r1=1.23, r2=2.34} {r2=r1} 0382 test_expr expr-2.12 {r1=1.23, r2=2.34} {r2<>r1} 1383 test_expr expr-2.13 {r1=1.23, r2=2.34} {r2==r1} 0384 test_expr expr-2.14 {r1=2.34, r2=2.34} {r2<r1} 0385 test_expr expr-2.15 {r1=2.34, r2=2.34} {r2<=r1} 1386 test_expr expr-2.16 {r1=2.34, r2=2.34} {r2>r1} 0387 test_expr expr-2.17 {r1=2.34, r2=2.34} {r2>=r1} 1388 test_expr expr-2.18 {r1=2.34, r2=2.34} {r2!=r1} 0389 test_expr expr-2.19 {r1=2.34, r2=2.34} {r2=r1} 1390 test_expr expr-2.20 {r1=2.34, r2=2.34} {r2<>r1} 0391 test_expr expr-2.21 {r1=2.34, r2=2.34} {r2==r1} 1392 test_expr expr-2.22 {r1=1.23, r2=2.34} {min(r1,r2,r1+r2,r1-r2)} {-1.11}393 test_expr expr-2.23 {r1=1.23, r2=2.34} {max(r1,r2,r1+r2,r1-r2)} {3.57}394 test_expr expr-2.24 {r1=25.0, r2=11.0} {r1%r2} 3.0395 test_expr expr-2.25 {r1=1.23, r2=NULL} {coalesce(r1+r2,99.0)} 99.0396 test_expr expr-2.26 {r1=1e300, r2=1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0397 test_expr expr-2.26b {r1=1e300, r2=-1e300} {coalesce((r1*r2)*0.0,99.0)} 99.0398 test_expr expr-2.27 {r1=1.1, r2=0.0} {r1/r2} {{}}399 test_expr expr-2.28 {r1=1.1, r2=0.0} {r1%r2} {{}}400}401 402test_expr expr-3.1 {t1='abc', t2='xyz'} {t1<t2} 1403test_expr expr-3.2 {t1='xyz', t2='abc'} {t1<t2} 0404test_expr expr-3.3 {t1='abc', t2='abc'} {t1<t2} 0405test_expr expr-3.4 {t1='abc', t2='xyz'} {t1<=t2} 1406test_expr expr-3.5 {t1='xyz', t2='abc'} {t1<=t2} 0407test_expr expr-3.6 {t1='abc', t2='abc'} {t1<=t2} 1408test_expr expr-3.7 {t1='abc', t2='xyz'} {t1>t2} 0409test_expr expr-3.8 {t1='xyz', t2='abc'} {t1>t2} 1410test_expr expr-3.9 {t1='abc', t2='abc'} {t1>t2} 0411test_expr expr-3.10 {t1='abc', t2='xyz'} {t1>=t2} 0412test_expr expr-3.11 {t1='xyz', t2='abc'} {t1>=t2} 1413test_expr expr-3.12 {t1='abc', t2='abc'} {t1>=t2} 1414test_expr expr-3.13 {t1='abc', t2='xyz'} {t1=t2} 0415test_expr expr-3.14 {t1='xyz', t2='abc'} {t1=t2} 0416test_expr expr-3.15 {t1='abc', t2='abc'} {t1=t2} 1417test_expr expr-3.16 {t1='abc', t2='xyz'} {t1==t2} 0418test_expr expr-3.17 {t1='xyz', t2='abc'} {t1==t2} 0419test_expr expr-3.18 {t1='abc', t2='abc'} {t1==t2} 1420test_expr expr-3.19 {t1='abc', t2='xyz'} {t1<>t2} 1421test_expr expr-3.20 {t1='xyz', t2='abc'} {t1<>t2} 1422test_expr expr-3.21 {t1='abc', t2='abc'} {t1<>t2} 0423test_expr expr-3.22 {t1='abc', t2='xyz'} {t1!=t2} 1424test_expr expr-3.23 {t1='xyz', t2='abc'} {t1!=t2} 1425test_expr expr-3.24 {t1='abc', t2='abc'} {t1!=t2} 0426test_expr expr-3.25 {t1=NULL, t2='hi'} {t1 isnull} 1427test_expr expr-3.25b {t1=NULL, t2='hi'} {t1 is null} 1428test_expr expr-3.26 {t1=NULL, t2='hi'} {t2 isnull} 0429test_expr expr-3.27 {t1=NULL, t2='hi'} {t1 notnull} 0430test_expr expr-3.28 {t1=NULL, t2='hi'} {t2 notnull} 1431test_expr expr-3.28b {t1=NULL, t2='hi'} {t2 is not null} 1432test_expr expr-3.29 {t1='xyz', t2='abc'} {t1||t2} {xyzabc}433test_expr expr-3.30 {t1=NULL, t2='abc'} {t1||t2} {{}}434test_expr expr-3.31 {t1='xyz', t2=NULL} {t1||t2} {{}}435test_expr expr-3.32 {t1='xyz', t2='abc'} {t1||' hi '||t2} {{xyz hi abc}}436test_expr epxr-3.33 {t1='abc', t2=NULL} {coalesce(t1<t2,99)} 99437test_expr epxr-3.34 {t1='abc', t2=NULL} {coalesce(t2<t1,99)} 99438test_expr epxr-3.35 {t1='abc', t2=NULL} {coalesce(t1>t2,99)} 99439test_expr epxr-3.36 {t1='abc', t2=NULL} {coalesce(t2>t1,99)} 99440test_expr epxr-3.37 {t1='abc', t2=NULL} {coalesce(t1<=t2,99)} 99441test_expr epxr-3.38 {t1='abc', t2=NULL} {coalesce(t2<=t1,99)} 99442test_expr epxr-3.39 {t1='abc', t2=NULL} {coalesce(t1>=t2,99)} 99443test_expr epxr-3.40 {t1='abc', t2=NULL} {coalesce(t2>=t1,99)} 99444test_expr epxr-3.41 {t1='abc', t2=NULL} {coalesce(t1==t2,99)} 99445test_expr epxr-3.42 {t1='abc', t2=NULL} {coalesce(t2==t1,99)} 99446test_expr epxr-3.43 {t1='abc', t2=NULL} {coalesce(t1!=t2,99)} 99447test_expr epxr-3.44 {t1='abc', t2=NULL} {coalesce(t2!=t1,99)} 99448 449test_expr expr-4.1 {t1='abc', t2='Abc'} {t1<t2} 0450test_expr expr-4.2 {t1='abc', t2='Abc'} {t1>t2} 1451test_expr expr-4.3 {t1='abc', t2='Bbc'} {t1<t2} 0452test_expr expr-4.4 {t1='abc', t2='Bbc'} {t1>t2} 1453test_expr expr-4.5 {t1='0', t2='0.0'} {t1==t2} 0454test_expr expr-4.6 {t1='0.000', t2='0.0'} {t1==t2} 0455test_expr expr-4.7 {t1=' 0.000', t2=' 0.0'} {t1==t2} 0456test_expr expr-4.8 {t1='0.0', t2='abc'} {t1<t2} 1457test_expr expr-4.9 {t1='0.0', t2='abc'} {t1==t2} 0458 459ifcapable floatingpoint {460 test_expr expr-4.10 {r1='0.0', r2='abc'} {r1>r2} 0461 test_expr expr-4.11 {r1='abc', r2='Abc'} {r1<r2} 0462 test_expr expr-4.12 {r1='abc', r2='Abc'} {r1>r2} 1463 test_expr expr-4.13 {r1='abc', r2='Bbc'} {r1<r2} 0464 test_expr expr-4.14 {r1='abc', r2='Bbc'} {r1>r2} 1465 test_expr expr-4.15 {r1='0', r2='0.0'} {r1==r2} 1466 test_expr expr-4.16 {r1='0.000', r2='0.0'} {r1==r2} 1467 test_expr expr-4.17 {r1=' 0.000', r2=' 0.0'} {r1==r2} 1468 test_expr expr-4.18 {r1='0.0', r2='abc'} {r1<r2} 1469 test_expr expr-4.19 {r1='0.0', r2='abc'} {r1==r2} 0470 test_expr expr-4.20 {r1='0.0', r2='abc'} {r1>r2} 0471}472 473# CSL is true if LIKE is case sensitive and false if not.474# NCSL is the opposite. Use these variables as the result475# on operations where case makes a difference.476set CSL $sqlite_options(casesensitivelike)477set NCSL [expr {!$CSL}]478 479test_expr expr-5.1 {t1='abc', t2='xyz'} {t1 LIKE t2} 0480test_expr expr-5.2a {t1='abc', t2='abc'} {t1 LIKE t2} 1481test_expr expr-5.2b {t1='abc', t2='ABC'} {t1 LIKE t2} $NCSL482test_expr expr-5.3a {t1='abc', t2='a_c'} {t1 LIKE t2} 1483test_expr expr-5.3b {t1='abc', t2='A_C'} {t1 LIKE t2} $NCSL484test_expr expr-5.4 {t1='abc', t2='abc_'} {t1 LIKE t2} 0485test_expr expr-5.5a {t1='abc', t2='a%c'} {t1 LIKE t2} 1486test_expr expr-5.5b {t1='abc', t2='A%C'} {t1 LIKE t2} $NCSL487test_expr expr-5.5c {t1='abdc', t2='a%c'} {t1 LIKE t2} 1488test_expr expr-5.5d {t1='ac', t2='a%c'} {t1 LIKE t2} 1489test_expr expr-5.5e {t1='ac', t2='A%C'} {t1 LIKE t2} $NCSL490test_expr expr-5.6a {t1='abxyzzyc', t2='a%c'} {t1 LIKE t2} 1491test_expr expr-5.6b {t1='abxyzzyc', t2='A%C'} {t1 LIKE t2} $NCSL492test_expr expr-5.7a {t1='abxyzzy', t2='a%c'} {t1 LIKE t2} 0493test_expr expr-5.7b {t1='abxyzzy', t2='A%C'} {t1 LIKE t2} 0494test_expr expr-5.8a {t1='abxyzzycx', t2='a%c'} {t1 LIKE t2} 0495test_expr expr-5.8b {t1='abxyzzycy', t2='a%cx'} {t1 LIKE t2} 0496test_expr expr-5.8c {t1='abxyzzycx', t2='A%C'} {t1 LIKE t2} 0497test_expr expr-5.8d {t1='abxyzzycy', t2='A%CX'} {t1 LIKE t2} 0498test_expr expr-5.9a {t1='abc', t2='a%_c'} {t1 LIKE t2} 1499test_expr expr-5.9b {t1='ac', t2='a%_c'} {t1 LIKE t2} 0500test_expr expr-5.9c {t1='abc', t2='A%_C'} {t1 LIKE t2} $NCSL501test_expr expr-5.9d {t1='ac', t2='A%_C'} {t1 LIKE t2} 0502test_expr expr-5.10a {t1='abxyzzyc', t2='a%_c'} {t1 LIKE t2} 1503test_expr expr-5.10b {t1='abxyzzyc', t2='A%_C'} {t1 LIKE t2} $NCSL504test_expr expr-5.11 {t1='abc', t2='xyz'} {t1 NOT LIKE t2} 1505test_expr expr-5.12a {t1='abc', t2='abc'} {t1 NOT LIKE t2} 0506test_expr expr-5.12b {t1='abc', t2='ABC'} {t1 NOT LIKE t2} $CSL507test_expr expr-5.13 {t1='A'} {t1 LIKE 'A%_'} 0508test_expr expr-5.14 {t1='AB'} {t1 LIKE 'A%b' ESCAPE 'b'} 0509 510# The following tests only work on versions of TCL that support Unicode511#512if {"\u1234"!="u1234"} {513 test_expr expr-5.13a "t1='a\u0080c', t2='a_c'" {t1 LIKE t2} 1514 test_expr expr-5.13b "t1='a\u0080c', t2='A_C'" {t1 LIKE t2} $NCSL515 test_expr expr-5.14a "t1='a\u07FFc', t2='a_c'" {t1 LIKE t2} 1516 test_expr expr-5.14b "t1='a\u07FFc', t2='A_C'" {t1 LIKE t2} $NCSL517 test_expr expr-5.15a "t1='a\u0800c', t2='a_c'" {t1 LIKE t2} 1518 test_expr expr-5.15b "t1='a\u0800c', t2='A_C'" {t1 LIKE t2} $NCSL519 test_expr expr-5.16a "t1='a\uFFFFc', t2='a_c'" {t1 LIKE t2} 1520 test_expr expr-5.16b "t1='a\uFFFFc', t2='A_C'" {t1 LIKE t2} $NCSL521 test_expr expr-5.17 "t1='a\u0080', t2='A__'" {t1 LIKE t2} 0522 test_expr expr-5.18 "t1='a\u07FF', t2='A__'" {t1 LIKE t2} 0523 test_expr expr-5.19 "t1='a\u0800', t2='A__'" {t1 LIKE t2} 0524 test_expr expr-5.20 "t1='a\uFFFF', t2='A__'" {t1 LIKE t2} 0525 test_expr expr-5.21a "t1='ax\uABCD', t2='a_\uABCD'" {t1 LIKE t2} 1526 test_expr expr-5.21b "t1='ax\uABCD', t2='A_\uABCD'" {t1 LIKE t2} $NCSL527 test_expr expr-5.22a "t1='ax\u1234', t2='a%\u1234'" {t1 LIKE t2} 1528 test_expr expr-5.22b "t1='ax\u1234', t2='A%\u1234'" {t1 LIKE t2} $NCSL529 test_expr expr-5.23a "t1='ax\uFEDC', t2='a_%'" {t1 LIKE t2} 1530 test_expr expr-5.23b "t1='ax\uFEDC', t2='A_%'" {t1 LIKE t2} $NCSL531 test_expr expr-5.24a "t1='ax\uFEDCy\uFEDC', t2='a%\uFEDC'" {t1 LIKE t2} 1532 test_expr expr-5.24b "t1='ax\uFEDCy\uFEDC', t2='A%\uFEDC'" {t1 LIKE t2} $NCSL533}534 535test_expr expr-5.54 {t1='abc', t2=NULL} {t1 LIKE t2} {{}}536test_expr expr-5.55 {t1='abc', t2=NULL} {t1 NOT LIKE t2} {{}}537test_expr expr-5.56 {t1='abc', t2=NULL} {t2 LIKE t1} {{}}538test_expr expr-5.57 {t1='abc', t2=NULL} {t2 NOT LIKE t1} {{}}539 540# LIKE expressions that use ESCAPE characters.541test_expr expr-5.58a {t1='abc', t2='a_c'} {t1 LIKE t2 ESCAPE '7'} 1542test_expr expr-5.58b {t1='abc', t2='A_C'} {t1 LIKE t2 ESCAPE '7'} $NCSL543test_expr expr-5.59a {t1='a_c', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 1544test_expr expr-5.59b {t1='a_c', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} $NCSL545test_expr expr-5.60a {t1='abc', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 0546test_expr expr-5.60b {t1='abc', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} 0547test_expr expr-5.61a {t1='a7Xc', t2='a7_c'} {t1 LIKE t2 ESCAPE '7'} 0548test_expr expr-5.61b {t1='a7Xc', t2='A7_C'} {t1 LIKE t2 ESCAPE '7'} 0549test_expr expr-5.62a {t1='abcde', t2='a%e'} {t1 LIKE t2 ESCAPE '7'} 1550test_expr expr-5.62b {t1='abcde', t2='A%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL551test_expr expr-5.63a {t1='abcde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0552test_expr expr-5.63b {t1='abcde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0553test_expr expr-5.64a {t1='a7cde', t2='a7%e'} {t1 LIKE t2 ESCAPE '7'} 0554test_expr expr-5.64b {t1='a7cde', t2='A7%E'} {t1 LIKE t2 ESCAPE '7'} 0555test_expr expr-5.65a {t1='a7cde', t2='a77%e'} {t1 LIKE t2 ESCAPE '7'} 1556test_expr expr-5.65b {t1='a7cde', t2='A77%E'} {t1 LIKE t2 ESCAPE '7'} $NCSL557test_expr expr-5.66a {t1='abc7', t2='a%77'} {t1 LIKE t2 ESCAPE '7'} 1558test_expr expr-5.66b {t1='abc7', t2='A%77'} {t1 LIKE t2 ESCAPE '7'} $NCSL559test_expr expr-5.67a {t1='abc_', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 1560test_expr expr-5.67b {t1='abc_', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} $NCSL561test_expr expr-5.68a {t1='abc7', t2='a%7_'} {t1 LIKE t2 ESCAPE '7'} 0562test_expr expr-5.68b {t1='abc7', t2='A%7_'} {t1 LIKE t2 ESCAPE '7'} 0563 564# These are the same test as the block above, but using a multi-byte 565# character as the escape character.566if {"\u1234"!="u1234"} {567 test_expr expr-5.69a "t1='abc', t2='a_c'" \568 "t1 LIKE t2 ESCAPE '\u1234'" 1569 test_expr expr-5.69b "t1='abc', t2='A_C'" \570 "t1 LIKE t2 ESCAPE '\u1234'" $NCSL571 test_expr expr-5.70a "t1='a_c', t2='a\u1234_c'" \572 "t1 LIKE t2 ESCAPE '\u1234'" 1573 test_expr expr-5.70b "t1='a_c', t2='A\u1234_C'" \574 "t1 LIKE t2 ESCAPE '\u1234'" $NCSL575 test_expr expr-5.71a "t1='abc', t2='a\u1234_c'" \576 "t1 LIKE t2 ESCAPE '\u1234'" 0577 test_expr expr-5.71b "t1='abc', t2='A\u1234_C'" \578 "t1 LIKE t2 ESCAPE '\u1234'" 0579 test_expr expr-5.72a "t1='a\u1234Xc', t2='a\u1234_c'" \580 "t1 LIKE t2 ESCAPE '\u1234'" 0581 test_expr expr-5.72b "t1='a\u1234Xc', t2='A\u1234_C'" \582 "t1 LIKE t2 ESCAPE '\u1234'" 0583 test_expr expr-5.73a "t1='abcde', t2='a%e'" \584 "t1 LIKE t2 ESCAPE '\u1234'" 1585 test_expr expr-5.73b "t1='abcde', t2='A%E'" \586 "t1 LIKE t2 ESCAPE '\u1234'" $NCSL587 test_expr expr-5.74a "t1='abcde', t2='a\u1234%e'" \588 "t1 LIKE t2 ESCAPE '\u1234'" 0589 test_expr expr-5.74b "t1='abcde', t2='A\u1234%E'" \590 "t1 LIKE t2 ESCAPE '\u1234'" 0591 test_expr expr-5.75a "t1='a\u1234cde', t2='a\u1234%e'" \592 "t1 LIKE t2 ESCAPE '\u1234'" 0593 test_expr expr-5.75b "t1='a\u1234cde', t2='A\u1234%E'" \594 "t1 LIKE t2 ESCAPE '\u1234'" 0595 test_expr expr-5.76a "t1='a\u1234cde', t2='a\u1234\u1234%e'" \596 "t1 LIKE t2 ESCAPE '\u1234'" 1597 test_expr expr-5.76b "t1='a\u1234cde', t2='A\u1234\u1234%E'" \598 "t1 LIKE t2 ESCAPE '\u1234'" $NCSL599 test_expr expr-5.77a "t1='abc\u1234', t2='a%\u1234\u1234'" \600 "t1 LIKE t2 ESCAPE '\u1234'" 1601 test_expr expr-5.77b "t1='abc\u1234', t2='A%\u1234\u1234'" \602 "t1 LIKE t2 ESCAPE '\u1234'" $NCSL603 test_expr expr-5.78a "t1='abc_', t2='a%\u1234_'" \604 "t1 LIKE t2 ESCAPE '\u1234'" 1605 test_expr expr-5.78b "t1='abc_', t2='A%\u1234_'" \606 "t1 LIKE t2 ESCAPE '\u1234'" $NCSL607 test_expr expr-5.79a "t1='abc\u1234', t2='a%\u1234_'" \608 "t1 LIKE t2 ESCAPE '\u1234'" 0609 test_expr expr-5.79b "t1='abc\u1234', t2='A%\u1234_'" \610 "t1 LIKE t2 ESCAPE '\u1234'" 0611}612 613test_expr expr-6.1 {t1='abc', t2='xyz'} {t1 GLOB t2} 0614test_expr expr-6.2 {t1='abc', t2='ABC'} {t1 GLOB t2} 0615test_expr expr-6.3 {t1='abc', t2='A?C'} {t1 GLOB t2} 0616test_expr expr-6.4 {t1='abc', t2='a?c'} {t1 GLOB t2} 1617test_expr expr-6.5 {t1='abc', t2='abc?'} {t1 GLOB t2} 0618test_expr expr-6.6 {t1='abc', t2='A*C'} {t1 GLOB t2} 0619test_expr expr-6.7 {t1='abc', t2='a*c'} {t1 GLOB t2} 1620test_expr expr-6.8 {t1='abxyzzyc', t2='a*c'} {t1 GLOB t2} 1621test_expr expr-6.9 {t1='abxyzzy', t2='a*c'} {t1 GLOB t2} 0622test_expr expr-6.10 {t1='abxyzzycx', t2='a*c'} {t1 GLOB t2} 0623test_expr expr-6.11 {t1='abc', t2='xyz'} {t1 NOT GLOB t2} 1624test_expr expr-6.12 {t1='abc', t2='abc'} {t1 NOT GLOB t2} 0625test_expr expr-6.13 {t1='abc', t2='a[bx]c'} {t1 GLOB t2} 1626test_expr expr-6.14 {t1='abc', t2='a[cx]c'} {t1 GLOB t2} 0627test_expr expr-6.15 {t1='abc', t2='a[a-d]c'} {t1 GLOB t2} 1628test_expr expr-6.16 {t1='abc', t2='a[^a-d]c'} {t1 GLOB t2} 0629test_expr expr-6.17 {t1='abc', t2='a[A-Dc]c'} {t1 GLOB t2} 0630test_expr expr-6.18 {t1='abc', t2='a[^A-Dc]c'} {t1 GLOB t2} 1631test_expr expr-6.19 {t1='abc', t2='a[]b]c'} {t1 GLOB t2} 1632test_expr expr-6.20 {t1='abc', t2='a[^]b]c'} {t1 GLOB t2} 0633test_expr expr-6.21a {t1='abcdefg', t2='a*[de]g'} {t1 GLOB t2} 0634test_expr expr-6.21b {t1='abcdefg', t2='a*[df]g'} {t1 GLOB t2} 1635test_expr expr-6.21c {t1='abcdefg', t2='a*[d-h]g'} {t1 GLOB t2} 1636test_expr expr-6.21d {t1='abcdefg', t2='a*[b-e]g'} {t1 GLOB t2} 0637test_expr expr-6.22a {t1='abcdefg', t2='a*[^de]g'} {t1 GLOB t2} 1638test_expr expr-6.22b {t1='abcdefg', t2='a*[^def]g'} {t1 GLOB t2} 0639test_expr expr-6.23 {t1='abcdefg', t2='a*?g'} {t1 GLOB t2} 1640test_expr expr-6.24 {t1='ac', t2='a*c'} {t1 GLOB t2} 1641test_expr expr-6.25 {t1='ac', t2='a*?c'} {t1 GLOB t2} 0642test_expr expr-6.26 {t1='a*c', t2='a[*]c'} {t1 GLOB t2} 1643test_expr expr-6.27 {t1='a?c', t2='a[?]c'} {t1 GLOB t2} 1644test_expr expr-6.28 {t1='a[c', t2='a[[]c'} {t1 GLOB t2} 1645 646 647# These tests only work on versions of TCL that support Unicode648#649if {"\u1234"!="u1234"} {650 test_expr expr-6.26 "t1='a\u0080c', t2='a?c'" {t1 GLOB t2} 1651 test_expr expr-6.27 "t1='a\u07ffc', t2='a?c'" {t1 GLOB t2} 1652 test_expr expr-6.28 "t1='a\u0800c', t2='a?c'" {t1 GLOB t2} 1653 test_expr expr-6.29 "t1='a\uffffc', t2='a?c'" {t1 GLOB t2} 1654 test_expr expr-6.30 "t1='a\u1234', t2='a?'" {t1 GLOB t2} 1655 test_expr expr-6.31 "t1='a\u1234', t2='a??'" {t1 GLOB t2} 0656 test_expr expr-6.32 "t1='ax\u1234', t2='a?\u1234'" {t1 GLOB t2} 1657 test_expr expr-6.33 "t1='ax\u1234', t2='a*\u1234'" {t1 GLOB t2} 1658 test_expr expr-6.34 "t1='ax\u1234y\u1234', t2='a*\u1234'" {t1 GLOB t2} 1659 test_expr expr-6.35 "t1='a\u1234b', t2='a\[x\u1234y\]b'" {t1 GLOB t2} 1660 test_expr expr-6.36 "t1='a\u1234b', t2='a\[\u1233-\u1235\]b'" {t1 GLOB t2} 1661 test_expr expr-6.37 "t1='a\u1234b', t2='a\[\u1234-\u124f\]b'" {t1 GLOB t2} 1662 test_expr expr-6.38 "t1='a\u1234b', t2='a\[\u1235-\u124f\]b'" {t1 GLOB t2} 0663 test_expr expr-6.39 "t1='a\u1234b', t2='a\[a-\u1235\]b'" {t1 GLOB t2} 1664 test_expr expr-6.40 "t1='a\u1234b', t2='a\[a-\u1234\]b'" {t1 GLOB t2} 1665 test_expr expr-6.41 "t1='a\u1234b', t2='a\[a-\u1233\]b'" {t1 GLOB t2} 0666}667 668test_expr expr-6.51 {t1='ABC', t2='xyz'} {t1 GLOB t2} 0669test_expr expr-6.52 {t1='ABC', t2='abc'} {t1 GLOB t2} 0670test_expr expr-6.53 {t1='ABC', t2='a?c'} {t1 GLOB t2} 0671test_expr expr-6.54 {t1='ABC', t2='A?C'} {t1 GLOB t2} 1672test_expr expr-6.55 {t1='ABC', t2='abc?'} {t1 GLOB t2} 0673test_expr expr-6.56 {t1='ABC', t2='a*c'} {t1 GLOB t2} 0674test_expr expr-6.57 {t1='ABC', t2='A*C'} {t1 GLOB t2} 1675test_expr expr-6.58 {t1='ABxyzzyC', t2='A*C'} {t1 GLOB t2} 1676test_expr expr-6.59 {t1='ABxyzzy', t2='A*C'} {t1 GLOB t2} 0677test_expr expr-6.60 {t1='ABxyzzyCx', t2='A*C'} {t1 GLOB t2} 0678test_expr expr-6.61 {t1='ABC', t2='xyz'} {t1 NOT GLOB t2} 1679test_expr expr-6.62 {t1='ABC', t2='ABC'} {t1 NOT GLOB t2} 0680test_expr expr-6.63 {t1='ABC', t2='A[Bx]C'} {t1 GLOB t2} 1681test_expr expr-6.64 {t1='ABC', t2='A[Cx]C'} {t1 GLOB t2} 0682test_expr expr-6.65 {t1='ABC', t2='A[A-D]C'} {t1 GLOB t2} 1683test_expr expr-6.66 {t1='ABC', t2='A[^A-D]C'} {t1 GLOB t2} 0684test_expr expr-6.67 {t1='ABC', t2='A[a-dC]C'} {t1 GLOB t2} 0685test_expr expr-6.68 {t1='ABC', t2='A[^a-dC]C'} {t1 GLOB t2} 1686test_expr expr-6.69a {t1='ABC', t2='A[]B]C'} {t1 GLOB t2} 1687test_expr expr-6.69b {t1='A]C', t2='A[]B]C'} {t1 GLOB t2} 1688test_expr expr-6.70a {t1='ABC', t2='A[^]B]C'} {t1 GLOB t2} 0689test_expr expr-6.70b {t1='AxC', t2='A[^]B]C'} {t1 GLOB t2} 1690test_expr expr-6.70c {t1='A]C', t2='A[^]B]C'} {t1 GLOB t2} 0691test_expr expr-6.71 {t1='ABCDEFG', t2='A*[DE]G'} {t1 GLOB t2} 0692test_expr expr-6.72 {t1='ABCDEFG', t2='A*[^DE]G'} {t1 GLOB t2} 1693test_expr expr-6.73 {t1='ABCDEFG', t2='A*?G'} {t1 GLOB t2} 1694test_expr expr-6.74 {t1='AC', t2='A*C'} {t1 GLOB t2} 1695test_expr expr-6.75 {t1='AC', t2='A*?C'} {t1 GLOB t2} 0696 697test_expr expr-6.63 {t1=NULL, t2='a*?c'} {t1 GLOB t2} {{}}698test_expr expr-6.64 {t1='ac', t2=NULL} {t1 GLOB t2} {{}}699test_expr expr-6.65 {t1=NULL, t2='a*?c'} {t1 NOT GLOB t2} {{}}700test_expr expr-6.66 {t1='ac', t2=NULL} {t1 NOT GLOB t2} {{}}701 702# Check that the affinity of a CAST expression is calculated correctly.703ifcapable cast {704 test_expr expr-6.67 {t1='01', t2=1} {t1 = t2} 0705 test_expr expr-6.68 {t1='1', t2=1} {t1 = t2} 1706 test_expr expr-6.69 {t1='01', t2=1} {CAST(t1 AS INTEGER) = t2} 1707}708 709test_expr expr-case.1 {i1=1, i2=2} \710 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne711test_expr expr-case.2 {i1=2, i2=2} \712 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} eq713test_expr expr-case.3 {i1=NULL, i2=2} \714 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne715test_expr expr-case.4 {i1=2, i2=NULL} \716 {CASE WHEN i1 = i2 THEN 'eq' ELSE 'ne' END} ne717test_expr expr-case.5 {i1=2} \718 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} two719test_expr expr-case.6 {i1=1} \720 {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} one721test_expr expr-case.7 {i1=2} \722 {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error723test_expr expr-case.8 {i1=3} \724 {CASE i1 WHEN 1 THEN 'one' WHEN NULL THEN 'two' ELSE 'error' END} error725test_expr expr-case.9 {i1=3} \726 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 'error' END} error727test_expr expr-case.10 {i1=3} \728 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' END} {{}}729test_expr expr-case.11 {i1=null} \730 {CASE i1 WHEN 1 THEN 'one' WHEN 2 THEN 'two' ELSE 3 END} 3731test_expr expr-case.12 {i1=1} \732 {CASE i1 WHEN 1 THEN null WHEN 2 THEN 'two' ELSE 3 END} {{}}733test_expr expr-case.13 {i1=7} \734 { CASE WHEN i1 < 5 THEN 'low' 735 WHEN i1 < 10 THEN 'medium' 736 WHEN i1 < 15 THEN 'high' ELSE 'error' END} medium737 738 739# The sqliteExprIfFalse and sqliteExprIfTrue routines are only740# executed as part of a WHERE clause. Create a table suitable741# for testing these functions.742#743execsql {DROP TABLE test1}744execsql {CREATE TABLE test1(a int, b int);}745for {set i 1} {$i<=20} {incr i} {746 execsql "INSERT INTO test1 VALUES($i,[expr {1<<$i}])"747}748execsql "INSERT INTO test1 VALUES(NULL,0)"749do_test expr-7.1 {750 execsql {SELECT * FROM test1 ORDER BY a}751} {{} 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}752 753proc test_expr2 {name expr result} {754 do_test $name [format {755 execsql {SELECT a FROM test1 WHERE %s ORDER BY a}756 } $expr] $result757}758 759test_expr2 expr-7.2 {a<10 AND a>8} {9}760test_expr2 expr-7.3 {a<=10 AND a>=8} {8 9 10}761test_expr2 expr-7.4 {a>=8 AND a<=10} {8 9 10}762test_expr2 expr-7.5 {a>=20 OR a<=1} {1 20}763test_expr2 expr-7.6 {b!=4 AND a<=3} {1 3}764test_expr2 expr-7.7 {b==8 OR b==16 OR b==32} {3 4 5}765test_expr2 expr-7.8 {NOT b<>8 OR b==1024} {3 10}766test_expr2 expr-7.9 {b LIKE '10%'} {10 20}767test_expr2 expr-7.10 {b LIKE '_4'} {6}768test_expr2 expr-7.11 {a GLOB '1?'} {10 11 12 13 14 15 16 17 18 19}769test_expr2 expr-7.12 {b GLOB '1*4'} {10 14}770test_expr2 expr-7.13 {b GLOB '*1[456]'} {4}771test_expr2 expr-7.14 {a ISNULL} {{}}772test_expr2 expr-7.15 {a NOTNULL AND a<3} {1 2}773test_expr2 expr-7.16 {a AND a<3} {1 2}774test_expr2 expr-7.17 {NOT a} {}775test_expr2 expr-7.18 {a==11 OR (b>1000 AND b<2000)} {10 11}776test_expr2 expr-7.19 {a<=1 OR a>=20} {1 20}777test_expr2 expr-7.20 {a<1 OR a>20} {}778test_expr2 expr-7.21 {a>19 OR a<1} {20}779test_expr2 expr-7.22 {a!=1 OR a=100} \780 {2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}781test_expr2 expr-7.23 {(a notnull AND a<4) OR a==8} {1 2 3 8}782test_expr2 expr-7.24 {a LIKE '2_' OR a==8} {8 20}783test_expr2 expr-7.25 {a GLOB '2?' OR a==8} {8 20}784test_expr2 expr-7.26 {a isnull OR a=8} {{} 8}785test_expr2 expr-7.27 {a notnull OR a=8} \786 {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}787test_expr2 expr-7.28 {a<0 OR b=0} {{}}788test_expr2 expr-7.29 {b=0 OR a<0} {{}}789test_expr2 expr-7.30 {a<0 AND b=0} {}790test_expr2 expr-7.31 {b=0 AND a<0} {}791test_expr2 expr-7.32 {a IS NULL AND (a<0 OR b=0)} {{}}792test_expr2 expr-7.33 {a IS NULL AND (b=0 OR a<0)} {{}}793test_expr2 expr-7.34 {a IS NULL AND (a<0 AND b=0)} {}794test_expr2 expr-7.35 {a IS NULL AND (b=0 AND a<0)} {}795test_expr2 expr-7.32 {(a<0 OR b=0) AND a IS NULL} {{}}796test_expr2 expr-7.33 {(b=0 OR a<0) AND a IS NULL} {{}}797test_expr2 expr-7.34 {(a<0 AND b=0) AND a IS NULL} {}798test_expr2 expr-7.35 {(b=0 AND a<0) AND a IS NULL} {}799test_expr2 expr-7.36 {a<2 OR (a<0 OR b=0)} {{} 1}800test_expr2 expr-7.37 {a<2 OR (b=0 OR a<0)} {{} 1}801test_expr2 expr-7.38 {a<2 OR (a<0 AND b=0)} {1}802test_expr2 expr-7.39 {a<2 OR (b=0 AND a<0)} {1}803ifcapable floatingpoint {804 test_expr2 expr-7.40 {((a<2 OR a IS NULL) AND b<3) OR b>1e10} {{} 1}805}806test_expr2 expr-7.41 {a BETWEEN -1 AND 1} {1}807test_expr2 expr-7.42 {a NOT BETWEEN 2 AND 100} {1}808test_expr2 expr-7.43 {(b+1234)||'this is a string that is at least 32 characters long' BETWEEN 1 AND 2} {}809test_expr2 expr-7.44 {123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a BETWEEN '123a' AND '123b'} {}810test_expr2 expr-7.45 {((123||'xabcdefghijklmnopqrstuvwyxz01234567890'||a) BETWEEN '123a' AND '123b')<0} {}811test_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}812 813test_expr2 expr-7.50 {((a between 1 and 2 OR 0) AND 1) OR 0} {1 2}814test_expr2 expr-7.51 {((a not between 3 and 100 OR 0) AND 1) OR 0} {1 2}815 816ifcapable subquery {817 test_expr2 expr-7.52 {((a in (1,2) OR 0) AND 1) OR 0} {1 2}818 test_expr2 expr-7.53 \819 {((a not in (3,4,5,6,7,8,9,10) OR 0) AND a<11) OR 0} {1 2}820}821test_expr2 expr-7.54 {((a>0 OR 0) AND a<3) OR 0} {1 2}822ifcapable subquery {823 test_expr2 expr-7.55 {((a in (1,2) OR 0) IS NULL AND 1) OR 0} {{}}824 test_expr2 expr-7.56 \825 {((a not in (3,4,5,6,7,8,9,10) IS NULL OR 0) AND 1) OR 0} {{}}826}827test_expr2 expr-7.57 {((a>0 IS NULL OR 0) AND 1) OR 0} {{}}828 829test_expr2 expr-7.58 {(a||'')<='1'} {1}830 831test_expr2 expr-7.59 {LIKE('10%',b)} {10 20}832test_expr2 expr-7.60 {LIKE('_4',b)} {6}833test_expr2 expr-7.61 {GLOB('1?',a)} {10 11 12 13 14 15 16 17 18 19}834test_expr2 expr-7.62 {GLOB('1*4',b)} {10 14}835test_expr2 expr-7.63 {GLOB('*1[456]',b)} {4}836test_expr2 expr-7.64 {b = abs(-2)} {1}837test_expr2 expr-7.65 {b = abs(+-2)} {1}838test_expr2 expr-7.66 {b = abs(++-2)} {1}839test_expr2 expr-7.67 {b = abs(+-+-2)} {1}840test_expr2 expr-7.68 {b = abs(+-++-2)} {1}841test_expr2 expr-7.69 {b = abs(++++-2)} {1}842test_expr2 expr-7.70 {b = 5 - abs(+3)} {1}843test_expr2 expr-7.71 {b = 5 - abs(-3)} {1}844ifcapable floatingpoint {845 test_expr2 expr-7.72 {b = abs(-2.0)} {1}846}847test_expr2 expr-7.73 {b = 6 - abs(-a)} {2}848ifcapable floatingpoint {849 test_expr2 expr-7.74 {b = abs(8.0)} {3}850}851 852# Test the CURRENT_TIME, CURRENT_DATE, and CURRENT_TIMESTAMP expressions.853#854ifcapable {floatingpoint} {855 set sqlite_current_time 1157124849856 do_test expr-8.1 {857 execsql {SELECT CURRENT_TIME}858 } {15:34:09}859 do_test expr-8.2 {860 execsql {SELECT CURRENT_DATE}861 } {2006-09-01}862 do_test expr-8.3 {863 execsql {SELECT CURRENT_TIMESTAMP}864 } {{2006-09-01 15:34:09}}865}866ifcapable datetime {867 do_test expr-8.4 {868 execsql {SELECT CURRENT_TIME==time('now');}869 } 1870 do_test expr-8.5 {871 execsql {SELECT CURRENT_DATE==date('now');}872 } 1873 do_test expr-8.6 {874 execsql {SELECT CURRENT_TIMESTAMP==datetime('now');}875 } 1876}877set sqlite_current_time 0878 879ifcapable floatingpoint {880 do_test expr-9.1 {881 execsql {SELECT round(-('-'||'123'))}882 } 123.0883}884 885# Test an error message that can be generated by the LIKE expression886do_test expr-10.1 {887 catchsql {SELECT 'abc' LIKE 'abc' ESCAPE ''}888} {1 {ESCAPE expression must be a single character}}889do_test expr-10.2 {890 catchsql {SELECT 'abc' LIKE 'abc' ESCAPE 'ab'}891} {1 {ESCAPE expression must be a single character}}892 893# If we specify an integer constant that is bigger than the largest894# possible integer, code the integer as a real number.895#896do_test expr-11.1 {897 execsql {SELECT typeof(9223372036854775807)}898} {integer}899do_test expr-11.2 {900 execsql {SELECT typeof(00000009223372036854775807)}901} {integer}902do_test expr-11.3 {903 execsql {SELECT typeof(+9223372036854775807)}904} {integer}905do_test expr-11.4 {906 execsql {SELECT typeof(+000000009223372036854775807)}907} {integer}908do_test expr-11.5 {909 execsql {SELECT typeof(9223372036854775808)}910} {real}911do_test expr-11.6 {912 execsql {SELECT typeof(00000009223372036854775808)}913} {real}914do_test expr-11.7 {915 execsql {SELECT typeof(+9223372036854775808)}916} {real}917do_test expr-11.8 {918 execsql {SELECT typeof(+0000009223372036854775808)}919} {real}920do_test expr-11.11 {921 execsql {SELECT typeof(-9223372036854775808)}922} {integer}923do_test expr-11.12 {924 execsql {SELECT typeof(-00000009223372036854775808)}925} {integer}926ifcapable floatingpoint {927 do_test expr-11.13 {928 execsql {SELECT typeof(-9223372036854775809)}929 } {real}930 do_test expr-11.14 {931 execsql {SELECT typeof(-00000009223372036854775809)}932 } {real}933}934 935# These two statements used to leak memory (because of missing %destructor936# directives in parse.y).937do_test expr-12.1 {938 catchsql {939 SELECT (CASE a>4 THEN 1 ELSE 0 END) FROM test1;940 }941} {1 {near "THEN": syntax error}}942do_test expr-12.2 {943 catchsql {944 SELECT (CASE WHEN a>4 THEN 1 ELSE 0) FROM test1;945 }946} {1 {near ")": syntax error}}947 948ifcapable floatingpoint {949 do_realnum_test expr-13.1 {950 execsql {951 SELECT 12345678901234567890;952 }953 } {1.23456789012346e+19}954}955 956# Implicit String->Integer conversion is used when possible.957#958if {[working_64bit_int]} {959 do_test expr-13.2 {960 execsql {961 SELECT 0+'9223372036854775807'962 }963 } {9223372036854775807}964 do_test expr-13.3 {965 execsql {966 SELECT '9223372036854775807'+0967 }968 } {9223372036854775807}969}970 971# If the value is too large, use String->Float conversion.972#973ifcapable floatingpoint {974 do_realnum_test expr-13.4 {975 execsql {976 SELECT 0+'9223372036854775808'977 }978 } {9.22337203685478e+18}979 do_realnum_test expr-13.5 {980 execsql {981 SELECT '9223372036854775808'+0982 }983 } {9.22337203685478e+18}984}985 986# Use String->float conversion if the value is explicitly a floating987# point value.988#989do_realnum_test expr-13.6 {990 execsql {991 SELECT 0+'9223372036854775807.0'992 }993} {9.22337203685478e+18}994do_realnum_test expr-13.7 {995 execsql {996 SELECT '9223372036854775807.0'+0997 }998} {9.22337203685478e+18}999 1000sqlite3_db_config db SQLITE_DBCONFIG_DQS_DML 11001do_execsql_test expr-13.8 {1002 SELECT "" <= '';1003} {1}1004do_execsql_test expr-13.9 {1005 SELECT '' <= "";1006} {1}1007 1008# 2018-02-26. Ticket https://sqlite.org/src/tktview/36fae083b450e3af851009# 1010do_execsql_test expr-14.1 {1011 DROP TABLE IF EXISTS t1;1012 CREATE TABLE t1(x);1013 INSERT INTO t1 VALUES(0),(1),(NULL),(0.5),('1x'),('0x');1014 SELECT count(*) FROM t11015 WHERE (x OR (8==9)) != (CASE WHEN x THEN 1 ELSE 0 END);1016} {0}1017do_execsql_test expr-14.2 {1018 SELECT count(*) FROM t11019 WHERE (x OR (8==9)) != (NOT NOT x);1020} {0}1021do_execsql_test expr-14.3 {1022 SELECT sum(NOT x) FROM t11023 WHERE x1024} {0}1025do_execsql_test expr-14.4 {1026 SELECT sum(CASE WHEN x THEN 0 ELSE 1 END) FROM t11027 WHERE x1028} {0}1029 1030 1031foreach {tn val} [list 1 NaN 2 -NaN 3 NaN0 4 -NaN0 5 Inf 6 -Inf] {1032 do_execsql_test expr-15.$tn.1 {1033 DROP TABLE IF EXISTS t1;1034 CREATE TABLE t1(x);1035 INSERT INTO t1 VALUES(0),(1),(NULL),(0.5),('1x'),('0x');1036 }1037 1038 do_test expr-15.$tn.2 {1039 set ::STMT [sqlite3_prepare db "INSERT INTO t1 VALUES(?)" -1 TAIL]1040 sqlite3_bind_double $::STMT 1 $val1041 sqlite3_step $::STMT1042 sqlite3_reset $::STMT1043 sqlite3_finalize $::STMT1044 } {SQLITE_OK}1045 1046 do_execsql_test expr-15.$tn.3 {1047 SELECT count(*) FROM t11048 WHERE (x OR (8==9)) != (CASE WHEN x THEN 1 ELSE 0 END);1049 } {0}1050 1051 do_execsql_test expr-15.$tn.4 {1052 SELECT count(*) FROM t11053 WHERE (x OR (8==9)) != (NOT NOT x);1054 } {0}1055 1056 do_execsql_test expr-15.$tn.5 {1057 SELECT sum(NOT x) FROM t11058 WHERE x1059 } {0}1060 1061 do_execsql_test expr-15.$tn.6 {1062 SELECT sum(CASE WHEN x THEN 0 ELSE 1 END) FROM t11063 WHERE x1064 } {0}1065}1066 1067reset_db1068sqlite3_test_control SQLITE_TESTCTRL_INTERNAL_FUNCTIONS db1069do_execsql_test expr-16.1 {1070 CREATE TABLE t1(a,b,c);1071 CREATE TABLE dual(dummy);1072 INSERT INTO dual VALUES('X');1073} {}1074do_execsql_test expr-16.100 {1075 SELECT implies_nonnull_row( (b=1 AND 0)>(b=3 AND 0),a)1076 FROM dual LEFT JOIN t1;1077} {0}1078do_execsql_test expr-16.101 {1079 SELECT implies_nonnull_row( (b=1 AND 0)>(b=3 AND a=4),a)1080 FROM dual LEFT JOIN t1;1081} {1}1082do_execsql_test expr-16.102 {1083 SELECT implies_nonnull_row( (b=1 AND a=2)>(b=3 AND a=4),a)1084 FROM dual LEFT JOIN t1;1085} {1}1086 1087finish_test1088