]>
git.ipfire.org Git - thirdparty/sqlite.git/log
dan [Mon, 6 Aug 2018 17:12:36 +0000 (17:12 +0000)]
Allow sqlite3_snapshot_open() to be called to change the snapshot after a
read transaction is already open on database.
FossilOrigin-Name:
051ac0152048ef52723196c26ca5f2629dafb782aec1c66fc30531bf54335043
drh [Mon, 6 Aug 2018 02:08:53 +0000 (02:08 +0000)]
Enhance the edit() function so that it converts text from \r\n back into \n
only if the original unedited copy contained no \r\n values.
FossilOrigin-Name:
20c995d3f0f4de5410962172cb59da0f25edf0c62e199420186cc59ea874e981
drh [Mon, 6 Aug 2018 01:39:31 +0000 (01:39 +0000)]
Add the --info option to the fuzzcheck test utility.
FossilOrigin-Name:
1caaaaa70f21fe71fbe0af227eea8d1367870e2575eedf248cc2a0b515783390
drh [Mon, 6 Aug 2018 01:21:53 +0000 (01:21 +0000)]
Fix an overzealous assert() statement discovered by OSSFuzz.
FossilOrigin-Name:
d9c9fe9f5ad3fc9123ad29ebafcb7f40dcecd448fb7a928bb31bea8181d81ec1
drh [Sat, 4 Aug 2018 20:30:55 +0000 (20:30 +0000)]
Remove the column-cache from the code generator. The column-cache has been
a persistent source of bugs for years and with recent improvements
in the performance of OP_Column, it no longer provides a benefit. After
the column cache is removed, the binary is almost 2KB smaller and the
speed-check.sh performance test is over 3 million cycles faster.
FossilOrigin-Name:
cdff3af7bedc5ebea04bd9b5e2112d3db451a475c18c9a9ebd45f6f3a89a43cb
drh [Sat, 4 Aug 2018 20:12:10 +0000 (20:12 +0000)]
Remove a testcase() that is no longer reachable without the column cache.
Provide an assert() to help prove that the testcase is no longer reachable.
FossilOrigin-Name:
a500893b6f64aced197cd32b79d51a481629a39d45dbcf0f02d65e5451ac4706
drh [Sat, 4 Aug 2018 17:15:56 +0000 (17:15 +0000)]
Fix comments that were made obsolete by the removal of the column cache.
FossilOrigin-Name:
2041231d56c7b02b785015ef4d1af260d61326eab1b2a304c17faa3e33f76441
drh [Sat, 4 Aug 2018 16:54:53 +0000 (16:54 +0000)]
Remove more column-cache residue: The OP_SetColTab and OP_VerifyColTab
opcodes and the associated SQLITE_DEBUG_COLUMNCACHE logic.
FossilOrigin-Name:
80236e81cefdf3d3cda3dbdb6de1575c38e4e248cc4b72ca9ee96d3aa0464bfd
drh [Sat, 4 Aug 2018 15:53:55 +0000 (15:53 +0000)]
Further logic simplifications that flow out of the omission of the column cache.
FossilOrigin-Name:
7d9072b027cc28dd8ecf5e2686d821017997445c15124eebe2839984622af4db
drh [Sat, 4 Aug 2018 15:28:12 +0000 (15:28 +0000)]
Add test cases for the constant expression fix of the previous check-in.
FossilOrigin-Name:
95db5bd9fea86a10c9528dd24841e1370dfdc0bbb5c98b7cbd808a8bc59dd48f
drh [Sat, 4 Aug 2018 15:16:20 +0000 (15:16 +0000)]
Ensure that all expressions that are to be evaluated once at the start of
a prepared statement (the Parse.pConstExpr expressions) pass the
sqlite3ExprIsConstantNotJoin() test. It is not sufficient to pass just the
sqlite3ExprIsConstant() test as that would allow through column references
that are bound to constants by the WHERE clause in the constant propagation
optimization. This fixes a problem discovered by OSSFuzz.
FossilOrigin-Name:
8bc7f84c39f913b0b0f5e9f5fd9d7dd8bda8422248c069712b6992c32c759a83
drh [Sat, 4 Aug 2018 14:30:21 +0000 (14:30 +0000)]
Remove additional traces of the column cache.
FossilOrigin-Name:
db6052e9725368736abd19f14f97376582d35d07f543046d39991d767ed29851
drh [Fri, 3 Aug 2018 23:04:16 +0000 (23:04 +0000)]
Completely remove the column cache logic, which has been a persistent source
of bugs for many years. We recent enhancements to the performance of the
OP_Column opcode, the removing the column cache actually makes speed-check.sh
run faster. It also saves about 1,800 bytes of code space.
FossilOrigin-Name:
3f5f60cd7529330209027fdae8129cca420cec1050eae50a7750d0b715b56972
dan [Fri, 3 Aug 2018 20:19:52 +0000 (20:19 +0000)]
Fix the handling of sub-queries with LIMIT clauses by the optimization
activated by compile-time symbol SQLITE_COUNTOFVIEW_OPTIMIZATION.
FossilOrigin-Name:
21235d9a41567897418aa12f7bd6dd8d6ee363147527e1d8fbca14fc83e0f2c9
drh [Fri, 3 Aug 2018 15:58:07 +0000 (15:58 +0000)]
Fix the OP_SeekRowid opcode so that it has no type-change side-effects on the
key register in P3. This fixes an obcure problem that arises when doing
equi-joins between a table with a TEXT column against another table with
an INTEGER PRIMARY KEY. The original problem was discovered when OSSFuzz
created such a query and hit an assert() in OP_VerifyTabCol that was
specifically designed to catch these kinds of errors at run-time.
FossilOrigin-Name:
fa94b49e02eb6b8fc4acc220ecc2fabef546c65845696758b25965c26b251ea9
drh [Fri, 3 Aug 2018 13:56:26 +0000 (13:56 +0000)]
Improve "PRAGMA vdbe_trace=ON" to always show the key values for the
OP_IdxGT and related opcodes.
FossilOrigin-Name:
0f881955ed173c7c35dfca2d4aeca855858e40bb951e6fb6fedd9a2fff6a5a86
drh [Sun, 29 Jul 2018 18:56:35 +0000 (18:56 +0000)]
In the command-line shell, always exit if realloc() fails.
FossilOrigin-Name:
e390023c8e70961661fd9e29674dedacd1b941b6b8d9cd88f8cfa8f787f030f9
drh [Sat, 28 Jul 2018 21:01:55 +0000 (21:01 +0000)]
Add a small cost penalty to sorting to bias the query planner in favor of
plans that do not require a final sorting pass.
FossilOrigin-Name:
85b9beb4605eb0cfe2ed063c2a1925186c9e37031f78c875e60a347cce891638
drh [Sat, 28 Jul 2018 16:24:08 +0000 (16:24 +0000)]
Do not allow a column reference that is converted into a constant by the
WHERE-clause constant propagation optimization to be moved to the init-time
constant expression list, as the table reference will not work there.
This fixes a problem found by OSSFuzz.
FossilOrigin-Name:
d30b2a947313b146f29e2b53f0fd471409fda7938151241d3fb5863614f88999
drh [Sat, 28 Jul 2018 14:56:56 +0000 (14:56 +0000)]
Fix an assert() statement that was made obsolete by the constant
propagation enhancement. Problem discovered by OSSFuzz.
FossilOrigin-Name:
e4b4737e348235e196a45e1b71876b82e0cc836e1c5c16ea5f9333b7509b59b8
drh [Sat, 28 Jul 2018 14:34:22 +0000 (14:34 +0000)]
Improved debugging output when the ".selecttrace" option is used in the shell.
FossilOrigin-Name:
fcb88dd6b0f248f600c1158907889f6d5fa2c96eb4585221941da4673c6db6eb
drh [Fri, 27 Jul 2018 23:33:16 +0000 (23:33 +0000)]
Improvements to the parser to increase coverage. Fix the parser so that
at least one expresssion is required after PARTITION BY and within the
list of expressions on VALUES().
FossilOrigin-Name:
02204f8b246c868846f39bd44f2e3bc0fab0275aa09ef3a0e5a8e3d58f484ca8
drh [Fri, 27 Jul 2018 22:55:58 +0000 (22:55 +0000)]
When doing a DROP VIEW do not try to delete entries from the sqlite_stat1
table as there are none.
FossilOrigin-Name:
7efdba2bbc8547ee9292a1bbd1e61d38b40d7aabc0860ceba188bdec539f5114
drh [Fri, 27 Jul 2018 22:14:50 +0000 (22:14 +0000)]
Minor grammar changes that help the parser run faster by reducing the
number of NUL rule reductions.
FossilOrigin-Name:
cfd1b00592bd550e444dfc7b6a6a93c77c07b835729c6cc69a4b6361038964ba
mistachkin [Fri, 27 Jul 2018 20:45:28 +0000 (20:45 +0000)]
Enhance Makefile for MSVC to support building the shell tool without using the amalgamation.
FossilOrigin-Name:
3d815d83a6805938b87e03ffabe6d71ca2ecfd05052e8e02c6cc5d3c9ea4ddf3
drh [Fri, 27 Jul 2018 20:37:42 +0000 (20:37 +0000)]
The WHERE-clause constant propagation optimization attempts to use
transitive laws to replace column values with constants in the WHERE
clause in order to help to query planner make more aggressive optimizations.
FossilOrigin-Name:
f4229707ac08d66c5b0f53483ce17a63f5ac40a21922f66c3408e1b6fda3a7c2
drh [Fri, 27 Jul 2018 20:01:00 +0000 (20:01 +0000)]
Reduce the performance cost of the constant propagation optimization to
less than 200,000 cycles.
FossilOrigin-Name:
865249de683e6971984a645a30d96f9fcc6f6d9d7af7e269ff68cc3e42e5fe71
drh [Fri, 27 Jul 2018 18:19:12 +0000 (18:19 +0000)]
Performance improvement to sqlite3ExprCollSeq(). With this change, the
performance of speed-check.sh is within 400,000 cycles of trunk.
FossilOrigin-Name:
a5f86f49b7d9e52546f234f7c3bcbac6b0f78aa55a71c44ca69e21bc31139f3e
drh [Fri, 27 Jul 2018 18:12:40 +0000 (18:12 +0000)]
drh [Fri, 27 Jul 2018 17:51:20 +0000 (17:51 +0000)]
Only run the constant propagation optimization on joins since that is the
only scenario where it is useful. This saves prepare time for the common
case of a simple query.
FossilOrigin-Name:
598d608359005b13fa1151c6c69f2fd12ef3ab7f563a035fc4a6f3c569dc6c67
drh [Fri, 27 Jul 2018 16:57:11 +0000 (16:57 +0000)]
Constant propagation is now restricted to just the WHERE clause. The
mechanism is changed to take affinity and collation into account. This
seems to give correct answers. But the search for constant propagation
costs 4 million cycles in the speed test.
FossilOrigin-Name:
82c67efb723dba387964f690cd459b420e59e3367d9589016597a76531596391
drh [Thu, 26 Jul 2018 23:54:19 +0000 (23:54 +0000)]
Add a test case demonstrating the collation problem with constant propagation.
FossilOrigin-Name:
50add839fd95665bd67a6ae5de8346fd09e83904bbcbad26fad280dff86d9e93
drh [Thu, 26 Jul 2018 23:47:11 +0000 (23:47 +0000)]
Generalize the constant propagation optimization so that it applies on every
WHERE close, not just those that contain a subquery. This then demonstrates
that the current implementation is inadequate since it does not take into
account collating sequences.
FossilOrigin-Name:
57eb2abd5b270d65be5e0f138f0d46899fa6091df3ba20b0ea7ef04244a15d48
drh [Thu, 26 Jul 2018 21:48:05 +0000 (21:48 +0000)]
In the unix VFS, give every unixInodeInfo object its own mutex, rather
than using the global VFS mutex, to improve concurrency in cases where there
are many threads operating on separate database files.
FossilOrigin-Name:
22f47cf430827c50634794a5a33987511bb71492c0dd1f6466a0c5b779d0521b
drh [Thu, 26 Jul 2018 21:16:53 +0000 (21:16 +0000)]
Initial implementation of the WHERE-clause constant propagation optimization.
FossilOrigin-Name:
2fb82ad8ebb6434438c0d235b1239444fb08c8711cea2c5a9ed955fedd0acdec
dan [Wed, 25 Jul 2018 15:25:55 +0000 (15:25 +0000)]
mistachkin [Wed, 25 Jul 2018 15:12:29 +0000 (15:12 +0000)]
Keep generated opcode values grouped together when required, even when they do not correspond to a token.
FossilOrigin-Name:
6ee2950b272ede475e485bfaa7d413eaa81482fe9dd6452aeeaf95ff7938f7da
dan [Wed, 25 Jul 2018 07:29:20 +0000 (07:29 +0000)]
Fix a typo in the documentation for sqlite3_snapshot_get().
FossilOrigin-Name:
cd9713c9a88cd30887c67f477abbbf8ef90299051a0b9bb52a04cf4132987c9c
drh [Tue, 24 Jul 2018 22:02:12 +0000 (22:02 +0000)]
Do not abort running queries due to a CREATE INDEX statement. Allow them
to run to completion before being reprepared. Fix for ticket
[
c694113e50321afdf9 ].
FossilOrigin-Name:
2bd593332da0aade467e7a4ee89e966aa6302f37540a2c5e23671f98a6cb599c
mistachkin [Tue, 24 Jul 2018 13:57:44 +0000 (13:57 +0000)]
Add missing SQLITE_OMIT_WINDOWFUNC check to the json1 extension.
FossilOrigin-Name:
fe19f8239dc474db0854a0a8ce5189ac4195c736b496f475a59a185e0879b40c
drh [Mon, 23 Jul 2018 22:55:10 +0000 (22:55 +0000)]
Return an SQLITE_NOMEM error if the locking mutex fails to allocate.
FossilOrigin-Name:
1c94834879be0601ac40ef3c4fb1b140f7737e89af7808f2f1db4ceb3daae19f
drh [Mon, 23 Jul 2018 21:10:37 +0000 (21:10 +0000)]
First attempt at reducing mutex contention in the unix VFS by providing
a separate mutex for each unixInodeInfo object.
FossilOrigin-Name:
f69afaf00a659cd768a863c5f4a1d527f01187e037240da0ada527cb52c5afe8
mistachkin [Mon, 23 Jul 2018 18:53:49 +0000 (18:53 +0000)]
drh [Mon, 23 Jul 2018 18:32:42 +0000 (18:32 +0000)]
Attempt to improve the documentation for snapshots. No changes to code.
FossilOrigin-Name:
46dd076af5880e6e9a7de974758b26bc43d0dc074f8143234038fa9cdcc726ee
dan [Mon, 23 Jul 2018 10:57:53 +0000 (10:57 +0000)]
Fix the macros used to generate the output of "PRAGMA compile_options" so that
they handle valid values for the SQLITE_DEFAULT_LOOKASIDE macro (which
contain a "," character).
FossilOrigin-Name:
1cc72845f92198f2f6c1d34957921cd8f5bc82eaccab9f844006993f0b8d7a96
mistachkin [Sun, 22 Jul 2018 21:23:19 +0000 (21:23 +0000)]
Fix more harmless compiler warnings seen with MSVC.
FossilOrigin-Name:
edab5666f8470b37e6031dfd80e615b1aab95d1d85ccbe4ece1a813f8b3d4d95
mistachkin [Sun, 22 Jul 2018 21:08:35 +0000 (21:08 +0000)]
Another minor revision to the 'fulltestonly' set of tests.
FossilOrigin-Name:
61f8e2a4c6c146ffba498c8bb40f2b5627fdc14020057eab63b7e900bf88a9ed
mistachkin [Sun, 22 Jul 2018 20:24:38 +0000 (20:24 +0000)]
mistachkin [Sun, 22 Jul 2018 06:25:35 +0000 (06:25 +0000)]
In the Win32 VFS, when truncating a file, unmap it first.
FossilOrigin-Name:
21510a66dce4d0843ccfe20f092a01f5a52563ef244a94f1d5d2563305cab925
drh [Sun, 22 Jul 2018 00:45:11 +0000 (00:45 +0000)]
mistachkin [Sat, 21 Jul 2018 23:15:55 +0000 (23:15 +0000)]
In 'resetdb.test', close a database prior to trying to delete it.
FossilOrigin-Name:
45137053a511b976f5447b0668e3f3a636785d242f44b110a1107898e847e95e
mistachkin [Fri, 20 Jul 2018 20:56:22 +0000 (20:56 +0000)]
When dropping a view, skip trying to delete from 'sqlite_stat*'.
FossilOrigin-Name:
2f5be3a2ddf469bd1b37b9e357545ce872b90c479a07094de2101d0a43ad70a4
drh [Fri, 20 Jul 2018 19:24:02 +0000 (19:24 +0000)]
Change the SQLITE_Stat34 bit of the optimization test-control so that it
prevents STAT4 data from being used but allows it to be loaded into the
Index objects. This permits STAT4 to be turned on and off on a per-statement
basis.
FossilOrigin-Name:
489f3caf5dcc8cace20a0da58ceb32fdea5770ba570fa3c9f712cd35e726846a
drh [Fri, 20 Jul 2018 15:44:09 +0000 (15:44 +0000)]
New checked in PRAGMA integrity_check to validate the autovacuum settings
in the header.
FossilOrigin-Name:
a4663f09c91d1381a831f61a2b8e8a113eb6083932c4aea2ad0c011ece1418c5
drh [Fri, 20 Jul 2018 13:39:28 +0000 (13:39 +0000)]
Enhanced detection of problems on the freelist and on overflow list in
PRAGMA integrity_check.
FossilOrigin-Name:
11e58f5b37d99848978007d834d187c262d904eb9d58924742e028d7cb324e64
drh [Thu, 19 Jul 2018 15:27:35 +0000 (15:27 +0000)]
Avoid a branch in the commit logic that is unreachable when compiled
without SQLITE_ENABLE_BATCH_ATOMIC_WRITE.
FossilOrigin-Name:
271b8980c3bcd0403a40aec26681ec111be1d88d2d5d35199a85a10f09ad6920
drh [Thu, 19 Jul 2018 14:40:41 +0000 (14:40 +0000)]
Allow the VACUUM following SQLITE_DBCONFIG_RESET_DATABASE to proceed even
if the write-version in the header indicates that the database file is not
writable.
FossilOrigin-Name:
3dca8b9d5ab1f35f17fc527d8f2a20b6bac989d1406c883d5b4d6719953ef6b4
dan [Thu, 19 Jul 2018 11:44:02 +0000 (11:44 +0000)]
Experimental fix for resetting databases that have been deemed read-only due
to a corrupt "read-version" header field.
FossilOrigin-Name:
e2394002d02754bb45d56e805df9bc5a2ef0d14e5d94262c1f8ab7643bc27c8f
drh [Wed, 18 Jul 2018 19:09:07 +0000 (19:09 +0000)]
Add the SQLITE_FCNTL_DATA_VERSION file control
FossilOrigin-Name:
a5087c5c87ad65f92e3bc96bbc84afb43faf10ab6b9ed3ba16304b5c60ad069f
drh [Wed, 18 Jul 2018 17:37:51 +0000 (17:37 +0000)]
Fix a harmless compiler warning in the pager. Enhance the docs for
sqlite3_changes() and sqlite3_total_changes() to refer to the data_version
pragma.
FossilOrigin-Name:
4c70ea5b0e2a512c6a46ac1f14397720e8c8556875701e78c30b19f850c24f55
dan [Tue, 17 Jul 2018 14:01:55 +0000 (14:01 +0000)]
If an SQLITE_IOERR error is encountered as part of an atomic commit on an F2FS file-system, retry the commit in legacy journal mode.
FossilOrigin-Name:
2e0357c2ed30927921cd17129e348a18a6f3fd086d1fc0a42756036b321a084d
dan [Tue, 17 Jul 2018 13:55:08 +0000 (13:55 +0000)]
Fix for builds without SQLITE_ENABLE_BATCH_ATOMIC_WRITE.
FossilOrigin-Name:
b10ec14ef7edcc5d7b0ad298c8230d1eca5508e8cf673fbbc97a0928b76c92fb
dan [Mon, 16 Jul 2018 20:44:00 +0000 (20:44 +0000)]
Add new file doc/F2FS.txt, containing notes on the way SQLite uses the F2FS atomic commit feature.
FossilOrigin-Name:
59efb1bfaba12742379aae45c8c796ca539f089af9e553a3a55d6899a9c583c8
drh [Mon, 16 Jul 2018 11:32:59 +0000 (11:32 +0000)]
Minor simplification to sqlite3RollbackAll().
FossilOrigin-Name:
432fdc221550b3cca4140b1ae411da22201f689c30c72c5472dfdbc79bec9d90
dan [Sat, 14 Jul 2018 20:25:13 +0000 (20:25 +0000)]
If an SQLITE_IOERR error is encountered as part of an atomic commit on an F2FS
file-system, retry the commit in legacy journal mode.
FossilOrigin-Name:
1c41250f67ac5de423b0426ef2ab8fe3303278a270225920033933ca9609592a
dan [Fri, 13 Jul 2018 20:28:54 +0000 (20:28 +0000)]
Remove an unused function declaration from fts5.
FossilOrigin-Name:
148d9b61471a874a16a9ec9c9603da03cadb3a40662fb550af51cb36212426b1
dan [Fri, 13 Jul 2018 19:52:43 +0000 (19:52 +0000)]
Add the "categories" option to the unicode61 tokenizer in fts5.
FossilOrigin-Name:
80d2b9e635e3100f90cffdcffa5b5038da6fbbfccc9f5777c59a4ae760d4cb62
dan [Thu, 12 Jul 2018 19:14:39 +0000 (19:14 +0000)]
Add a test-control to disable the skip-scan optimization.
FossilOrigin-Name:
650a3fe03d61068e06f3097878a777ca8ed713a769444cdb3f8be7d1e19a0b83
dan [Thu, 12 Jul 2018 11:28:42 +0000 (11:28 +0000)]
Add a test case to check that SQLITE_DBCONFIG_RESET_DATABASE can be used with
wal mode databases even if there are active readers.
FossilOrigin-Name:
6145f5b3bacdee8f377892ac8b885941336c4cc543052f6373e21c1f99e1eca8
drh [Wed, 11 Jul 2018 13:34:24 +0000 (13:34 +0000)]
On an UPSERT when the order of constraint checks is rearranged, make sure
that the affinity transformations on the inserted content occur before
any of the constraint checks. Fix for ticket [
79cad5e4b2e219dd197242e9e5f4e ].
FossilOrigin-Name:
d120c45f3dc79f67afed0e44e5133569f784bc6792b15f5d79529deac2d13072
drh [Wed, 11 Jul 2018 03:27:52 +0000 (03:27 +0000)]
Adjustments to VdbeCoverage macros to deal with byte-code branches that
can never be taken in some directions.
FossilOrigin-Name:
b170c0092b1d0c47dd700843f0c870e51181939607a897fbcae55a58042160f9
drh [Tue, 10 Jul 2018 23:31:17 +0000 (23:31 +0000)]
Remove incorrect ALWAYS() macros from the window function logic.
FossilOrigin-Name:
94ac51cc4e7fdf484214e1936fc96104b96134632a8eb99558b3af743ac8bb8b
drh [Tue, 10 Jul 2018 22:24:14 +0000 (22:24 +0000)]
Add VdbeModuleComment()s on the three main code generators for window
functions.
FossilOrigin-Name:
f7c239e959004cb90dc8537ab2e1fca5f26ef21f4f6f3dfd743a05a55e705090
drh [Tue, 10 Jul 2018 20:50:27 +0000 (20:50 +0000)]
Minor comment changes. Add ALWAYS() macros on some unreachable branches
in the xStep() methods of built-in window functions.
FossilOrigin-Name:
f2057542cf6860badb4ae6b1a0df94a78d5b2661dabf16f5705b3f8236521bea
drh [Tue, 10 Jul 2018 19:48:35 +0000 (19:48 +0000)]
Identify Select objects within a single statement using small sequential
integers rather than "0x%p". This is more readable and yields the same result
on successive runs.
FossilOrigin-Name:
a7cdc5bc85e0edfcc38f920c2ce91599bcbfdb49522d88b08c64596546d13881
dan [Tue, 10 Jul 2018 18:50:01 +0000 (18:50 +0000)]
Modify tests in window3.test to be tolerant of rounding errors when comparing
floating point values.
FossilOrigin-Name:
7c26c443e7f6455ca7f11f640e42285b42d95c9ae5f2e19e9c066d6d9cdcceb2
dan [Tue, 10 Jul 2018 17:26:12 +0000 (17:26 +0000)]
Fix a problem with using scalar sub-selects in window function queries.
FossilOrigin-Name:
687fe532c274265ca77451f97829743fcb8a714d0f6b1ceb9a147ab9babdc5b5
drh [Tue, 10 Jul 2018 17:10:44 +0000 (17:10 +0000)]
Further improvements to bytecode branch testing. Fix cases where the
macros said a branch could not be taken when in fact it could be. Alter
some window function branch coverage macros to indicate that comparison
operands cannot be NULL.
FossilOrigin-Name:
76e42b7071a71137c0da4f10db4e653ae94a89b56e95cd3f036bff08c9500d08
drh [Tue, 10 Jul 2018 16:04:04 +0000 (16:04 +0000)]
Enhancements and improved documentation to the byte-code branch coverage
testing logic. Provide new macros that allow the code to specify that
some branch instructions can never take the NULL path and that the OP_Jump
opcode is only interested in equal/not-equal. The
SQLITE_TESTCTRL_VDBE_COVERAGE file control callback now works slightly
differently (it provides the callback with a bitmask of the branch action,
rather than an integer).
FossilOrigin-Name:
cd2da7e1ba4e78e68ccf65d4969df963c1e3085930e74419450bda2799381e05
drh [Tue, 10 Jul 2018 07:39:23 +0000 (07:39 +0000)]
Fix a harmless warning about comment formatting in the previous
check-in. Simplify the ORDER BY dereferencing logic so that it avoids
unreachable branches.
FossilOrigin-Name:
0f6ec605e131ab3d53b9df32af0a3207146a9abbd22dcabd6ef050b92f96735d
drh [Tue, 10 Jul 2018 07:25:42 +0000 (07:25 +0000)]
Assert that if two functions compare equal in every other way, then they
must both have OVER clauses, or neither has an OVER clause. Use this fact
to simplify expression comparison.
FossilOrigin-Name:
52559ad58ce412af40f1f34e80bfe9fadc6a93f3ca0cfaf69f94d615bbb99831
drh [Tue, 10 Jul 2018 06:47:07 +0000 (06:47 +0000)]
Enhance the sqlite3ExprCompare() routine so that it knows to compare the
OVER clause of window functions.
FossilOrigin-Name:
0a7649afebc9349bf44a0e3588e81ab595ea85be1c70de08859ea76a7b271f62
drh [Tue, 10 Jul 2018 06:32:53 +0000 (06:32 +0000)]
Enhance the TreeView mechanism so that it shows the window function
data structures as part of the abstract syntax tree.
FossilOrigin-Name:
a2c0e1bec0d8a6f982572c4c5a8166319b8db0fe586057f7900f0ab72af6554e
drh [Tue, 10 Jul 2018 05:11:03 +0000 (05:11 +0000)]
drh [Mon, 9 Jul 2018 22:49:01 +0000 (22:49 +0000)]
Fixes for various harmless compiler warnings.
FossilOrigin-Name:
5023b1b85b883a716a5da673740b6effe214ee0490f4ca45f161bb8b04784366
drh [Mon, 9 Jul 2018 20:58:43 +0000 (20:58 +0000)]
Add a comment to restriction (6) of the push-down optimization. No changes
to code.
FossilOrigin-Name:
0c8a2f257fb71b2b053c4a2028db063e92dd9ff585a17fa22a70f9223fb11e75
drh [Mon, 9 Jul 2018 20:41:39 +0000 (20:41 +0000)]
Add an ALWAYS() around a branch in sqlite3BtreeSkipNext() that we believe
must always be true.
FossilOrigin-Name:
12be361a532df0c22a7e4d97658b82a69b1a205d4cca8d092b9e6b7790c1ee40
dan [Mon, 9 Jul 2018 18:55:44 +0000 (18:55 +0000)]
Avoid leaving view-definitions with an incomplete set of column names/types in
the in-memory schema if an OOM strikes while allocating the same.
FossilOrigin-Name:
1ddbb5372e7ea8407369b88698b3fb922b62dcac72be633a17bd0e41baa369f4
dan [Mon, 9 Jul 2018 18:11:52 +0000 (18:11 +0000)]
drh [Mon, 9 Jul 2018 17:33:24 +0000 (17:33 +0000)]
Remove redundant branches in window function processing.
FossilOrigin-Name:
8fdaf3f37e5ddac9b7337a50f32f5d2bcdd64780797f08cfd3fccfa95819edfe
drh [Mon, 9 Jul 2018 16:24:00 +0000 (16:24 +0000)]
Simplification to the grammar rules for window functions. Fix a memory
leak that can follow an OOM while parsing a comma-separated list of
window definitions.
FossilOrigin-Name:
a568f9c9db594f3b194c6e870305c9d6f2392ce6bc8ac00e9688883e97560fff
dan [Mon, 9 Jul 2018 13:31:18 +0000 (13:31 +0000)]
Throw an error if the second argument passed to nth_value() is not a positive
integer.
FossilOrigin-Name:
1a06e57a0b4279fa580c7ff4f152645f005794aaf86eeabf694637b7da11f763
dan [Mon, 9 Jul 2018 06:51:36 +0000 (06:51 +0000)]
drh [Mon, 9 Jul 2018 02:37:12 +0000 (02:37 +0000)]
Simplification to the logic that detects misuse of the application-defined
function creation interfaces.
FossilOrigin-Name:
8f21d778450e1e5d2bc7f109d614fe018eb3d228b0bfc91cd3c6a5204415998f
drh [Mon, 9 Jul 2018 02:02:09 +0000 (02:02 +0000)]
During WITHOUT ROWID table creation, if the sqlite3CreateTable() call fails
due to an authorizer denying the INSERT into the sqlite_master table, then
detect this fact and abort the CREATE TABLE early, to avoid an assertion
fault.
FossilOrigin-Name:
164b1641e346994f0b9f91261c3cbc86b68e1c96cc401b78e48e186e26916abe
drh [Sun, 8 Jul 2018 01:02:26 +0000 (01:02 +0000)]
Identify specific FuncDef objects for window functions using the pointer to
the function name (FuncDef.zName) rather than the pointer to the xStep method.
This allows xStep method pointer to be replaced with a single noopStepFunc()
procedure, and thus save having lots of different no-op step functions.
FossilOrigin-Name:
410e13b0e0fb6e040808f076014d55ecf2b541c5439b4fd53c5bdcb8d800098e
drh [Sat, 7 Jul 2018 20:55:16 +0000 (20:55 +0000)]
Simplifications to the implementation of the sum() SQL function.
FossilOrigin-Name:
a8b13002378fc4ef0b41c367b44b67bf2b28b6624303c087a3c6d657b5bfe32e
dan [Sat, 7 Jul 2018 20:26:30 +0000 (20:26 +0000)]
Fix another problem with reusing LSM cursors for range scans.
FossilOrigin-Name:
ae3fc7652f27ba0a86f4c26f64c2e148d9496a5edb7f54dc9980edd91c326e4f
drh [Sat, 7 Jul 2018 20:23:46 +0000 (20:23 +0000)]
Fix the JSON extension so that it can be compiled separately from the
amalgamation.
FossilOrigin-Name:
4b8cfe7bfe5f049eb4607fd480429fcd2060e691891d8bffc9917f13fa373988
dan [Sat, 7 Jul 2018 20:13:32 +0000 (20:13 +0000)]
Fix an LSM problem caused by using the same cursor for equality and range
scans.
FossilOrigin-Name:
f05bead371d41ca5beef1f82e4c920c90e2eb9cd9fd537a5c91973bf9bd4eedb