From: drh <>
Date: Thu, 28 Nov 2024 11:52:18 +0000 (+0000)
Subject: Improvements to sqlite3ExprImpliesExpr() so that it recognizes that expressions like... 
X-Git-Tag: major-relase~106
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e8233f14bd25a07fe6be14dc7151af920cb5af68;p=thirdparty%2Fsqlite.git

Improvements to sqlite3ExprImpliesExpr() so that it recognizes that expressions like "iif(X,Y)" and "CASE WHEN X THEN Y END" imply X.

FossilOrigin-Name: eb5ac9e5b9a4f9c85a2203107697da14c07c1667037dff672f9d786cea964a37
---

e8233f14bd25a07fe6be14dc7151af920cb5af68
diff --cc manifest
index 2c47dca7a7,08329b81dc..6acd2d5b11
--- a/manifest
+++ b/manifest
@@@ -1,5 -1,5 +1,5 @@@
- C Fix\san\sinaccuracy\sin\sthe\sdocumentation\sin\sfts5.h.
- D 2024-11-27T18:01:25.186
 -C Simplification\sto\sthe\sfix\sin\sthe\sprior\scheck-in.
 -D 2024-11-28T02:09:27.502
++C Improvements\sto\ssqlite3ExprImpliesExpr()\sso\sthat\sit\srecognizes\sthat\sexpressions\slike\s"iif(X,Y)"\sand\s"CASE\sWHEN\sX\sTHEN\sY\sEND"\simply\sX.
++D 2024-11-28T11:52:18.714
  F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
  F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
  F LICENSE.md e108e1e69ae8e8a59e93c455654b8ac9356a11720d3345df2a4743e9590fb20d
@@@ -2201,8 -2201,8 +2201,9 @@@ F tool/version-info.c 3b36468a90faf1bbd
  F tool/warnings-clang.sh bbf6a1e685e534c92ec2bfba5b1745f34fb6f0bc2a362850723a9ee87c1b31a7
  F tool/warnings.sh 49a486c5069de041aedcbde4de178293e0463ae9918ecad7539eedf0ec77a139
  F tool/win/sqlite.vsix deb315d026cc8400325c5863eef847784a219a2f
- P 1e405c39a8405e2081ce061559d1aacc70055fc74ab86d886b973076a3fb124b
- R 306a37bedf7a72c95bbfd16141af1dca
- U dan
- Z 0f8994542e0c6b090d32b7bcc99e7877
 -P df95d5209a77c0302e08ea7b1f248646fb2a062ba5beca898678aee0a1d03a3a
++P ec3ca6f17972a9624018ae352e5a4be8dc34602a4569c80e827e09cd7fbed7f7 f79cb748c9447ca4d2184a24219feb19571eb79870e0bedf14704743a3d5f8b9
+ R 2a463ba8c7e54a6e85c2163c1e1ce03b
++T +closed f79cb748c9447ca4d2184a24219feb19571eb79870e0bedf14704743a3d5f8b9
+ U drh
 -Z 5b8128e8d052469f340725fed84274b9
++Z d7886908d3bdbdc117a1626da09a8266
  # Remove this line to create a well-formed Fossil manifest.
diff --cc manifest.uuid
index 2abc82dd83,d656caede7..2b2172d181
--- a/manifest.uuid
+++ b/manifest.uuid
@@@ -1,1 -1,1 +1,1 @@@
- ec3ca6f17972a9624018ae352e5a4be8dc34602a4569c80e827e09cd7fbed7f7
 -f79cb748c9447ca4d2184a24219feb19571eb79870e0bedf14704743a3d5f8b9
++eb5ac9e5b9a4f9c85a2203107697da14c07c1667037dff672f9d786cea964a37