test/cast.test

   1 # 2005 June 25
   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 the CAST operator.
  13 #
  14 # $Id: cast.test,v 1.10 2008/11/06 15:33:04 drh Exp $
  15
  16 set testdir [file dirname $argv0]
  17 source $testdir/tester.tcl
  18
  19 # Only run these tests if the build includes the CAST operator
  20 ifcapable !cast {
  21   finish_test
  22   return
  23 }
  24
  25 # Tests for the CAST( AS blob), CAST( AS text) and CAST( AS numeric) built-ins
  26 #
  27 ifcapable bloblit {
  28   do_test cast-1.1 {
  29     execsql {SELECT x'616263'}
  30   } abc
  31   do_test cast-1.2 {
  32     execsql {SELECT typeof(x'616263')}
  33   } blob
  34   do_test cast-1.3 {
  35     execsql {SELECT CAST(x'616263' AS text)}
  36   } abc
  37   do_test cast-1.4 {
  38     execsql {SELECT typeof(CAST(x'616263' AS text))}
  39   } text
  40   do_test cast-1.5 {
  41     execsql {SELECT CAST(x'616263' AS numeric)}
  42   } 0
  43   do_test cast-1.6 {
  44     execsql {SELECT typeof(CAST(x'616263' AS numeric))}
  45   } integer
  46   do_test cast-1.7 {
  47     execsql {SELECT CAST(x'616263' AS blob)}
  48   } abc
  49   do_test cast-1.8 {
  50     execsql {SELECT typeof(CAST(x'616263' AS blob))}
  51   } blob
  52   do_test cast-1.9 {
  53     execsql {SELECT CAST(x'616263' AS integer)}
  54   } 0
  55   do_test cast-1.10 {
  56     execsql {SELECT typeof(CAST(x'616263' AS integer))}
  57   } integer
  58 }
  59 do_test cast-1.11 {
  60   execsql {SELECT null}
  61 } {{}}
  62 do_test cast-1.12 {
  63   execsql {SELECT typeof(NULL)}
  64 } null
  65 do_test cast-1.13 {
  66   execsql {SELECT CAST(NULL AS text)}
  67 } {{}}
  68 do_test cast-1.14 {
  69   execsql {SELECT typeof(CAST(NULL AS text))}
  70 } null
  71 do_test cast-1.15 {
  72   execsql {SELECT CAST(NULL AS numeric)}
  73 } {{}}
  74 do_test cast-1.16 {
  75   execsql {SELECT typeof(CAST(NULL AS numeric))}
  76 } null
  77 do_test cast-1.17 {
  78   execsql {SELECT CAST(NULL AS blob)}
  79 } {{}}
  80 do_test cast-1.18 {
  81   execsql {SELECT typeof(CAST(NULL AS blob))}
  82 } null
  83 do_test cast-1.19 {
  84   execsql {SELECT CAST(NULL AS integer)}
  85 } {{}}
  86 do_test cast-1.20 {
  87   execsql {SELECT typeof(CAST(NULL AS integer))}
  88 } null
  89 do_test cast-1.21 {
  90   execsql {SELECT 123}
  91 } {123}
  92 do_test cast-1.22 {
  93   execsql {SELECT typeof(123)}
  94 } integer
  95 do_test cast-1.23 {
  96   execsql {SELECT CAST(123 AS text)}
  97 } {123}
  98 do_test cast-1.24 {
  99   execsql {SELECT typeof(CAST(123 AS text))}
 100 } text
 101 do_test cast-1.25 {
 102   execsql {SELECT CAST(123 AS numeric)}
 103 } 123
 104 do_test cast-1.26 {
 105   execsql {SELECT typeof(CAST(123 AS numeric))}
 106 } integer
 107 do_test cast-1.27 {
 108   execsql {SELECT CAST(123 AS blob)}
 109 } {123}
 110 do_test cast-1.28 {
 111   execsql {SELECT typeof(CAST(123 AS blob))}
 112 } blob
 113 do_test cast-1.29 {
 114   execsql {SELECT CAST(123 AS integer)}
 115 } {123}
 116 do_test cast-1.30 {
 117   execsql {SELECT typeof(CAST(123 AS integer))}
 118 } integer
 119 do_test cast-1.31 {
 120   execsql {SELECT 123.456}
 121 } {123.456}
 122 do_test cast-1.32 {
 123   execsql {SELECT typeof(123.456)}
 124 } real
 125 do_test cast-1.33 {
 126   execsql {SELECT CAST(123.456 AS text)}
 127 } {123.456}
 128 do_test cast-1.34 {
 129   execsql {SELECT typeof(CAST(123.456 AS text))}
 130 } text
 131 do_test cast-1.35 {
 132   execsql {SELECT CAST(123.456 AS numeric)}
 133 } 123.456
 134 do_test cast-1.36 {
 135   execsql {SELECT typeof(CAST(123.456 AS numeric))}
 136 } real
 137 do_test cast-1.37 {
 138   execsql {SELECT CAST(123.456 AS blob)}
 139 } {123.456}
 140 do_test cast-1.38 {
 141   execsql {SELECT typeof(CAST(123.456 AS blob))}
 142 } blob
 143 do_test cast-1.39 {
 144   execsql {SELECT CAST(123.456 AS integer)}
 145 } {123}
 146 do_test cast-1.38 {
 147   execsql {SELECT typeof(CAST(123.456 AS integer))}
 148 } integer
 149 do_test cast-1.41 {
 150   execsql {SELECT '123abc'}
 151 } {123abc}
 152 do_test cast-1.42 {
 153   execsql {SELECT typeof('123abc')}
 154 } text
 155 do_test cast-1.43 {
 156   execsql {SELECT CAST('123abc' AS text)}
 157 } {123abc}
 158 do_test cast-1.44 {
 159   execsql {SELECT typeof(CAST('123abc' AS text))}
 160 } text
 161 do_test cast-1.45 {
 162   execsql {SELECT CAST('123abc' AS numeric)}
 163 } 123
 164 do_test cast-1.46 {
 165   execsql {SELECT typeof(CAST('123abc' AS numeric))}
 166 } integer
 167 do_test cast-1.47 {
 168   execsql {SELECT CAST('123abc' AS blob)}
 169 } {123abc}
 170 do_test cast-1.48 {
 171   execsql {SELECT typeof(CAST('123abc' AS blob))}
 172 } blob
 173 do_test cast-1.49 {
 174   execsql {SELECT CAST('123abc' AS integer)}
 175 } 123
 176 do_test cast-1.50 {
 177   execsql {SELECT typeof(CAST('123abc' AS integer))}
 178 } integer
 179 do_test cast-1.51 {
 180   execsql {SELECT CAST('123.5abc' AS numeric)}
 181 } 123.5
 182 do_test cast-1.53 {
 183   execsql {SELECT CAST('123.5abc' AS integer)}
 184 } 123
 185
 186 do_test cast-1.60 {
 187   execsql {SELECT CAST(null AS REAL)}
 188 } {{}}
 189 do_test cast-1.61 {
 190   execsql {SELECT typeof(CAST(null AS REAL))}
 191 } {null}
 192 do_test cast-1.62 {
 193   execsql {SELECT CAST(1 AS REAL)}
 194 } {1.0}
 195 do_test cast-1.63 {
 196   execsql {SELECT typeof(CAST(1 AS REAL))}
 197 } {real}
 198 do_test cast-1.64 {
 199   execsql {SELECT CAST('1' AS REAL)}
 200 } {1.0}
 201 do_test cast-1.65 {
 202   execsql {SELECT typeof(CAST('1' AS REAL))}
 203 } {real}
 204 do_test cast-1.66 {
 205   execsql {SELECT CAST('abc' AS REAL)}
 206 } {0.0}
 207 do_test cast-1.67 {
 208   execsql {SELECT typeof(CAST('abc' AS REAL))}
 209 } {real}
 210 do_test cast-1.68 {
 211   execsql {SELECT CAST(x'31' AS REAL)}
 212 } {1.0}
 213 do_test cast-1.69 {
 214   execsql {SELECT typeof(CAST(x'31' AS REAL))}
 215 } {real}
 216
 217
 218 # Ticket #1662.  Ignore leading spaces in numbers when casting.
 219 #
 220 do_test cast-2.1 {
 221   execsql {SELECT CAST('   123' AS integer)}
 222 } 123
 223 do_test cast-2.2 {
 224   execsql {SELECT CAST('   -123.456' AS real)}
 225 } -123.456
 226
 227 # ticket #2364.  Use full percision integers if possible when casting
 228 # to numeric.  Do not fallback to real (and the corresponding 48-bit
 229 # mantissa) unless absolutely necessary.
 230 #
 231 do_test cast-3.1 {
 232   execsql {SELECT CAST(9223372036854774800 AS integer)}
 233 } 9223372036854774800
 234 do_test cast-3.2 {
 235   execsql {SELECT CAST(9223372036854774800 AS numeric)}
 236 } 9223372036854774800
 237 breakpoint
 238 do_realnum_test cast-3.3 {
 239   execsql {SELECT CAST(9223372036854774800 AS real)}
 240 } 9.22337203685477e+18
 241 do_test cast-3.4 {
 242   execsql {SELECT CAST(CAST(9223372036854774800 AS real) AS integer)}
 243 } 9223372036854774784
 244 do_test cast-3.5 {
 245   execsql {SELECT CAST(-9223372036854774800 AS integer)}
 246 } -9223372036854774800
 247 do_test cast-3.6 {
 248   execsql {SELECT CAST(-9223372036854774800 AS numeric)}
 249 } -9223372036854774800
 250 do_realnum_test cast-3.7 {
 251   execsql {SELECT CAST(-9223372036854774800 AS real)}
 252 } -9.22337203685477e+18
 253 do_test cast-3.8 {
 254   execsql {SELECT CAST(CAST(-9223372036854774800 AS real) AS integer)}
 255 } -9223372036854774784
 256 do_test cast-3.11 {
 257   execsql {SELECT CAST('9223372036854774800' AS integer)}
 258 } 9223372036854774800
 259 do_test cast-3.12 {
 260   execsql {SELECT CAST('9223372036854774800' AS numeric)}
 261 } 9223372036854774800
 262 do_realnum_test cast-3.13 {
 263   execsql {SELECT CAST('9223372036854774800' AS real)}
 264 } 9.22337203685477e+18
 265 ifcapable long_double {
 266   do_test cast-3.14 {
 267     execsql {SELECT CAST(CAST('9223372036854774800' AS real) AS integer)}
 268   } 9223372036854774784
 269 }
 270 do_test cast-3.15 {
 271   execsql {SELECT CAST('-9223372036854774800' AS integer)}
 272 } -9223372036854774800
 273 do_test cast-3.16 {
 274   execsql {SELECT CAST('-9223372036854774800' AS numeric)}
 275 } -9223372036854774800
 276 do_realnum_test cast-3.17 {
 277   execsql {SELECT CAST('-9223372036854774800' AS real)}
 278 } -9.22337203685477e+18
 279 ifcapable long_double {
 280   do_test cast-3.18 {
 281     execsql {SELECT CAST(CAST('-9223372036854774800' AS real) AS integer)}
 282   } -9223372036854774784
 283 }
 284 if {[db eval {PRAGMA encoding}]=="UTF-8"} {
 285   do_test cast-3.21 {
 286     execsql {SELECT CAST(x'39323233333732303336383534373734383030' AS integer)}
 287   } 9223372036854774800
 288   do_test cast-3.22 {
 289     execsql {SELECT CAST(x'39323233333732303336383534373734383030' AS numeric)}
 290   } 9223372036854774800
 291   do_realnum_test cast-3.23 {
 292     execsql {SELECT CAST(x'39323233333732303336383534373734383030' AS real)}
 293   } 9.22337203685477e+18
 294   ifcapable long_double {
 295     do_test cast-3.24 {
 296       execsql {
 297         SELECT CAST(CAST(x'39323233333732303336383534373734383030' AS real)
 298                     AS integer)
 299       }
 300     } 9223372036854774784
 301   }
 302 }
 303 do_test cast-3.31 {
 304   execsql {SELECT CAST(NULL AS numeric)}
 305 } {{}}
 306
 307 # Test to see if it is possible to trick SQLite into reading past
 308 # the end of a blob when converting it to a number.
 309 do_test cast-3.32.1 {
 310   set blob "1234567890"
 311   set DB [sqlite3_connection_pointer db]
 312   set ::STMT [sqlite3_prepare $DB {SELECT CAST(? AS real)} -1 TAIL]
 313   sqlite3_bind_blob -static $::STMT 1 $blob 5
 314   sqlite3_step $::STMT
 315 } {SQLITE_ROW}
 316 do_test cast-3.32.2 {
 317   sqlite3_column_int $::STMT 0
 318 } {12345}
 319 do_test cast-3.32.3 {
 320   sqlite3_finalize $::STMT
 321 } {SQLITE_OK}
 322
 323
 324 do_test cast-4.1 {
 325   db eval {
 326     CREATE TABLE t1(a);
 327     INSERT INTO t1 VALUES('abc');
 328     SELECT a, CAST(a AS integer) FROM t1;
 329   }
 330 } {abc 0}
 331 do_test cast-4.2 {
 332   db eval {
 333     SELECT CAST(a AS integer), a FROM t1;
 334   }
 335 } {0 abc}
 336 do_test cast-4.3 {
 337   db eval {
 338     SELECT a, CAST(a AS integer), a FROM t1;
 339   }
 340 } {abc 0 abc}
 341 do_test cast-4.4 {
 342   db eval {
 343     SELECT CAST(a AS integer), a, CAST(a AS real), a FROM t1;
 344   }
 345 } {0 abc 0.0 abc}
 346
 347 # Added 2018-01-26
 348 #
 349 # EVIDENCE-OF: R-48741-32454 If the prefix integer is greater than
 350 # +9223372036854775807 then the result of the cast is exactly
 351 # +9223372036854775807.
 352 do_execsql_test cast-5.1 {
 353   SELECT CAST('9223372036854775808' AS integer);
 354   SELECT CAST('  +000009223372036854775808' AS integer);
 355   SELECT CAST('12345678901234567890123' AS INTEGER);
 356 } {9223372036854775807 9223372036854775807 9223372036854775807}
 357
 358 # EVIDENCE-OF: R-06028-16857 Similarly, if the prefix integer is less
 359 # than -9223372036854775808 then the result of the cast is exactly
 360 # -9223372036854775808.
 361 do_execsql_test cast-5.2 {
 362   SELECT CAST('-9223372036854775808' AS integer);
 363   SELECT CAST('-9223372036854775809' AS integer);
 364   SELECT CAST('-12345678901234567890123' AS INTEGER);
 365 } {-9223372036854775808 -9223372036854775808 -9223372036854775808}
 366
 367 # EVIDENCE-OF: R-33990-33527 When casting to INTEGER, if the text looks
 368 # like a floating point value with an exponent, the exponent will be
 369 # ignored because it is no part of the integer prefix.
 370 # EVIDENCE-OF: R-24225-46995 For example, "(CAST '123e+5' AS INTEGER)"
 371 # results in 123, not in 12300000.
 372 do_execsql_test cast-5.3 {
 373   SELECT CAST('123e+5' AS INTEGER);
 374   SELECT CAST('123e+5' AS NUMERIC);
 375   SELECT CAST('123e+5' AS REAL);
 376 } {123 12300000 12300000.0}
 377
 378
 379 # The following does not have anything to do with the CAST operator,
 380 # but it does deal with affinity transformations.
 381 #
 382 do_execsql_test cast-6.1 {
 383   DROP TABLE IF EXISTS t1;
 384   CREATE TABLE t1(a NUMERIC);
 385   INSERT INTO t1 VALUES
 386      ('9000000000000000001'),
 387      ('9000000000000000001 '),
 388      (' 9000000000000000001'),
 389      (' 9000000000000000001 ');
 390   SELECT * FROM t1;
 391 } {9000000000000000001 9000000000000000001 9000000000000000001 9000000000000000001}
 392
 393 # 2019-06-07
 394 # https://www.sqlite.org/src/info/4c2d7639f076aa7c
 395 do_execsql_test cast-7.1 {
 396   SELECT CAST('-' AS NUMERIC);
 397 } {0}
 398 do_execsql_test cast-7.2 {
 399   SELECT CAST('-0' AS NUMERIC);
 400 } {0}
 401 do_execsql_test cast-7.3 {
 402   SELECT CAST('+' AS NUMERIC);
 403 } {0}
 404 do_execsql_test cast-7.4 {
 405   SELECT CAST('/' AS NUMERIC);
 406 } {0}
 407
 408 # 2019-06-07
 409 # https://www.sqlite.org/src/info/e8bedb2a184001bb
 410 do_execsql_test cast-7.10 {
 411   SELECT '' - 2851427734582196970;
 412 } {-2851427734582196970}
 413 do_execsql_test cast-7.11 {
 414   SELECT 0 - 2851427734582196970;
 415 } {-2851427734582196970}
 416 do_execsql_test cast-7.12 {
 417   SELECT '' - 1;
 418 } {-1}
 419
 420 # 2019-06-10
 421 # https://www.sqlite.org/src/info/dd6bffbfb6e61db9
 422 #
 423 # EVIDENCE-OF: R-55084-10555 Casting a TEXT or BLOB value into NUMERIC
 424 # yields either an INTEGER or a REAL result.
 425 #
 426 do_execsql_test cast-7.20 {
 427   DROP TABLE IF EXISTS t0;
 428   CREATE TABLE t0 (c0 TEXT);
 429   INSERT INTO t0(c0) VALUES ('1.0');
 430   SELECT CAST(c0 AS NUMERIC) FROM t0;
 431 } {1}
 432
 433 # 2019-06-10
 434 # https://sqlite.org/src/info/27de823723a41df45af3
 435 #
 436 do_execsql_test cast-7.30 {
 437   SELECT -'.';
 438 } 0
 439 do_execsql_test cast-7.31 {
 440   SELECT '.'+0;
 441 } 0
 442 do_execsql_test cast-7.32 {
 443   SELECT CAST('.' AS numeric);
 444 } 0
 445 do_execsql_test cast-7.33 {
 446   SELECT -CAST('.' AS numeric);
 447 } 0
 448
 449 # 2019-06-12
 450 # https://www.sqlite.org/src/info/674385aeba91c774
 451 #
 452 do_execsql_test cast-7.40 {
 453   SELECT CAST('-0.0' AS numeric);
 454 } 0
 455 do_execsql_test cast-7.41 {
 456   SELECT CAST('0.0' AS numeric);
 457 } 0
 458 do_execsql_test cast-7.42 {
 459   SELECT CAST('+0.0' AS numeric);
 460 } 0
 461 do_execsql_test cast-7.43 {
 462   SELECT CAST('-1.0' AS numeric);
 463 } -1
 464
 465 ifcapable utf16 {
 466   reset_db
 467   execsql { PRAGMA encoding='utf16' }
 468
 469   do_execsql_test cast-8.1 {
 470     SELECT quote(X'310032003300')==quote(substr(X'310032003300', 1))
 471   } 1
 472   do_execsql_test cast-8.2 {
 473     SELECT CAST(X'310032003300' AS TEXT)
 474          ==CAST(substr(X'310032003300', 1) AS TEXT)
 475   } 1
 476 }
 477
 478 reset_db
 479 do_execsql_test cast-9.0 {
 480   CREATE TABLE t0(c0);
 481   INSERT INTO t0(c0) VALUES (0);
 482   CREATE VIEW v1(c0, c1) AS
 483     SELECT CAST(0.0 AS NUMERIC), COUNT(*) OVER () FROM t0;
 484   SELECT v1.c0 FROM v1, t0 WHERE v1.c0=0;
 485 } {0.0}
 486
 487 # Set the 2022-12-10 "reopen" of ticket [https://sqlite.org/src/tktview/57c47526c3]
 488 #
 489 do_execsql_test cast-9.1 {
 490   CREATE TABLE dual(dummy TEXT);
 491   INSERT INTO dual VALUES('X');
 492   SELECT CAST(4 AS NUMERIC);
 493 } {4}
 494 do_execsql_test cast-9.2 {
 495   SELECT CAST(4.0 AS NUMERIC);
 496 } {4.0}
 497 do_execsql_test cast-9.3 {
 498   SELECT CAST(4.5 AS NUMERIC);
 499 } {4.5}
 500 do_execsql_test cast-9.4 {
 501   SELECT x, typeof(x) FROM (SELECT CAST(4 AS NUMERIC) AS x) JOIN dual;
 502 } {4 integer}
 503 do_execsql_test cast-9.5 {
 504   SELECT x, typeof(x) FROM dual CROSS JOIN (SELECT CAST(4 AS NUMERIC) AS x);
 505 } {4 integer}
 506 do_execsql_test cast-9.10 {
 507   SELECT x, typeof(x) FROM (SELECT CAST(4.0 AS NUMERIC) AS x) JOIN dual;
 508 } {4.0 real}
 509 do_execsql_test cast-9.11 {
 510   SELECT x, typeof(x) FROM dual CROSS JOIN (SELECT CAST(4.0 AS NUMERIC) AS x);
 511 } {4.0 real}
 512 do_execsql_test cast-9.12 {
 513   SELECT x, typeof(x) FROM (SELECT CAST(4.5 AS NUMERIC) AS x) JOIN dual;
 514 } {4.5 real}
 515 do_execsql_test cast-9.13 {
 516   SELECT x, typeof(x) FROM dual CROSS JOIN (SELECT CAST(4.5 AS NUMERIC) AS x);
 517 } {4.5 real}
 518
 519 # 2022-12-15 dbsqlfuzz c9ee6f9a0a8b8fefb02cf69de2a8b67ca39525c8
 520 #
 521 # Added a new SQLITE_AFF_FLEXNUM that does not try to convert int to real or
 522 # real to int.
 523 #
 524 do_execsql_test cast-10.1 {
 525   VALUES(CAST(44 AS REAL)),(55);
 526 } {44.0 55}
 527 do_execsql_test cast-10.2 {
 528   SELECT CAST(44 AS REAL) AS 'm' UNION ALL SELECT 55;
 529 } {44.0 55}
 530 do_execsql_test cast-10.3 {
 531   SELECT * FROM (VALUES(CAST(44 AS REAL)),(55));
 532 } {44.0 55}
 533 do_execsql_test cast-10.4 {
 534   SELECT * FROM (SELECT CAST(44 AS REAL) AS 'm' UNION ALL SELECT 55);
 535 } {44.0 55}
 536 do_execsql_test cast-10.5 {
 537   SELECT * FROM dual CROSS JOIN (VALUES(CAST(44 AS REAL)),(55));
 538 } {X 44.0 X 55}
 539 do_execsql_test cast-10.6 {
 540   SELECT * FROM dual CROSS JOIN (SELECT CAST(44 AS REAL) AS 'm'
 541                                  UNION ALL SELECT 55);
 542 } {X 44.0 X 55}
 543 ifcapable vtab {
 544   do_execsql_test cast-10.7 {
 545     DROP VIEW v1;
 546     CREATE VIEW v1 AS SELECT CAST(44 AS REAL) AS 'm' UNION ALL SELECT 55;
 547     SELECT name, type FROM pragma_table_info('v1');
 548   } {m NUM}
 549   do_execsql_test cast-10.8 {
 550     CREATE VIEW v2 AS VALUES(CAST(44 AS REAL)),(55);
 551     SELECT type FROM pragma_table_info('v2');
 552   } {NUM}
 553   do_execsql_test cast-10.9 {
 554     SELECT * FROM v1;
 555   } {44.0 55}
 556   do_execsql_test cast-10.10 {
 557     SELECT * FROM v2;
 558   } {44.0 55}
 559 }
 560
 561 finish_test