diff options
| author | drh <> | 2022-06-15 20:18:44 +0000 |
|---|---|---|
| committer | drh <> | 2022-06-15 20:18:44 +0000 |
| commit | 8f9261a8e9b31ac96e236db8df511165dc171e39 (patch) | |
| tree | 65a1c33d08eb67540d1ecd15f094bfa7b5988a32 /test/fuzzinvariants.c | |
| parent | e3bf2c8e9b945276c9b1361566cfa4c385c212fb (diff) | |
| download | sqlite-8f9261a8e9b31ac96e236db8df511165dc171e39.tar.gz sqlite-8f9261a8e9b31ac96e236db8df511165dc171e39.zip | |
Improvements to query invariants in fuzzcheck.
FossilOrigin-Name: 3a461f61b47e6ba6d5dcc2b7470ebde512b57bc68086f65050e07b06f42b7351
Diffstat (limited to 'test/fuzzinvariants.c')
| -rw-r--r-- | test/fuzzinvariants.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/test/fuzzinvariants.c b/test/fuzzinvariants.c index a48e637b0..f93722ced 100644 --- a/test/fuzzinvariants.c +++ b/test/fuzzinvariants.c @@ -154,7 +154,15 @@ static char *fuzz_invariant_sql(sqlite3_stmt *pStmt, int iCnt){ int rc; int nCol = sqlite3_column_count(pStmt); int mxCnt; + int bDistinct = 0; + int bOrderBy = 0; + switch( iCnt % 4 ){ + case 1: bDistinct = 1; break; + case 2: bOrderBy = 1; break; + case 3: bDistinct = bOrderBy = 1; break; + } + iCnt /= 4; if( nCol==1 ){ mxCnt = 0; }else{ @@ -167,7 +175,8 @@ static char *fuzz_invariant_sql(sqlite3_stmt *pStmt, int iCnt){ while( nIn>0 && (isspace(zIn[nIn-1]) || zIn[nIn-1]==';') ) nIn--; if( strchr(zIn, '?') ) return 0; pTest = sqlite3_str_new(0); - sqlite3_str_appendf(pTest, "SELECT * FROM (%.*s)", (int)nIn, zIn); + sqlite3_str_appendf(pTest, "SELECT %s* FROM (%.*s)", + bDistinct ? "DISTINCT " : "", (int)nIn, zIn); rc = sqlite3_prepare_v2(db, sqlite3_str_value(pTest), -1, &pBase, 0); if( rc ){ sqlite3_finalize(pBase); @@ -193,6 +202,9 @@ static char *fuzz_invariant_sql(sqlite3_stmt *pStmt, int iCnt){ zAnd = "AND"; } if( pBase!=pStmt ) sqlite3_finalize(pBase); + if( bOrderBy ){ + sqlite3_str_appendf(pTest, " ORDER BY 1"); + } return sqlite3_str_finish(pTest); } |