Dbsqlfuzz discovered a case where a bytecode branch is in fact taken, so change

the designator from VdbeCoverageNeverTaken() to VdbeCoverage().  Test case
in TH3.

FossilOrigin-Name: 988a2a759f2b9da0e287e65306039b7a3e2b5aac3d31fe15cbb30d30ea6caf71

diff --git a/manifest b/manifest
index cdcbb2ec413309c93eb7c4a84f5a529f55e83cc0..89dd2516ecd1f8c323c28f72f32ab0a4999efaee 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Fix\sthe\sOP_NullRow\sopcode\sso\sthat\sit\sworks\seven\sif\sit\sapplied\sto\san\nephemeral\scursor\sthat\shas\snot\syet\sbeen\screated.
-D 2022-06-14T22:21:23.940
+C Dbsqlfuzz\sdiscovered\sa\scase\swhere\sa\sbytecode\sbranch\sis\sin\sfact\staken,\sso\schange\nthe\sdesignator\sfrom\sVdbeCoverageNeverTaken()\sto\sVdbeCoverage().\s\sTest\scase\nin\sTH3.
+D 2022-06-15T12:32:27.651
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -637,7 +637,7 @@ F src/threads.c 4ae07fa022a3dc7c5beb373cf744a85d3c5c6c3c
 F src/tokenize.c a38f52058b517929e264094abd0b5fd1e8e145a1aa43bc6f6a72ae5218f96c98
 F src/treeview.c c48bbb4b04a951dcecf95b464d0fe94930339af56688a77f18ee50a526bc1706
 F src/trigger.c 61bea163b1fa3039bc572ed8312461b978e5c527e5301f302b078f4c1ccdec6a
-F src/update.c 2cfaded82ca80ff56afb8c3ae5e88284e0824bfd86119827cc22481959f96f92
+F src/update.c c52a7991bece0453d22c77c08469512ee2f1391c12503fd347d1c939220c5877
 F src/upsert.c 8789047a8f0a601ea42fa0256d1ba3190c13746b6ba940fe2d25643a7e991937
 F src/utf.c ee39565f0843775cc2c81135751ddd93eceb91a673ea2c57f61c76f288b041a0
 F src/util.c 602fe229f32a96ceccae4f40824129669582096f7c355f53dbac156c9fecef23
@@ -1976,8 +1976,8 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P 6c3266c1b4fc446c7c3a40a8816caf4f9fe0cafe4f27cdafecac61425a17927e
-R 76c655ef409274be060169c56d9cdb33
+P 0e925654c24774933c7738c68f704b229c68e18c8baa45f506b8d6f09164d0d8
+R fc77c0f7235368cab2eb46c215200d7e
 U drh
-Z 17cec38f8d64f2ebe20fa6b2787372c5
+Z 28b980d024414557764b901ec0487955
 # Remove this line to create a well-formed Fossil manifest.

diff --git a/manifest.uuid b/manifest.uuid
index 87fc83d3c0b056894814cb287167a4a83ba9f8f5..d66183a4a005a565b9fef8e485e38e3f235bc5c6 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-0e925654c24774933c7738c68f704b229c68e18c8baa45f506b8d6f09164d0d8
\ No newline at end of file
+988a2a759f2b9da0e287e65306039b7a3e2b5aac3d31fe15cbb30d30ea6caf71
\ No newline at end of file

diff --git a/src/update.c b/src/update.c
index 6547041472c381c61169cd327258138680bf26cf..3fd78a0b5af545861b3cabc49a7361559ea8382f 100644 (file)
--- a/src/update.c
+++ b/src/update.c
@@ -1028,7 +1028,7 @@ void sqlite3Update(
       }else{
         sqlite3VdbeAddOp3(v, OP_NotExists, iDataCur, labelContinue,regOldRowid);
       }
-      VdbeCoverageNeverTaken(v);
+      VdbeCoverage(v);
     }
 
     /* Do FK constraint checks. */