description

Since c2 is 0.2,so c2/0.1 should be evaluated as true in sql2 where condition. Sql and sql2 should both return 0.2. However, sql2 return nothing.

--sql1
sqlite> SELECT c2 FROM v0 FULL OUTER JOIN vt0 ON ((UPPER( c3))<(NULL)) LEFT OUTER JOIN t1 ON 1;
0.2

--sql2
sqlite> SELECT c2 FROM v0 FULL OUTER JOIN vt0 ON ((UPPER( c3))<(NULL)) LEFT OUTER JOIN t1 ON 1 WHERE c2/0.1;
sqlite>

how to repeat

It can be reproduced in CLI(SQLite version 3.46.0 2024-03-06 20:49:05 ) . If you delete distinct key word,the bug can't be reproduced.

CREATE VIRTUAL TABLE vt0 USING fts5(c0, c1 UNINDEXED);
CREATE TABLE t1 (c2 float);
CREATE INDEX i0 ON t1(NULL);
INSERT INTO t1(c2) VALUES (0.2);
CREATE VIEW v0(c3) AS SELECT DISTINCT c2 FROM t1;

SELECT c2 FROM v0 FULL OUTER JOIN vt0 ON ((UPPER( c3))<(NULL)) LEFT OUTER JOIN t1 ON 1;
SELECT c2 FROM v0 FULL OUTER JOIN vt0 ON ((UPPER( c3))<(NULL)) LEFT OUTER JOIN t1 ON 1 WHERE c2/0.1;