Please see this assertion error:

CREATE TABLE t0 (c0);
CREATE TABLE t1 (c0);
CREATE TABLE t2 (c0 , c1 , c2 , UNIQUE (c0), UNIQUE (c2 DESC));
INSERT INTO t2 VALUES ('x', 'y', 'z');
ANALYZE;
CREATE VIEW v0(c0) AS SELECT FALSE;

SELECT * FROM t0 LEFT OUTER JOIN t1 ON v0.c0 INNER JOIN v0 INNER JOIN t2 ON (t2.c2 NOT NULL); -- sqlite3.c:155840: whereRangeScanEst: Assertion `pUpper==0 || (pUpper->wtFlags & TERM_VNULL)==0' failed.

Note that the assertion error manifests when STAT4 is enabled.

Environment:

Version: 3.39.0 (Unreleased)

Commit ID: 5fa00959