tkt3824.test 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899
  1. # 2009 April 24
  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. #
  12. # Ticket #3824
  13. #
  14. # When you use an "IS NULL" constraint on a UNIQUE index, the result
  15. # is not necessarily UNIQUE. Make sure the optimizer does not assume
  16. # uniqueness.
  17. #
  18. # $Id: tkt3824.test,v 1.2 2009/04/24 20:32:31 drh Exp $
  19. set testdir [file dirname $argv0]
  20. source $testdir/tester.tcl
  21. proc execsql_status {sql {db db}} {
  22. set result [uplevel $db eval [list $sql]]
  23. if {[db status sort]} {
  24. concat $result sort
  25. } else {
  26. concat $result nosort
  27. }
  28. }
  29. do_test tkt3824-1.1 {
  30. db eval {
  31. CREATE TABLE t1(a,b);
  32. INSERT INTO t1 VALUES(1,NULL);
  33. INSERT INTO t1 VALUES(9,NULL);
  34. INSERT INTO t1 VALUES(5,NULL);
  35. INSERT INTO t1 VALUES(123,NULL);
  36. INSERT INTO t1 VALUES(-10,NULL);
  37. CREATE UNIQUE INDEX t1b ON t1(b);
  38. }
  39. execsql_status {
  40. SELECT a FROM t1 WHERE b IS NULL ORDER BY a;
  41. }
  42. } {-10 1 5 9 123 sort}
  43. do_test tkt3824-1.2 {
  44. execsql_status {
  45. SELECT a FROM t1 WHERE b IS NULL ORDER BY b, a;
  46. }
  47. } {-10 1 5 9 123 sort}
  48. do_test tkt3824-2.1 {
  49. db eval {
  50. CREATE TABLE t2(a,b,c);
  51. INSERT INTO t2 VALUES(1,1,NULL);
  52. INSERT INTO t2 VALUES(9,2,NULL);
  53. INSERT INTO t2 VALUES(5,2,NULL);
  54. INSERT INTO t2 VALUES(123,3,NULL);
  55. INSERT INTO t2 VALUES(-10,3,NULL);
  56. CREATE UNIQUE INDEX t2bc ON t2(b,c);
  57. }
  58. execsql_status {
  59. SELECT a FROM t2 WHERE b=2 AND c IS NULL ORDER BY a;
  60. }
  61. } {5 9 sort}
  62. do_test tkt3824-2.2 {
  63. execsql_status {
  64. SELECT a FROM t2 WHERE b=2 AND c IS NULL ORDER BY b, a;
  65. }
  66. } {5 9 sort}
  67. do_test tkt3824-2.3 {
  68. lsort [execsql_status {
  69. SELECT a FROM t2 WHERE b=2 AND c IS NULL ORDER BY b;
  70. }]
  71. } {5 9 nosort}
  72. do_test tkt3824-3.1 {
  73. db eval {
  74. CREATE TABLE t3(x,y);
  75. INSERT INTO t3 SELECT a, b FROM t1;
  76. INSERT INTO t3 VALUES(234,567);
  77. CREATE UNIQUE INDEX t3y ON t3(y);
  78. DELETE FROM t3 WHERE y IS NULL;
  79. SELECT * FROM t3;
  80. }
  81. } {234 567}
  82. do_test tkt3824-4.1 {
  83. db eval {
  84. CREATE TABLE t4(x,y);
  85. INSERT INTO t4 SELECT a, b FROM t1;
  86. INSERT INTO t4 VALUES(234,567);
  87. CREATE UNIQUE INDEX t4y ON t4(y);
  88. UPDATE t4 SET rowid=rowid+100 WHERE y IS NULL;
  89. SELECT rowid, x FROM t4 ORDER BY rowid;
  90. }
  91. } {6 234 101 1 102 9 103 5 104 123 105 -10}
  92. finish_test