/ Hex Artifact Content
Login

Artifact eb597379dbcefa24765763d7f682c00cb5924fa9:


0000: 23 20 32 30 31 34 2d 30 33 2d 32 34 0a 23 0a 23  # 2014-03-24.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u give..#.#*****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 0a 23 20 0a 23 20 54 65 73 74 73 20 74 6f  **.# .# Tests to
0170: 20 76 65 72 69 66 79 20 74 68 61 74 20 61 72 69   verify that ari
0180: 74 68 6d 65 74 69 63 20 6f 70 65 72 61 74 6f 72  thmetic operator
0190: 73 20 64 6f 20 6e 6f 74 20 63 68 61 6e 67 65 20  s do not change 
01a0: 74 68 65 20 74 79 70 65 20 6f 66 0a 23 20 69 6e  the type of.# in
01b0: 70 75 74 20 6f 70 65 72 61 6e 64 73 2e 20 20 54  put operands.  T
01c0: 69 63 6b 65 74 20 5b 61 38 61 30 64 32 39 39 36  icket [a8a0d2996
01d0: 61 5d 0a 23 0a 0a 73 65 74 20 74 65 73 74 64 69  a].#..set testdi
01e0: 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20  r [file dirname 
01f0: 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24  $argv0].source $
0200: 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74  testdir/tester.t
0210: 63 6c 0a 73 65 74 20 74 65 73 74 70 72 65 66 69  cl.set testprefi
0220: 78 20 74 6b 74 2d 61 38 61 30 64 32 39 39 36 61  x tkt-a8a0d2996a
0230: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
0240: 74 20 31 2e 30 20 7b 0a 20 20 43 52 45 41 54 45  t 1.0 {.  CREATE
0250: 20 54 41 42 4c 45 20 74 28 78 2c 79 29 3b 0a 20   TABLE t(x,y);. 
0260: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 20 56   INSERT INTO t V
0270: 41 4c 55 45 53 28 27 31 27 2c 27 31 27 29 3b 0a  ALUES('1','1');.
0280: 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66 28    SELECT typeof(
0290: 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20 46 52  x), typeof(y) FR
02a0: 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78 2b 30  OM t WHERE 1=x+0
02b0: 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d 20 7b   AND y=='1';.} {
02c0: 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f 65 78  text text}.do_ex
02d0: 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 31 20 7b  ecsql_test 1.1 {
02e0: 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66  .  SELECT typeof
02f0: 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20 46  (x), typeof(y) F
0300: 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78 2d  ROM t WHERE 1=x-
0310: 30 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d 20  0 AND y=='1';.} 
0320: 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f 65  {text text}.do_e
0330: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 32 20  xecsql_test 1.2 
0340: 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f  {.  SELECT typeo
0350: 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20  f(x), typeof(y) 
0360: 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78  FROM t WHERE 1=x
0370: 2a 31 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d  *1 AND y=='1';.}
0380: 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f   {text text}.do_
0390: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 33  execsql_test 1.3
03a0: 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65   {.  SELECT type
03b0: 6f 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29  of(x), typeof(y)
03c0: 20 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d   FROM t WHERE 1=
03d0: 78 2f 31 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a  x/1 AND y=='1';.
03e0: 7d 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f  } {text text}.do
03f0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e  _execsql_test 1.
0400: 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70  4 {.  SELECT typ
0410: 65 6f 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79  eof(x), typeof(y
0420: 29 20 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31  ) FROM t WHERE 1
0430: 3d 78 25 34 20 41 4e 44 20 79 3d 3d 27 31 27 3b  =x%4 AND y=='1';
0440: 0a 7d 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 0a  .} {text text}..
0450: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0460: 32 2e 30 20 7b 0a 20 20 55 50 44 41 54 45 20 74  2.0 {.  UPDATE t
0470: 20 53 45 54 20 78 3d 27 31 78 79 7a 7a 79 27 3b   SET x='1xyzzy';
0480: 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66  .  SELECT typeof
0490: 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20 46  (x), typeof(y) F
04a0: 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78 2b  ROM t WHERE 1=x+
04b0: 30 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d 20  0 AND y=='1';.} 
04c0: 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f 65  {text text}.do_e
04d0: 78 65 63 73 71 6c 5f 74 65 73 74 20 32 2e 31 20  xecsql_test 2.1 
04e0: 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f  {.  SELECT typeo
04f0: 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20  f(x), typeof(y) 
0500: 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78  FROM t WHERE 1=x
0510: 2d 30 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d  -0 AND y=='1';.}
0520: 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f   {text text}.do_
0530: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 32 2e 32  execsql_test 2.2
0540: 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65   {.  SELECT type
0550: 6f 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29  of(x), typeof(y)
0560: 20 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d   FROM t WHERE 1=
0570: 78 2a 31 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a  x*1 AND y=='1';.
0580: 7d 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f  } {text text}.do
0590: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 32 2e  _execsql_test 2.
05a0: 33 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70  3 {.  SELECT typ
05b0: 65 6f 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79  eof(x), typeof(y
05c0: 29 20 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31  ) FROM t WHERE 1
05d0: 3d 78 2f 31 20 41 4e 44 20 79 3d 3d 27 31 27 3b  =x/1 AND y=='1';
05e0: 0a 7d 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 64  .} {text text}.d
05f0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 32  o_execsql_test 2
0600: 2e 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 79  .4 {.  SELECT ty
0610: 70 65 6f 66 28 78 29 2c 20 74 79 70 65 6f 66 28  peof(x), typeof(
0620: 79 29 20 46 52 4f 4d 20 74 20 57 48 45 52 45 20  y) FROM t WHERE 
0630: 31 3d 78 25 34 20 41 4e 44 20 79 3d 3d 27 31 27  1=x%4 AND y=='1'
0640: 3b 0a 7d 20 7b 74 65 78 74 20 74 65 78 74 7d 0a  ;.} {text text}.
0650: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
0660: 74 20 33 2e 30 20 7b 0a 20 20 55 50 44 41 54 45  t 3.0 {.  UPDATE
0670: 20 74 20 53 45 54 20 78 3d 27 31 2e 30 27 3b 0a   t SET x='1.0';.
0680: 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66 28    SELECT typeof(
0690: 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20 46 52  x), typeof(y) FR
06a0: 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78 2b 30  OM t WHERE 1=x+0
06b0: 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d 20 7b   AND y=='1';.} {
06c0: 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f 65 78  text text}.do_ex
06d0: 65 63 73 71 6c 5f 74 65 73 74 20 33 2e 31 20 7b  ecsql_test 3.1 {
06e0: 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f 66  .  SELECT typeof
06f0: 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20 46  (x), typeof(y) F
0700: 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78 2d  ROM t WHERE 1=x-
0710: 30 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d 20  0 AND y=='1';.} 
0720: 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f 65  {text text}.do_e
0730: 78 65 63 73 71 6c 5f 74 65 73 74 20 33 2e 32 20  xecsql_test 3.2 
0740: 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65 6f  {.  SELECT typeo
0750: 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29 20  f(x), typeof(y) 
0760: 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d 78  FROM t WHERE 1=x
0770: 2a 31 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a 7d  *1 AND y=='1';.}
0780: 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f 5f   {text text}.do_
0790: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 33 2e 33  execsql_test 3.3
07a0: 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70 65   {.  SELECT type
07b0: 6f 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79 29  of(x), typeof(y)
07c0: 20 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31 3d   FROM t WHERE 1=
07d0: 78 2f 31 20 41 4e 44 20 79 3d 3d 27 31 27 3b 0a  x/1 AND y=='1';.
07e0: 7d 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 64 6f  } {text text}.do
07f0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 33 2e  _execsql_test 3.
0800: 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 74 79 70  4 {.  SELECT typ
0810: 65 6f 66 28 78 29 2c 20 74 79 70 65 6f 66 28 79  eof(x), typeof(y
0820: 29 20 46 52 4f 4d 20 74 20 57 48 45 52 45 20 31  ) FROM t WHERE 1
0830: 3d 78 25 34 20 41 4e 44 20 79 3d 3d 27 31 27 3b  =x%4 AND y=='1';
0840: 0a 7d 20 7b 74 65 78 74 20 74 65 78 74 7d 0a 0a  .} {text text}..
0850: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0860: 34 2e 30 20 7b 0a 20 20 53 45 4c 45 43 54 20 31  4.0 {.  SELECT 1
0870: 2b 31 2e 3b 0a 7d 20 7b 32 2e 30 7d 0a 64 6f 5f  +1.;.} {2.0}.do_
0880: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 34 2e 31  execsql_test 4.1
0890: 20 7b 0a 20 20 53 45 4c 45 43 54 20 27 31 2e 32   {.  SELECT '1.2
08a0: 33 65 36 34 27 2f 27 31 2e 30 30 30 30 65 2b 36  3e64'/'1.0000e+6
08b0: 32 27 3b 0a 7d 20 7b 31 32 33 2e 30 7d 0a 64 6f  2';.} {123.0}.do
08c0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 34 2e  _execsql_test 4.
08d0: 32 20 7b 0a 20 20 53 45 4c 45 43 54 20 27 31 30  2 {.  SELECT '10
08e0: 30 78 27 2b 27 2d 32 79 27 3b 0a 7d 20 7b 39 38  0x'+'-2y';.} {98
08f0: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
0900: 74 20 34 2e 33 20 7b 0a 20 20 53 45 4c 45 43 54  t 4.3 {.  SELECT
0910: 20 27 31 30 30 78 27 2b 27 34 2e 35 79 27 3b 0a   '100x'+'4.5y';.
0920: 7d 20 7b 31 30 34 2e 35 7d 0a 64 6f 5f 65 78 65  } {104.5}.do_exe
0930: 63 73 71 6c 5f 74 65 73 74 20 34 2e 34 20 7b 0a  csql_test 4.4 {.
0940: 20 20 53 45 4c 45 43 54 20 27 2d 39 32 32 33 33    SELECT '-92233
0950: 37 32 30 33 36 38 35 34 37 37 35 38 30 37 78 27  72036854775807x'
0960: 2d 27 31 78 27 3b 0a 7d 20 7b 2d 39 2e 32 32 33  -'1x';.} {-9.223
0970: 33 37 32 30 33 36 38 35 34 37 38 65 2b 31 38 7d  37203685478e+18}
0980: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
0990: 20 34 2e 35 20 7b 0a 20 20 53 45 4c 45 43 54 20   4.5 {.  SELECT 
09a0: 27 39 32 32 33 33 37 32 30 33 36 38 35 34 37 37  '922337203685477
09b0: 35 38 30 36 78 27 2b 27 31 78 27 3b 0a 7d 20 7b  5806x'+'1x';.} {
09c0: 39 2e 32 32 33 33 37 32 30 33 36 38 35 34 37 38  9.22337203685478
09d0: 65 2b 31 38 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  e+18}.do_execsql
09e0: 5f 74 65 73 74 20 34 2e 36 20 7b 0a 20 20 53 45  _test 4.6 {.  SE
09f0: 4c 45 43 54 20 27 31 32 33 34 78 27 2f 27 31 30  LECT '1234x'/'10
0a00: 79 27 3b 0a 7d 20 7b 31 32 33 2e 34 7d 0a        y';.} {123.4}.