database/sqlite
1
0
Fork 0
mirror of https://github.com/sqlite/sqlite.git synced 2025-07-30 19:03:16 +03:00
Code Activity

Omit the --query-invariants processing in fuzzcheck for queries that contain

Browse Source 
the implies_nonnull_row() test function.

FossilOrigin-Name: 0602a0844893465ac2fe53c0fa648a5cbcbc6452fff6181c42fab517f047b583
This commit is contained in:
drh
2022-06-17 17:11:51 +00:00
parent f26e45139e
commit c2beb0d8f6
3 changed files with 20 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
manifest
View File

@ -1,5 +1,5 @@
C Do\snot\srun\s--query-invariants\son\sstatements\sthat\smake\suse\sof\nsqlite_offset(). C Omit\sthe\s--query-invariants\sprocessing\sin\sfuzzcheck\sfor\squeries\sthat\scontain\nthe\simplies_nonnull_row()\stest\sfunction.
D 2022-06-17T16:52:54.486 D 2022-06-17T17:11:51.622
F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@ -1085,7 +1085,7 @@ F test/fuzz3.test 9c813e6613b837cb7a277b0383cd66bfa07042b4cf0317157c35852f30043c
F test/fuzz4.test c229bcdb45518a89e1d208a21343e061503460ac69fae1539320a89f572eb634 F test/fuzz4.test c229bcdb45518a89e1d208a21343e061503460ac69fae1539320a89f572eb634
F test/fuzz_common.tcl b7197de6ed1ee8250a4f82d67876f4561b42ee8cbbfc6160dcb66331bad3f830 F test/fuzz_common.tcl b7197de6ed1ee8250a4f82d67876f4561b42ee8cbbfc6160dcb66331bad3f830
F test/fuzz_malloc.test f348276e732e814802e39f042b1f6da6362a610af73a528d8f76898fde6b22f2 F test/fuzz_malloc.test f348276e732e814802e39f042b1f6da6362a610af73a528d8f76898fde6b22f2
F test/fuzzcheck.c 361ae999d46b03ee901b5bd3855478dd16eec5b247da55d35d7993922d93f7dc F test/fuzzcheck.c 618511e19af06d8d7200a84fc5075837b3d46b000ce1f332f0639c7079761bf8
F test/fuzzdata1.db 3e86d9cf5aea68ddb8e27c02d7dfdaa226347426c7eb814918e4d95475bf8517 F test/fuzzdata1.db 3e86d9cf5aea68ddb8e27c02d7dfdaa226347426c7eb814918e4d95475bf8517
F test/fuzzdata2.db 128b3feeb78918d075c9b14b48610145a0dd4c8d6f1ca7c2870c7e425f5bf31f F test/fuzzdata2.db 128b3feeb78918d075c9b14b48610145a0dd4c8d6f1ca7c2870c7e425f5bf31f
F test/fuzzdata3.db c6586d3e3cef0fbc18108f9bb649aa77bfc38aba F test/fuzzdata3.db c6586d3e3cef0fbc18108f9bb649aa77bfc38aba
@ -1978,8 +1978,8 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
P 09aca89b7c26c1eb7f9df1d1cfdada18848d7c188fa7fbbcf95442dabce476ea P c5ac4cbfb173c613d633b2c76484d735073692d001a336576174201b8f9af7b1
R bd9dd9d7acb3556d329befe872070524 R 124919f6bda8ad106a39594e4e49b06e
U drh U drh
Z a9947c172f3ac540c17b7632d43455db Z 57c12800fd26ff66a6c4e43d9067826d
# Remove this line to create a well-formed Fossil manifest. # Remove this line to create a well-formed Fossil manifest.

2
manifest.uuid
View File

@ -1 +1 @@
c5ac4cbfb173c613d633b2c76484d735073692d001a336576174201b8f9af7b1 0602a0844893465ac2fe53c0fa648a5cbcbc6452fff6181c42fab517f047b583

17
test/fuzzcheck.c
View File

@ -901,6 +901,7 @@ static int block_troublesome_sql(
"current_timestamp", "current_timestamp",
"date", "date",
"datetime", "datetime",
"implies_nonnull_row",
"julianday", "julianday",
"random", "random",
"randomblob", "randomblob",
@ -909,13 +910,21 @@ static int block_troublesome_sql(
"time", "time",
"unixepoch", "unixepoch",
}; };
int i; int first, last;
for(i=0; i<sizeof(azBadFuncs)/sizeof(azBadFuncs[0]); i++){ first = 0;
if( sqlite3_stricmp(azBadFuncs[i], zArg2)==0 ){ last = sizeof(azBadFuncs)/sizeof(azBadFuncs[0]) - 1;
do{
int mid = (first+last)/2;
int c = sqlite3_stricmp(azBadFuncs[mid], zArg2);
if( c<0 ){
first = mid+1;
}else if( c>0 ){
last = mid-1;
}else{
*pFlags |= BTS_BADFUNC; *pFlags |= BTS_BADFUNC;
break; break;
} }
} }while( first<=last );
break; break;
} }
case SQLITE_READ: { case SQLITE_READ: {