drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 1 | # 2007 May 10 |
| 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. |
| 12 | # |
| 13 | # This file checks error recovery from malformed SQL strings. |
| 14 | # |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 15 | # $Id: fuzz2.test,v 1.3 2007/05/15 16:51:37 drh Exp $ |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 16 | |
| 17 | set testdir [file dirname $argv0] |
| 18 | source $testdir/tester.tcl |
| 19 | |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 20 | |
| 21 | proc fuzzcatch {sql} { |
| 22 | return [lindex [catchsql $sql] 0] |
| 23 | } |
| 24 | |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 25 | do_test fuzz2-1.1 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 26 | fuzzcatch {SELECT ALL "AAAAAA" . * GROUP BY LIMIT round(1), #12} |
| 27 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 28 | do_test fuzz2-2.0 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 29 | fuzzcatch {SELECT + #100} |
| 30 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 31 | do_test fuzz2-2.1 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 32 | fuzzcatch {SELECT 1 WHERE ( #61 NOT MATCH ROUND( 1 ) )} |
| 33 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 34 | do_test fuzz2-2.2 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 35 | fuzzcatch {SELECT 1 LIMIT NOT #59 COLLATE AAAAAA NOT IN |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 36 | ( "AAAAAA" NOTNULL <= x'414141414141' IS NULL , ( ROUND ( 1.0 ) ) )} |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 37 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 38 | do_test fuzz2-2.3 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 39 | fuzzcatch {INSERT OR REPLACE INTO AAAAAA . "AAAAAA" ( "AAAAAA" ) SELECT DISTINCT * , ( SELECT #252 IN ( SELECT DISTINCT AAAAAA . * ) )} |
| 40 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 41 | do_test fuzz2-2.4 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 42 | fuzzcatch {SELECT 1 LIMIT NOT #59 COLLATE AAAAAA NOT IN round(1.0)} |
| 43 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 44 | do_test fuzz2-2.5 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 45 | fuzzcatch {SELECT( #239 )} |
| 46 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 47 | do_test fuzz2-2.6 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 48 | fuzzcatch {DELETE FROM AAAAAA WHERE #65 NOT NULL} |
| 49 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 50 | do_test fuzz2-2.7 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 51 | fuzzcatch {ATTACH ROUND( 1.0 ) in AAAAAA . "AAAAAA" AS #122 ISNULL} |
| 52 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 53 | do_test fuzz2-2.8 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 54 | fuzzcatch {SELECT 1 LIMIT #122 ISNULL} |
| 55 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 56 | do_test fuzz2-2.9 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 57 | fuzzcatch {CREATE VIEW AAAAAA . "AAAAAA" AS SELECT DISTINCT #162 IS NULL "AAAAAA"} |
| 58 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 59 | do_test fuzz2-2.10 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 60 | fuzzcatch {DELETE FROM AAAAAA WHERE #202 IS NOT NULL ISNULL} |
| 61 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 62 | do_test fuzz2-2.11 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 63 | fuzzcatch {UPDATE OR IGNORE "AAAAAA" . "AAAAAA" SET "AAAAAA" = NOT #96} |
| 64 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 65 | do_test fuzz2-2.12 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 66 | fuzzcatch {SELECT - #196} |
| 67 | } {1} |
shaneh | f33a7a8 | 2009-12-31 19:48:29 +0000 | [diff] [blame] | 68 | |
| 69 | ifcapable {trigger} { # Only do the following tests if triggers are enabled |
| 70 | |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 71 | do_test fuzz2-3.0 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 72 | fuzzcatch {CREATE TRIGGER "AAAAAA" . "AAAAAA" AFTER UPDATE OF "AAAAAA" , "AAAAAA" ON "AAAAAA" . "AAAAAA" FOR EACH ROW BEGIN UPDATE AAAAAA SET "AAAAAA" = #162; END} |
| 73 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 74 | do_test fuzz2-3.1 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 75 | fuzzcatch {CREATE TRIGGER IF NOT EXISTS "AAAAAA" UPDATE ON "AAAAAA" . AAAAAA FOR EACH ROW BEGIN DELETE FROM "AAAAAA" ; INSERT INTO AAAAAA ( "AAAAAA" ) SELECT DISTINCT "AAAAAA" "AAAAAA" , #167 AAAAAA , "AAAAAA" . * ORDER BY "AAAAAA" ASC , x'414141414141' BETWEEN RAISE ( FAIL , "AAAAAA" ) AND AAAAAA ( * ) NOT NULL DESC LIMIT AAAAAA ; REPLACE INTO AAAAAA ( AAAAAA ) VALUES ( AAAAAA ( * ) ) ; END} |
| 76 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 77 | do_test fuzz2-3.2 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 78 | fuzzcatch {CREATE TEMP TRIGGER IF NOT EXISTS AAAAAA . "AAAAAA" BEFORE UPDATE OF "AAAAAA" ON AAAAAA . "AAAAAA" BEGIN SELECT ALL * , #175 "AAAAAA" FROM "AAAAAA" . AAAAAA; END} |
| 79 | } {1} |
shaneh | f33a7a8 | 2009-12-31 19:48:29 +0000 | [diff] [blame] | 80 | |
| 81 | } ;# End of ifcapable {trigger} |
| 82 | |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 83 | do_test fuzz2-4.0 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 84 | fuzzcatch {ATTACH DATABASE #168 AS whatever} |
| 85 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 86 | do_test fuzz2-4.1 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 87 | fuzzcatch {DETACH #133} |
| 88 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 89 | do_test fuzz2-5.0 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 90 | fuzzcatch {SELECT 1 LIMIT ( SELECT DISTINCT * , AAAAAA , * , AAAAAA , "AAAAAA" . * FROM "AAAAAA" ON ROUND( 1 ) COLLATE AAAAAA OR "AAAAAA" USING ( AAAAAA , "AAAAAA" ) WHERE ROUND( 1 ) GROUP BY ORDER BY #84 ASC , #44 DESC , ( SELECT "AAAAAA" . * , "AAAAAA" . * FROM , ( ) "AAAAAA" USING ( )} |
| 91 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 92 | do_test fuzz2-5.1 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 93 | fuzzcatch {SELECT 1 WHERE 1 == AAAAAA ( * ) BETWEEN + - ~ + "AAAAAA" . AAAAAA | RAISE ( IGNORE ) COLLATE AAAAAA NOT IN ( SELECT DISTINCT "AAAAAA" . * , * , * WHERE ( SELECT ALL AAAAAA AS "AAAAAA" HAVING CAST ( "AAAAAA" . "AAAAAA" . "AAAAAA" AS AAAAAA ) ORDER BY , , IS NULL ASC , ~ AND DESC LIMIT ( ( "AAAAAA" ) NOT BETWEEN ( ) NOT IN ( ) AND AAAAAA ( ) IS NOT NULL ) OFFSET AAAAAA ( ALL , , ) ) GROUP BY ORDER BY "AAAAAA" . AAAAAA ASC , NULL IN ( SELECT UNION ALL SELECT ALL WHERE HAVING ORDER BY LIMIT UNION SELECT DISTINCT FROM ( ) WHERE + HAVING >> ORDER BY LIMIT . . , "AAAAAA" ) , CAST ( ~ "AAAAAA" . AAAAAA AS "AAAAAA" AAAAAA "AAAAAA" ( + 4294967295 , - 4294967296.0 ) ) ASC LIMIT AAAAAA INTERSECT SELECT ALL * GROUP BY , AAAAAA ( DISTINCT , ) != #241 NOT IN ( , , ) , , CTIME_KW HAVING AAAAAA ORDER BY #103 DESC , #81 ASC LIMIT AAAAAA OFFSET ~ AAAAAA ( ALL AAAAAA . AAAAAA >= AAAAAA . "AAAAAA" . "AAAAAA" ) ) NOTNULL NOT NULL} |
| 94 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 95 | do_test fuzz2-5.2 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 96 | fuzzcatch {SELECT 1 WHERE 1 == AAAAAA ( * ) BETWEEN + - ~ + "AAAAAA" . AAAAAA | RAISE ( IGNORE ) COLLATE AAAAAA NOT IN ( SELECT DISTINCT "AAAAAA" . * , * , * WHERE ( SELECT ALL AAAAAA AS "AAAAAA" HAVING CAST ( "AAAAAA" . "AAAAAA" . "AAAAAA" AS AAAAAA ) ORDER BY , , IS NULL ASC , ~ AND DESC LIMIT ( ( "AAAAAA" ) NOT BETWEEN ( ) NOT IN ( ) AND AAAAAA ( ) IS NOT NULL ) OFFSET AAAAAA ( ALL , , ) ) GROUP BY ORDER BY "AAAAAA" . AAAAAA ASC , NULL IN ( SELECT UNION ALL SELECT ALL WHERE HAVING ORDER BY LIMIT UNION SELECT DISTINCT FROM ( ) WHERE + HAVING >> ORDER BY LIMIT . . , "AAAAAA" ) , CAST ( ~ "AAAAAA" . AAAAAA AS "AAAAAA" AAAAAA "AAAAAA" ( + 4294967295 , - 4294967296.0 ) ) ASC LIMIT AAAAAA INTERSECT SELECT ALL * GROUP BY , AAAAAA ( DISTINCT , ) != #241 NOT IN ( , , ) , , CTIME_KW HAVING AAAAAA ORDER BY #103 DESC , #81 ASC LIMIT AAAAAA OFFSET ~ AAAAAA ( ALL AAAAAA . AAAAAA >= AAAAAA . "AAAAAA" . "AAAAAA" ) ) NOTNULL NOT NULL} |
| 97 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 98 | do_test fuzz2-5.3 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 99 | fuzzcatch {UPDATE "AAAAAA" SET "AAAAAA" = - EXISTS ( SELECT DISTINCT * , * ORDER BY #202 ASC , #147 , ~ AAAAAA . "AAAAAA" ASC LIMIT AAAAAA . "AAAAAA" , RAISE ( ABORT , AAAAAA ) UNION ALL SELECT DISTINCT AAAAAA . * , * FROM ( SELECT DISTINCT} |
| 100 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 101 | do_test fuzz2-5.4 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 102 | fuzzcatch {REPLACE INTO AAAAAA SELECT DISTINCT "AAAAAA" . * WHERE AAAAAA ( AAAAAA ( ) ) GROUP BY AAAAAA . AAAAAA . "AAAAAA" IN "AAAAAA" | AAAAAA ( ALL , ) ORDER BY #238, #92 DESC LIMIT 0 OFFSET - RAISE ( IGNORE ) NOT NULL > RAISE ( IGNORE ) IS NULL} |
| 103 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 104 | do_test fuzz2-5.5 { |
drh | 7e326c0 | 2007-05-15 16:51:37 +0000 | [diff] [blame] | 105 | fuzzcatch {SELECT ALL * GROUP BY EXISTS ( SELECT "AAAAAA" . * , AAAAAA ( * ) AS AAAAAA FROM "AAAAAA" . "AAAAAA" AS "AAAAAA" USING ( AAAAAA , "AAAAAA" , "AAAAAA" ) WHERE AAAAAA ( DISTINCT ) - RAISE ( FAIL , "AAAAAA" ) HAVING "AAAAAA" . "AAAAAA" . AAAAAA ORDER BY #182 , #55 ) BETWEEN EXISTS ( SELECT ALL * FROM ( ( } |
| 106 | } {1} |
drh | db83f82 | 2007-05-11 00:20:08 +0000 | [diff] [blame] | 107 | |
| 108 | finish_test |