From bc7819d176c8157460583e961d47d7f6c5011e88 Mon Sep 17 00:00:00 2001 From: drh <> Date: Fri, 5 Mar 2021 14:08:45 +0000 Subject: [PATCH] Fix the processing of implied LIMIT clauses when flattening a compound query. FossilOrigin-Name: 90c6b9fcb0e15e2552fe5be53f8201f145bb535cc37b603d488eadf33438412b --- manifest | 14 +++++++------- manifest.uuid | 2 +- src/select.c | 6 +++--- test/limit.test | 23 +++++++++++++++++++++++ 4 files changed, 34 insertions(+), 11 deletions(-) diff --git a/manifest b/manifest index 8d976ca176..a94847ab60 100644 --- a/manifest +++ b/manifest @@ -1,5 +1,5 @@ -C Mark\sthe\sNotUsed\sparameter\sto\sthe\sdropColumnFunc()\sfunction\sas\sunused,\nto\savoid\sa\sharmless\scompiler\swarning. -D 2021-03-04T19:44:01.487 +C Fix\sthe\sprocessing\sof\simplied\sLIMIT\sclauses\swhen\sflattening\sa\scompound\nquery. +D 2021-03-05T14:08:45.691 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724 @@ -542,7 +542,7 @@ F src/printf.c 2b03a80d7c11bb422115dca175a18bf430e9c9dbaa0eee63b758f0c022f8f34f F src/random.c 80f5d666f23feb3e6665a6ce04c7197212a88384 F src/resolve.c da978d6fdfc9648dda88366e92467a2061945ae42dd102ecd977b04458365abe F src/rowset.c ba9515a922af32abe1f7d39406b9d35730ed65efab9443dc5702693b60854c92 -F src/select.c c213c99cfb85cee59138c18969d656a206a5b7ef0f3a1734b4b617f3cda82f84 +F src/select.c 297724a06fb8ecfcebae72f80c4d0f579bd28d428e011a61a75be366da644323 F src/shell.c.in af18a2e980aabe739a8188266464866fe7947b100674e07480e7ba3e37595947 F src/sqlite.h.in 8855a19f37ade8dad189a9e48233a2ebe1b46faf469c7eb0906a654e252dcc57 F src/sqlite3.rc 5121c9e10c3964d5755191c80dd1180c122fc3a8 @@ -1144,7 +1144,7 @@ F test/lemon-test01.y 58b764610fd934e189ffbb0bbfa33d171b9cb06019b55bdc04d090d676 F test/like.test 0b7b4765ca59d95a1f92dfab9e4d810c9fb8280b5edd6332a01340a20db9e0ed F test/like2.test 3b2ee13149ba4a8a60b59756f4e5d345573852da F test/like3.test 03d1bdf848483b78d2cfd1db283d75c4ec2e37c8b8eccc006813f3978d78fbbd -F test/limit.test 0c99a27a87b14c646a9d583c7c89fd06c352663e +F test/limit.test 350f5d03c29e7dff9a2cde016f84f8d368d40bcd02fa2b2a52fa10c4bf3cbfaf F test/limit2.test 9409b033284642a859fafc95f29a5a6a557bd57c1f0d7c3f554bd64ed69df77e F test/loadext.test faa4f6eed07a5aac35d57fdd7bc07f8fc82464cfd327567c10cf0ba3c86cde04 F test/loadext2.test 0408380b57adca04004247179837a18e866a74f7 @@ -1909,7 +1909,7 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0 -P 8a1bb9c3e92085fb71d75eb36f64eb85053a4730fd314acd401e7ad32c274748 -R 3f829008faf6bb2f8b2a8086ffa5bb99 +P 23459071091248e94202e609bb8031c3e34722b8ae8ff5a66851dcc528a2d2c2 +R c1d662d56306e63f65ed27b58c3ee657 U drh -Z 85d5f9ab82472e3865823562acfd170f +Z 4f52a223c05cef0d5932b9c09c091c51 diff --git a/manifest.uuid b/manifest.uuid index b5e5b785a6..765a206214 100644 --- a/manifest.uuid +++ b/manifest.uuid @@ -1 +1 @@ -23459071091248e94202e609bb8031c3e34722b8ae8ff5a66851dcc528a2d2c2 \ No newline at end of file +90c6b9fcb0e15e2552fe5be53f8201f145bb535cc37b603d488eadf33438412b \ No newline at end of file diff --git a/src/select.c b/src/select.c index f54b62247a..ef69c8e461 100644 --- a/src/select.c +++ b/src/select.c @@ -2667,7 +2667,7 @@ static int multiSelect( pPrior->iOffset = p->iOffset; pPrior->pLimit = p->pLimit; rc = sqlite3Select(pParse, pPrior, &dest); - p->pLimit = 0; + pPrior->pLimit = 0; if( rc ){ goto multi_select_end; } @@ -2688,8 +2688,8 @@ static int multiSelect( pDelete = p->pPrior; p->pPrior = pPrior; p->nSelectRow = sqlite3LogEstAdd(p->nSelectRow, pPrior->nSelectRow); - if( pPrior->pLimit - && sqlite3ExprIsInteger(pPrior->pLimit->pLeft, &nLimit) + if( p->pLimit + && sqlite3ExprIsInteger(p->pLimit->pLeft, &nLimit) && nLimit>0 && p->nSelectRow > sqlite3LogEst((u64)nLimit) ){ p->nSelectRow = sqlite3LogEst((u64)nLimit); diff --git a/test/limit.test b/test/limit.test index d72749770c..05fbfb7801 100644 --- a/test/limit.test +++ b/test/limit.test @@ -641,5 +641,28 @@ do_execsql_test limit-14.7 { SELECT 123 LIMIT -1 OFFSET 1 } {} +# 2021-03-05 dbsqlfuzz crash-d811039c9f44f2d43199d5889fcf4085ef6221b9 +# +reset_db +do_execsql_test limit-15.1 { + CREATE TABLE t1(a PRIMARY KEY, b TEXT); + CREATE TABLE t4(c PRIMARY KEY, d); + CREATE TABLE t5(e PRIMARY KEY, f); + CREATE TABLE t6(g, h); + CREATE TABLE t3_a(k, v); + CREATE TABLE t3_b(k, v); + CREATE VIEW t3 AS SELECT * FROM t3_a UNION ALL SELECT * FROM t3_b; + INSERT INTO t5(e,f) VALUES(500000,'orange'); + INSERT INTO t4(c,d) VALUES(300000,'blue'),(400,'green'),(8000,'grey'); + INSERT INTO t1(a,b) VALUES(300000,'purple'); + INSERT INTO t3_a VALUES(300000,'yellow'),(500,'pink'),(8000,'red'); + INSERT INTO t6 default values; + SELECT ( + SELECT 100000 FROM + (SELECT 200000 FROM t6 WHERE a = ( SELECT 300000 FROM t3 WHERE a ) ), + (SELECT 400000 FROM t5 WHERE e=500000), + (SELECT 600000 FROM t4 WHERE c=a) + ) FROM t1; +} {100000} finish_test