Skip to main content

diesel/sqlite/connection/
sqlite_value.rs

1#![allow(unsafe_code)] // ffi calls
2#[cfg(not(all(target_family = "wasm", target_os = "unknown")))]
3extern crate libsqlite3_sys as ffi;
4
5#[cfg(all(target_family = "wasm", target_os = "unknown"))]
6use sqlite_wasm_rs as ffi;
7
8use std::cell::Ref;
9use std::ptr::NonNull;
10use std::{slice, str};
11
12use crate::sqlite::SqliteType;
13use crate::QueryResult;
14
15use super::owned_row::OwnedSqliteRow;
16use super::row::PrivateSqliteRow;
17
18/// Raw sqlite value as received from the database
19///
20/// Use the `read_*` functions to access the actual
21/// value or use existing `FromSql` implementations
22/// to convert this into rust values
23#[allow(missing_debug_implementations, missing_copy_implementations)]
24pub struct SqliteValue<'row, 'stmt, 'query> {
25    // This field exists to ensure that nobody can modify the underlying row
26    // while we are holding a reference to some row value here, and to reach
27    // the connection a value is still attached to
28    owner: ValueOwner<'row, 'stmt, 'query>,
29    // we extract the raw value pointer as part of the constructor
30    // to safe the match statements for each method
31    // According to benchmarks this leads to a ~20-30% speedup
32    //
33    // This is sound as long as nobody calls `stmt.step()`
34    // while holding this value. We ensure this by including
35    // a reference to the row above.
36    value: NonNull<ffi::sqlite3_value>,
37    // An optional storage for a string that is
38    // created from an non-utf8 blob value via `read_str`
39    // This field mostly exists for as we cannot
40    // return an error in that case as the API is
41    // stable and doesn't return a `Result`. We instead
42    // use `String::from_utf8_lossy` there and need
43    // to store the potential owned result here
44    string_ref: Option<Box<str>>,
45    // The type the value declared before any read converted it, as
46    // https://www.sqlite.org/c3ref/value_blob.html requires asking first
47    initial_type: SqliteType,
48    // A private copy of the value, used by reads that would otherwise convert the
49    // shared value in place and free the buffer another handle points at
50    converted: Option<OwnedSqliteValue>,
51}
52
53enum ValueOwner<'row, 'stmt, 'query> {
54    // Only a direct row is still attached to its connection, a duplicated one
55    // holds values from `sqlite3_value_dup`
56    Row(Ref<'row, PrivateSqliteRow<'stmt, 'query>>),
57    // A value outside a row: a function argument carries its connection, a
58    // duplicated value has none
59    NonRow(Option<NonNull<ffi::sqlite3>>),
60}
61
62/// A form a value read hands out, which SQLite stores by converting the value.
63#[derive(#[automatically_derived]
impl ::core::marker::Copy for Representation { }Copy, #[automatically_derived]
#[doc(hidden)]
unsafe impl ::core::clone::TrivialClone for Representation { }
#[automatically_derived]
impl ::core::clone::Clone for Representation {
    #[inline]
    fn clone(&self) -> Self { *self }
}Clone)]
64enum Representation {
65    Text,
66    Blob,
67}
68
69impl Representation {
70    fn target(self) -> &'static str {
71        match self {
72            Self::Text => "text",
73            Self::Blob => "a blob",
74        }
75    }
76}
77
78#[derive(#[automatically_derived]
impl ::core::fmt::Debug for OwnedSqliteValue {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field1_finish(f,
            "OwnedSqliteValue", "value", &&self.value)
    }
}Debug)]
79#[repr(transparent)]
80pub(super) struct OwnedSqliteValue {
81    pub(super) value: NonNull<ffi::sqlite3_value>,
82}
83
84impl Drop for OwnedSqliteValue {
85    fn drop(&mut self) {
86        unsafe { ffi::sqlite3_value_free(self.value.as_ptr()) }
87    }
88}
89
90// Unsafe Send impl safe since sqlite3_value is built with sqlite3_value_dup
91// see https://www.sqlite.org/c3ref/value.html
92unsafe impl Send for OwnedSqliteValue {}
93
94#[cold]
95fn allocation_failed(out_of_memory: bool, target: &str) -> ! {
96    let reason = if out_of_memory {
97        "ran out of memory"
98    } else {
99        "failed to allocate memory"
100    };
101    {
    ::core::panicking::panic_fmt(format_args!("SQLite {0} while reading a value as {1}",
            reason, target));
}panic!("SQLite {reason} while reading a value as {target}")
102}
103
104#[cold]
105fn duplication_failed() -> crate::result::Error {
106    crate::result::Error::DeserializationError(
107        "SQLite failed to allocate a duplicated value".into(),
108    )
109}
110
111impl<'row, 'stmt, 'query> SqliteValue<'row, 'stmt, 'query> {
112    pub(super) fn new(
113        row: Ref<'row, PrivateSqliteRow<'stmt, 'query>>,
114        col_idx: usize,
115    ) -> Option<SqliteValue<'row, 'stmt, 'query>> {
116        let value = match &*row {
117            PrivateSqliteRow::Direct(stmt) => stmt.column_value(
118                col_idx
119                    .try_into()
120                    .expect("Diesel expects to run at least on a 32 bit platform"),
121            )?,
122            PrivateSqliteRow::Duplicated { values, .. } => {
123                values.get(col_idx).and_then(|v| v.as_ref())?.value
124            }
125        };
126        // SAFETY: the row owns the value and keeps it alive for `'row`.
127        let initial_type = unsafe { value_type_of(value) }?;
128        Some(Self {
129            owner: ValueOwner::Row(row),
130            value,
131            string_ref: None,
132            initial_type,
133            converted: None,
134        })
135    }
136
137    pub(super) fn from_owned_row(
138        row: &'row OwnedSqliteRow,
139        col_idx: usize,
140    ) -> Option<SqliteValue<'row, 'stmt, 'query>> {
141        let value = row.values.get(col_idx).and_then(|v| v.as_ref())?.value;
142        // SAFETY: `row` owns the value and keeps it alive for `'row`.
143        let initial_type = unsafe { value_type_of(value) }?;
144        Some(Self {
145            owner: ValueOwner::NonRow(None),
146            value,
147            string_ref: None,
148            initial_type,
149            converted: None,
150        })
151    }
152
153    pub(super) fn from_function_row(
154        row: &'row [Option<OwnedSqliteValue>],
155        col_idx: usize,
156        connection: NonNull<ffi::sqlite3>,
157    ) -> Option<SqliteValue<'row, 'stmt, 'query>> {
158        let value = row.get(col_idx).and_then(|v| v.as_ref())?.value;
159        // SAFETY: the callback's argument row owns the value for the call.
160        let initial_type = unsafe { value_type_of(value) }?;
161        Some(Self {
162            owner: ValueOwner::NonRow(Some(connection)),
163            value,
164            string_ref: None,
165            initial_type,
166            converted: None,
167        })
168    }
169
170    // Values from `sqlite3_value_dup` are disconnected from the connection, so they
171    // cannot be asked: https://www.sqlite.org/c3ref/value_blob.html
172    fn connection(&self) -> Option<NonNull<ffi::sqlite3>> {
173        match &self.owner {
174            ValueOwner::Row(row) => match &**row {
175                PrivateSqliteRow::Direct(stmt) => NonNull::new(stmt.raw_connection()),
176                PrivateSqliteRow::Duplicated { .. } => None,
177            },
178            ValueOwner::NonRow(connection) => *connection,
179        }
180    }
181
182    /// Reports whether an allocation just failed, which must be asked before any other call.
183    fn reports_out_of_memory(&self) -> bool {
184        let Some(connection) = self.connection() else {
185            return false;
186        };
187        // SAFETY: The owner keeps the connection alive and this call only reads
188        // connection state.
189        unsafe { ffi::sqlite3_errcode(connection.as_ptr()) == ffi::SQLITE_NOMEM }
190    }
191
192    /// Returns the value to read `wanted` from, copying it first when SQLite would
193    /// convert the shared value in place and free a buffer another handle points at.
194    fn value_to_read(&mut self, wanted: Representation) -> NonNull<ffi::sqlite3_value> {
195        // A value gains its other textual form by conversion, while a numeric one
196        // gains it in a fresh buffer that replaces nothing.
197        let converts_in_place = #[allow(non_exhaustive_omitted_patterns)] match (self.initial_type, wanted) {
    (SqliteType::Text, Representation::Blob) |
        (SqliteType::Binary, Representation::Text) => true,
    _ => false,
}matches!(
198            (self.initial_type, wanted),
199            (SqliteType::Text, Representation::Blob) | (SqliteType::Binary, Representation::Text)
200        );
201        if !converts_in_place {
202            return self.value;
203        }
204        if self.converted.is_none() {
205            // SAFETY: `self.owner` keeps `self.value` alive across this call, which
206            // only reads it while copying it into an independently owned value.
207            let copy = unsafe { ffi::sqlite3_value_dup(self.value.as_ptr()) };
208            // The value above is not SQL NULL, so only a failed allocation is null.
209            let Some(copy) = NonNull::new(copy) else {
210                // Ask the connection before any other call to it clears the error code.
211                allocation_failed(self.reports_out_of_memory(), wanted.target());
212            };
213            self.converted = Some(OwnedSqliteValue { value: copy });
214        }
215        self.converted
216            .as_ref()
217            .expect("We initialised it literally above")
218            .value
219    }
220
221    pub(crate) fn as_byte_string(&mut self) -> &[u8] {
222        let value = self.value_to_read(Representation::Text);
223        // SAFETY: `self.owner` keeps the value alive, a copy is owned by `self`, and
224        // the returned slice borrows `self` for as long as either can be converted.
225        unsafe {
226            // Force the UTF-8 conversion now so the length below cannot
227            // trigger one (moving the buffer, or failing as zero length).
228            // https://www.sqlite.org/c3ref/column_blob.html
229            if ffi::sqlite3_value_text(value.as_ptr()).is_null() {
230                // Zero length text has a valid pointer, so this is a failed conversion.
231                allocation_failed(self.reports_out_of_memory(), Representation::Text.target());
232            }
233            let len = ffi::sqlite3_value_bytes(value.as_ptr());
234            // The length above may have invalidated the pointer.
235            let ptr = ffi::sqlite3_value_text(value.as_ptr());
236            if ptr.is_null() {
237                allocation_failed(self.reports_out_of_memory(), Representation::Text.target());
238            }
239            slice::from_raw_parts(
240                ptr,
241                len.try_into()
242                    .expect("Diesel expects to run at least on a 32 bit platform"),
243            )
244        }
245    }
246
247    pub(crate) fn as_utf8_str(&mut self) -> Result<&str, core::str::Utf8Error> {
248        str::from_utf8(self.as_byte_string())
249    }
250
251    pub(crate) fn parse_string<'value, R>(&'value mut self, f: impl FnOnce(&'value str) -> R) -> R {
252        // For blobs this might return non-utf values
253        //
254        // The sqlite documentation there seems to be at least inaccurate
255        if str::from_utf8(self.as_byte_string()).is_err() {
256            // Read again to drop the byte borrow before storing the lossy copy, as
257            // repeated reads of one value do not convert it again.
258            let lossy = String::from_utf8_lossy(self.as_byte_string()).into_owned();
259            self.string_ref = Some(lossy.into_boxed_str());
260            let s = self
261                .string_ref
262                .as_deref()
263                .expect("We initialised it literally above");
264            return f(s);
265        }
266        let s = str::from_utf8(self.as_byte_string()).expect("The bytes are valid utf8 above");
267        f(s)
268    }
269
270    /// Read the underlying value as string
271    ///
272    /// If the underlying value is not a string sqlite will convert it
273    /// into a string and return that value instead.
274    ///
275    /// Use the [`value_type()`](Self::value_type()) function to determine the actual
276    /// type of the value.
277    ///
278    /// See <https://www.sqlite.org/c3ref/value_blob.html> for details
279    ///
280    /// Reading a blob value as text copies it, so slices returned for the same
281    /// field elsewhere stay valid.
282    ///
283    /// # Panics
284    ///
285    /// Panics if SQLite cannot allocate the requested text representation.
286    pub fn read_text(&mut self) -> &str {
287        // TODO: Return Result in Diesel 3 so SQLite allocation failures reach callers.
288        self.parse_string(|s| s)
289    }
290
291    /// Read the underlying value as blob
292    ///
293    /// If the underlying value is not a blob sqlite will convert it
294    /// into a blob and return that value instead.
295    ///
296    /// Use the [`value_type()`](Self::value_type()) function to determine the actual
297    /// type of the value.
298    ///
299    /// See <https://www.sqlite.org/c3ref/value_blob.html> for details
300    ///
301    /// Zero-length text and blob values are read as an empty slice even when
302    /// SQLite reports a null pointer for them.
303    ///
304    /// Reading a text value as a blob copies it, so slices returned for the same
305    /// field elsewhere stay valid.
306    ///
307    /// # Panics
308    ///
309    /// Panics if SQLite cannot allocate the requested blob representation.
310    pub fn read_blob(&mut self) -> &[u8] {
311        // TODO: Return Result in Diesel 3 so SQLite allocation failures reach callers.
312        let value = self.value_to_read(Representation::Blob);
313        // SAFETY: as in `as_byte_string`, the owner keeps the value alive, `self` owns
314        // a copy, and the returned slice borrows `self` for as long as either lives.
315        unsafe {
316            // Preserve a zeroblob's length because failed expansion changes it to SQL NULL.
317            let initial_blob_len = if #[allow(non_exhaustive_omitted_patterns)] match self.initial_type {
    SqliteType::Binary => true,
    _ => false,
}matches!(self.initial_type, SqliteType::Binary) {
318                Some(ffi::sqlite3_value_bytes(value.as_ptr()))
319            } else {
320                None
321            };
322            // Pin the blob form before the length: bytes() must not measure
323            // (or fail at) a text conversion of the value instead.
324            // https://www.sqlite.org/c3ref/column_blob.html
325            if ffi::sqlite3_value_blob(value.as_ptr()).is_null() {
326                // Ask the connection before any other call to it clears the error code.
327                let out_of_memory = self.reports_out_of_memory();
328                let len = ffi::sqlite3_value_bytes(value.as_ptr());
329                if !out_of_memory
330                    && ((#[allow(non_exhaustive_omitted_patterns)] match self.initial_type {
    SqliteType::Text => true,
    _ => false,
}matches!(self.initial_type, SqliteType::Text) && len == 0)
331                        || initial_blob_len == Some(0))
332                {
333                    return &[];
334                }
335                allocation_failed(out_of_memory, Representation::Blob.target());
336            }
337            let len = ffi::sqlite3_value_bytes(value.as_ptr());
338            // The length above may have invalidated the pointer.
339            let ptr = ffi::sqlite3_value_blob(value.as_ptr());
340            if ptr.is_null() {
341                allocation_failed(self.reports_out_of_memory(), Representation::Blob.target());
342            }
343            slice::from_raw_parts(
344                ptr as *const u8,
345                len.try_into()
346                    .expect("Diesel expects to run at least on a 32 bit platform"),
347            )
348        }
349    }
350
351    /// Read the underlying value as 32 bit integer
352    ///
353    /// If the underlying value is not an integer sqlite will convert it
354    /// into an integer and return that value instead.
355    ///
356    /// Use the [`value_type()`](Self::value_type()) function to determine the actual
357    /// type of the value.
358    ///
359    /// See <https://www.sqlite.org/c3ref/value_blob.html> for details
360    pub fn read_integer(&mut self) -> i32 {
361        unsafe { ffi::sqlite3_value_int(self.value.as_ptr()) }
362    }
363
364    /// Read the underlying value as 64 bit integer
365    ///
366    /// If the underlying value is not a string sqlite will convert it
367    /// into a string and return that value instead.
368    ///
369    /// Use the [`value_type()`](Self::value_type()) function to determine the actual
370    /// type of the value.
371    ///
372    /// See <https://www.sqlite.org/c3ref/value_blob.html> for details
373    pub fn read_long(&mut self) -> i64 {
374        unsafe { ffi::sqlite3_value_int64(self.value.as_ptr()) }
375    }
376
377    /// Read the underlying value as 64 bit float
378    ///
379    /// If the underlying value is not a string sqlite will convert it
380    /// into a string and return that value instead.
381    ///
382    /// Use the [`value_type()`](Self::value_type()) function to determine the actual
383    /// type of the value.
384    ///
385    /// See <https://www.sqlite.org/c3ref/value_blob.html> for details
386    pub fn read_double(&mut self) -> f64 {
387        unsafe { ffi::sqlite3_value_double(self.value.as_ptr()) }
388    }
389
390    /// Get the type of the value as returned by sqlite
391    pub fn value_type(&self) -> Option<SqliteType> {
392        // SAFETY: `self.owner` keeps the value alive and this call only inspects it.
393        unsafe { value_type_of(self.value) }
394    }
395}
396
397/// Reads a value's type, which SQLite reports as SQL `NULL` for a failed conversion.
398///
399/// # Safety
400///
401/// `value` must point to a live `sqlite3_value`.
402unsafe fn value_type_of(value: NonNull<ffi::sqlite3_value>) -> Option<SqliteType> {
403    // SAFETY: the caller guarantees a live value, which this call only inspects.
404    let tpe = unsafe { ffi::sqlite3_value_type(value.as_ptr()) };
405    match tpe {
406        ffi::SQLITE_TEXT => Some(SqliteType::Text),
407        ffi::SQLITE_INTEGER => Some(SqliteType::Long),
408        ffi::SQLITE_FLOAT => Some(SqliteType::Double),
409        ffi::SQLITE_BLOB => Some(SqliteType::Binary),
410        ffi::SQLITE_NULL => None,
411        _ => {
    ::core::panicking::panic_fmt(format_args!("internal error: entered unreachable code: {0}",
            format_args!("Sqlite\'s documentation state that this case ({0}) is not reachable. If you ever see this error message please open an issue at https://github.com/diesel-rs/diesel.",
                tpe)));
}unreachable!(
412            "Sqlite's documentation state that this case ({}) is not reachable. \
413             If you ever see this error message please open an issue at \
414             https://github.com/diesel-rs/diesel.",
415            tpe
416        ),
417    }
418}
419
420impl OwnedSqliteValue {
421    /// Copies a value out of a statement or a function argument.
422    ///
423    /// `Ok(None)` is SQL `NULL`. A failed allocation is an error instead, as reporting
424    /// it as `NULL` would hand out a wrong value.
425    pub(super) fn copy_from_ptr(
426        ptr: NonNull<ffi::sqlite3_value>,
427    ) -> QueryResult<Option<OwnedSqliteValue>> {
428        // SAFETY: `ptr` points to a live `sqlite3_value` owned by the statement or
429        // callback that outlives this call, and reading its type only inspects it.
430        let tpe = unsafe { ffi::sqlite3_value_type(ptr.as_ptr()) };
431        if ffi::SQLITE_NULL == tpe {
432            return Ok(None);
433        }
434        // SAFETY: the same live value as above, which `sqlite3_value_dup` only reads
435        // while it copies it into an independently owned value.
436        let value = unsafe { ffi::sqlite3_value_dup(ptr.as_ptr()) };
437        // The value above is not null, so only a failed allocation returns null here.
438        let value = NonNull::new(value).ok_or_else(duplication_failed)?;
439        Ok(Some(Self { value }))
440    }
441
442    pub(super) fn duplicate(&self) -> QueryResult<OwnedSqliteValue> {
443        // SAFETY: `self` owns `self.value` and keeps it alive across this call, and
444        // `sqlite3_value_dup` only reads it while copying it.
445        let value = unsafe { ffi::sqlite3_value_dup(self.value.as_ptr()) };
446        let value = NonNull::new(value).ok_or_else(duplication_failed)?;
447        Ok(OwnedSqliteValue { value })
448    }
449}
450
451#[cfg(test)]
452mod tests {
453    use crate::connection::{LoadConnection, SimpleConnection};
454    use crate::row::Field;
455    use crate::row::Row;
456    use crate::sql_types::{Blob, Double, Int4, Text};
457    use crate::*;
458
459    #[cfg(not(all(target_family = "wasm", target_os = "unknown")))]
460    mod allocation_failure {
461        use super::super::SqliteValue;
462        use crate::connection::{LoadConnection, SimpleConnection};
463        use crate::deserialize::{self, FromSql};
464        use crate::prelude::*;
465        use crate::row::{Field, Row};
466        use crate::sql_types::Binary;
467        use crate::sqlite::connection::oom_test_support::{
468            panic_message, run_in_child, with_heap_limit,
469        };
470        use crate::sqlite::{Sqlite, SqliteConnection};
471        use crate::test_helpers::format_error;
472
473        const VALUE_LEN: usize = 1_048_576;
474
475        crate::table! {
476            oom_blob (id) {
477                id -> Integer,
478                value -> Binary,
479            }
480        }
481
482        crate::table! {
483            oom_text (id) {
484                id -> Integer,
485                value -> Text,
486            }
487        }
488
489        crate::table! {
490            oom_zeroblob (id) {
491                id -> Integer,
492                len -> Integer,
493            }
494        }
495
496        crate::define_sql_function! {
497            fn read_blob_under_pressure(value: Binary) -> Integer;
498        }
499
500        /// Carries the panic message of a blob read that ran out of memory, as the
501        /// failing statement reports SQLite's own error instead.
502        struct BlobUnderPressure(String);
503
504        impl FromSql<Binary, Sqlite> for BlobUnderPressure {
505            fn from_sql(mut value: SqliteValue<'_, '_, '_>) -> deserialize::Result<Self> {
506                let payload = std::panic::catch_unwind(core::panic::AssertUnwindSafe(|| {
507                    without_spare_memory(|| core::hint::black_box(value.read_blob().len()));
508                }))
509                .expect_err("the blob read did not panic");
510                Ok(Self(panic_message(&*payload).to_string()))
511            }
512        }
513
514        impl crate::deserialize::Queryable<Binary, Sqlite> for BlobUnderPressure {
515            type Row = Self;
516
517            fn build(row: Self::Row) -> deserialize::Result<Self> {
518                Ok(row)
519            }
520        }
521
522        /// Rejects every further SQLite allocation while `f` runs.
523        fn without_spare_memory<R>(f: impl FnOnce() -> R) -> R {
524            with_heap_limit(0, f)
525        }
526
527        fn expect_panic(f: impl FnOnce() + core::panic::UnwindSafe, expected: &str) {
528            let payload = std::panic::catch_unwind(f).expect_err("the read did not panic");
529            let message = panic_message(&*payload);
530            assert!(
531                message.contains(expected),
532                "unexpected panic message: {message}"
533            );
534        }
535
536        fn blob_connection(rows: i32) -> SqliteConnection {
537            let mut conn = SqliteConnection::establish(":memory:").unwrap();
538            // Diesel has no typed DDL.
539            conn.batch_execute(
540                "CREATE TABLE oom_blob (id INTEGER PRIMARY KEY, value BLOB NOT NULL)",
541            )
542            .unwrap();
543            for id in 1..=rows {
544                crate::insert_into(oom_blob::table)
545                    .values((
546                        oom_blob::id.eq(id),
547                        oom_blob::value.eq(vec![b'x'; VALUE_LEN]),
548                    ))
549                    .execute(&mut conn)
550                    .unwrap();
551            }
552            conn
553        }
554
555        fn utf16_text_connection(rows: i32) -> SqliteConnection {
556            let mut conn = SqliteConnection::establish(":memory:").unwrap();
557            // Diesel has no typed DDL and no typed representation of the database encoding.
558            conn.batch_execute(
559                "PRAGMA encoding = 'UTF-16le';
560                 CREATE TABLE oom_text (id INTEGER PRIMARY KEY, value TEXT NOT NULL)",
561            )
562            .unwrap();
563            for id in 1..=rows {
564                crate::insert_into(oom_text::table)
565                    .values((
566                        oom_text::id.eq(id),
567                        oom_text::value.eq("x".repeat(VALUE_LEN)),
568                    ))
569                    .execute(&mut conn)
570                    .unwrap();
571            }
572            conn
573        }
574
575        #[test]
576        fn text_read_panics_when_conversion_fails() {
577            run_in_child(|| {
578                let mut conn = utf16_text_connection(1);
579                let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
580                let row = rows.next().unwrap().unwrap();
581                let field = row.get(0).unwrap();
582                let mut value = field.value().unwrap();
583
584                expect_panic(
585                    core::panic::AssertUnwindSafe(|| {
586                        without_spare_memory(|| {
587                            core::hint::black_box(value.read_text().len());
588                        });
589                    }),
590                    "SQLite ran out of memory while reading a value as text",
591                );
592            });
593        }
594
595        #[test]
596        fn duplicated_text_read_panics_when_conversion_fails() {
597            run_in_child(|| {
598                let mut conn = utf16_text_connection(2);
599                let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
600                let first = rows.next().unwrap().unwrap();
601                // Advancing while the first row lives copies its values out of the statement,
602                // and `sqlite3_value_dup` disconnects them from the connection.
603                let _second = rows.next().unwrap().unwrap();
604                let field = first.get(0).unwrap();
605                let mut value = field.value().unwrap();
606
607                expect_panic(
608                    core::panic::AssertUnwindSafe(|| {
609                        without_spare_memory(|| {
610                            core::hint::black_box(value.read_text().len());
611                        });
612                    }),
613                    "SQLite failed to allocate memory while reading a value as text",
614                );
615            });
616        }
617
618        #[test]
619        fn blob_read_as_text_panics_when_the_copy_fails() {
620            run_in_child(|| {
621                let mut conn = blob_connection(1);
622                let mut rows = conn.load(oom_blob::table.select(oom_blob::value)).unwrap();
623                let row = rows.next().unwrap().unwrap();
624                let field = row.get(0).unwrap();
625                let mut value = field.value().unwrap();
626
627                expect_panic(
628                    core::panic::AssertUnwindSafe(|| {
629                        without_spare_memory(|| {
630                            core::hint::black_box(value.read_text().len());
631                        });
632                    }),
633                    "SQLite failed to allocate memory while reading a value as text",
634                );
635            });
636        }
637
638        #[test]
639        fn text_read_as_blob_panics_when_the_copy_fails() {
640            run_in_child(|| {
641                let mut conn = utf16_text_connection(1);
642                let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
643                let row = rows.next().unwrap().unwrap();
644                let field = row.get(0).unwrap();
645                let mut value = field.value().unwrap();
646
647                expect_panic(
648                    core::panic::AssertUnwindSafe(|| {
649                        without_spare_memory(|| {
650                            core::hint::black_box(value.read_blob().len());
651                        });
652                    }),
653                    "SQLite failed to allocate memory while reading a value as a blob",
654                );
655            });
656        }
657
658        #[test]
659        fn blob_read_keeps_utf16_text_bytes_across_a_text_read() {
660            let mut conn = utf16_text_connection(1);
661            let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
662            let row = rows.next().unwrap().unwrap();
663            let field = row.get(0).unwrap();
664            let mut blob_value = field.value().unwrap();
665            let mut text_value = field.value().unwrap();
666
667            let blob = blob_value.read_blob();
668            assert_eq!(blob.len(), 2 * VALUE_LEN);
669            let (pairs, rest) = blob.as_chunks::<2>();
670            assert!(
671                pairs.iter().all(|pair| pair == b"x\0") && rest.is_empty(),
672                "SQLite blob content changed"
673            );
674
675            // Converting the shared value to UTF-8 frees its UTF-16 buffer.
676            assert_eq!(text_value.read_text().len(), VALUE_LEN);
677            let (pairs, rest) = blob.as_chunks::<2>();
678            assert!(
679                pairs.iter().all(|pair| pair == b"x\0") && rest.is_empty(),
680                "the text read invalidated the blob bytes"
681            );
682        }
683
684        #[test]
685        fn zeroblob_read_panics_when_expansion_fails() {
686            run_in_child(|| {
687                let mut conn = SqliteConnection::establish(":memory:").unwrap();
688                // Diesel has no typed DDL.
689                conn.batch_execute(
690                    "CREATE TABLE oom_zeroblob (id INTEGER PRIMARY KEY, len INTEGER NOT NULL)",
691                )
692                .unwrap();
693                crate::insert_into(oom_zeroblob::table)
694                    .values((
695                        oom_zeroblob::id.eq(1),
696                        oom_zeroblob::len.eq(i32::try_from(VALUE_LEN).unwrap()),
697                    ))
698                    .execute(&mut conn)
699                    .unwrap();
700                let observed = std::sync::Arc::new(core::sync::atomic::AtomicBool::new(false));
701                let callback_observed = std::sync::Arc::clone(&observed);
702                read_blob_under_pressure_utils::register_impl(
703                    &mut conn,
704                    move |value: BlobUnderPressure| {
705                        assert!(
706                            value.0.contains(
707                                "SQLite ran out of memory while reading a value as a blob"
708                            ),
709                            "unexpected panic message: {}",
710                            value.0
711                        );
712                        callback_observed.store(true, core::sync::atomic::Ordering::Relaxed);
713                        1
714                    },
715                )
716                .unwrap();
717
718                // Diesel has no typed representation of `zeroblob`, and a constant argument
719                // would be expanded by the virtual machine before the function sees it.
720                let result = oom_zeroblob::table
721                    .select(read_blob_under_pressure(crate::dsl::sql::<Binary>(
722                        "zeroblob(len)",
723                    )))
724                    .get_result::<i32>(&mut conn);
725                assert!(result.is_err(), "the blob read did not fail the statement");
726                assert!(
727                    observed.load(core::sync::atomic::Ordering::Relaxed),
728                    "the function did not read its argument"
729                );
730            });
731        }
732
733        #[test]
734        fn row_duplication_reports_value_duplication_failure() {
735            run_in_child(|| {
736                let mut conn = blob_connection(2);
737                let mut rows = conn.load(oom_blob::table.select(oom_blob::value)).unwrap();
738                // Holding the first row makes the next step copy it out of the statement.
739                let _first = rows.next().unwrap().unwrap();
740
741                let error = match without_spare_memory(|| rows.next()) {
742                    Some(Err(e)) => e,
743                    Some(Ok(_)) => panic!("the row duplication did not fail"),
744                    None => panic!("the iterator ended instead of copying the row"),
745                };
746                assert!(
747                    format_error(&error).contains("SQLite failed to allocate a duplicated value"),
748                    "unexpected error: {error}"
749                );
750            });
751        }
752    }
753
754    crate::table! {
755        empty_values (id) {
756            id -> Integer,
757            text -> Text,
758            blob -> Binary,
759            zero_blob -> Binary,
760        }
761    }
762
763    #[diesel_test_helper::test]
764    fn can_read_empty_values_as_empty_blob() {
765        use crate::prelude::*;
766        let mut conn = SqliteConnection::establish(":memory:").unwrap();
767        // Diesel has no typed DDL, and BLOB affinity keeps the empty text literal in
768        // `blob` as TEXT, which the typed DSL cannot store there.
769        conn.batch_execute(
770            "CREATE TABLE empty_values (id INTEGER PRIMARY KEY, text TEXT, blob BLOB, zero_blob BLOB);
771             INSERT INTO empty_values (id, text, blob, zero_blob) VALUES (1, '', '', X'');",
772        )
773        .unwrap();
774
775        // The same empty TEXT through the typed `FromSql<Binary, Sqlite>` path.
776        let loaded = crate::select(crate::dsl::sql::<crate::sql_types::Binary>("''"))
777            .get_result::<Vec<u8>>(&mut conn)
778            .unwrap();
779        assert!(loaded.is_empty());
780
781        let mut rows = conn
782            .load(empty_values::table.select((
783                empty_values::text,
784                empty_values::blob,
785                empty_values::zero_blob,
786            )))
787            .unwrap();
788        let row = rows.next().unwrap().unwrap();
789        let text_field = row.get(0).unwrap();
790        let blob_field = row.get(1).unwrap();
791        let zero_blob_field = row.get(2).unwrap();
792
793        let mut text_value = text_field.value().unwrap();
794        assert_eq!(text_value.read_text(), "");
795        let mut text_value = text_field.value().unwrap();
796        assert_eq!(text_value.read_blob(), b"");
797
798        let mut blob_value = blob_field.value().unwrap();
799        assert_eq!(blob_value.value_type(), Some(super::SqliteType::Text));
800        assert_eq!(blob_value.read_blob(), b"");
801
802        // A zero length BLOB, for which SQLite also reports a null pointer.
803        let mut zero_blob_value = zero_blob_field.value().unwrap();
804        assert_eq!(
805            zero_blob_value.value_type(),
806            Some(super::SqliteType::Binary)
807        );
808        assert_eq!(zero_blob_value.read_blob(), b"");
809    }
810
811    #[diesel_test_helper::test]
812    fn blob_bytes_survive_a_text_read_of_the_same_value() {
813        use crate::prelude::*;
814        let mut conn = SqliteConnection::establish(":memory:").unwrap();
815        // Diesel has no typed `randomblob`, and a stored blob points into the page
816        // image, which a conversion never frees.
817        let mut rows = conn
818            .load(crate::select(crate::dsl::sql::<crate::sql_types::Binary>(
819                "randomblob(1048576)",
820            )))
821            .unwrap();
822        let row = rows.next().unwrap().unwrap();
823        let field = row.get(0).unwrap();
824        let mut blob_value = field.value().unwrap();
825        let mut text_value = field.value().unwrap();
826        let mut other_blob_value = field.value().unwrap();
827
828        let blob = blob_value.read_blob();
829        let expected = Vec::from(blob);
830        let address = blob.as_ptr();
831
832        // Converting the shared value to text would free the buffer `blob` points at.
833        assert!(!text_value.read_text().is_empty());
834        assert_eq!(blob, expected.as_slice(), "the text read moved the blob");
835        assert_eq!(
836            other_blob_value.read_blob().as_ptr(),
837            address,
838            "the text read converted the shared value"
839        );
840    }
841
842    #[expect(clippy::approx_constant)] // we really want to use 3.14
843    #[diesel_test_helper::test]
844    fn can_convert_all_values() {
845        let mut conn = SqliteConnection::establish(":memory:").unwrap();
846
847        conn.batch_execute("CREATE TABLE tests(int INTEGER, text TEXT, blob BLOB, float FLOAT)")
848            .unwrap();
849
850        diesel::sql_query("INSERT INTO tests(int, text, blob, float) VALUES(?, ?, ?, ?)")
851            .bind::<Int4, _>(42)
852            .bind::<Text, _>("foo")
853            .bind::<Blob, _>([0xFF_u8, 0xFE, 0xFD])
854            .bind::<Double, _>(3.14)
855            .execute(&mut conn)
856            .unwrap();
857
858        let mut res = conn
859            .load(diesel::sql_query(
860                "SELECT int, text, blob, float FROM tests",
861            ))
862            .unwrap();
863        let row = res.next().unwrap().unwrap();
864        let int_field = row.get(0).unwrap();
865        let text_field = row.get(1).unwrap();
866        let blob_field = row.get(2).unwrap();
867        let float_field = row.get(3).unwrap();
868
869        let mut int_value = int_field.value().unwrap();
870        assert_eq!(int_value.read_integer(), 42);
871        let mut int_value = int_field.value().unwrap();
872        assert_eq!(int_value.read_long(), 42);
873        let mut int_value = int_field.value().unwrap();
874        assert_eq!(int_value.read_double(), 42.0);
875        let mut int_value = int_field.value().unwrap();
876        assert_eq!(int_value.read_text(), "42");
877        let mut int_value = int_field.value().unwrap();
878        assert_eq!(int_value.read_blob(), b"42");
879
880        let mut text_value = text_field.value().unwrap();
881        assert_eq!(text_value.read_integer(), 0);
882        let mut text_value = text_field.value().unwrap();
883        assert_eq!(text_value.read_long(), 0);
884        let mut text_value = text_field.value().unwrap();
885        assert_eq!(text_value.read_double(), 0.0);
886        let mut text_value = text_field.value().unwrap();
887        assert_eq!(text_value.read_text(), "foo");
888        let mut text_value = text_field.value().unwrap();
889        assert_eq!(text_value.read_blob(), b"foo");
890
891        let mut blob_value = blob_field.value().unwrap();
892        assert_eq!(blob_value.read_integer(), 0);
893        let mut blob_value = blob_field.value().unwrap();
894        assert_eq!(blob_value.read_long(), 0);
895        let mut blob_value = blob_field.value().unwrap();
896        assert_eq!(blob_value.read_double(), 0.0);
897        let mut blob_value = blob_field.value().unwrap();
898        assert_eq!(blob_value.read_text(), "\u{fffd}\u{fffd}\u{fffd}"); // ���
899        let mut blob_value = blob_field.value().unwrap();
900        assert_eq!(blob_value.read_blob(), [0xFF, 0xFE, 0xFD]);
901
902        let mut float_value = float_field.value().unwrap();
903        assert_eq!(float_value.read_integer(), 3);
904        let mut float_value = float_field.value().unwrap();
905        assert_eq!(float_value.read_long(), 3);
906        let mut float_value = float_field.value().unwrap();
907        assert_eq!(float_value.read_double(), 3.14);
908        let mut float_value = float_field.value().unwrap();
909        assert_eq!(float_value.read_text(), "3.14");
910        let mut float_value = float_field.value().unwrap();
911        assert_eq!(float_value.read_blob(), b"3.14");
912    }
913}