The complete work-in-progress SQLite recover virtual table.

third_party/sqlite/src/test/recover1.test

 # 2012 January 4 {}
 #
 # The author disclaims copyright to this source code.  In place of
 # a legal notice, here is a blessing:
 #
 #    May you do good and not evil.
 #    May you find forgiveness for yourself and forgive others.
 #    May you share freely, never taking more than you give.
 #
 #***********************************************************************
@@ skipping 261 matching lines @@
     CREATE VIRTUAL TABLE temp.types2_recover USING recover(
       types2,
       id ROWID NOT NULL,
       rowtype TEXT,
       value
     );
   }
   execsql {SELECT rowid, id, rowtype, value, TYPEOF(value) FROM types2_recover}
 } {1 1 NULL {} null 2 2 INTEGER 17 integer 3 3 FLOAT 3.1415927 real 4 4 TEXT {This is text} text 5 5 BLOB {This is a blob} blob}
 
+# Inserting an integral value into a FLOAT can use more compact INTEGER
+# storage.
+do_test recover-types-7.0 {
+  db eval {
+    DROP TABLE IF EXISTS floats;
+    CREATE TABLE floats (value);
+    INSERT INTO floats VALUES (CAST (0 AS FLOAT));
+    INSERT INTO floats VALUES (CAST (1 AS FLOAT));
+    INSERT INTO floats VALUES (CAST (2 AS FLOAT));
+    INSERT INTO floats VALUES (1.0);
+    INSERT INTO floats VALUES (2.3);
+
+    DROP TABLE IF EXISTS floats_new;
+    CREATE TABLE floats_new (value);
+    INSERT INTO floats_new SELECT value FROM floats;
+
+    DROP TABLE IF EXISTS floats_recover;
+    CREATE VIRTUAL TABLE temp.floats_recover USING recover(
+      floats,
+      value FLOAT
+    );
+  }
+  execsql {SELECT rowid, value, TYPEOF(value) FROM floats_new}
+  execsql {SELECT rowid, value, TYPEOF(value) FROM floats_recover}
+} {1 0.0 real 2 1.0 real 3 2.0 real 4 1.0 real 5 2.3 real}
+
 finish_test