1#![allow(unsafe_code)] // ffi calls
2#[cfg(not(all(target_family = "wasm", target_os = "unknown")))]
3extern crate libsqlite3_sys as ffi;
45#[cfg(all(target_family = "wasm", target_os = "unknown"))]
6use sqlite_wasm_rs as ffi;
78use std::cell::Ref;
9use std::ptr::NonNull;
10use std::{slice, str};
1112use crate::sqlite::SqliteType;
13use crate::QueryResult;
1415use super::owned_row::OwnedSqliteRow;
16use super::row::PrivateSqliteRow;
1718/// 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
28owner: 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.
36value: 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
44string_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
47initial_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
50converted: Option<OwnedSqliteValue>,
51}
5253enum 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`
56Row(Ref<'row, PrivateSqliteRow<'stmt, 'query>>),
57// A value outside a row: a function argument carries its connection, a
58 // duplicated value has none
59NonRow(Option<NonNull<ffi::sqlite3>>),
60}
6162/// 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) -> Representation { *self }
}Clone)]
64enum Representation {
65 Text,
66 Blob,
67}
6869impl Representation {
70fn target(self) -> &'static str {
71match self {
72Self::Text => "text",
73Self::Blob => "a blob",
74 }
75 }
76}
7778#[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 {
81pub(super) value: NonNull<ffi::sqlite3_value>,
82}
8384impl Dropfor OwnedSqliteValue {
85fn drop(&mut self) {
86unsafe { ffi::sqlite3_value_free(self.value.as_ptr()) }
87 }
88}
8990// Unsafe Send impl safe since sqlite3_value is built with sqlite3_value_dup
91// see https://www.sqlite.org/c3ref/value.html
92unsafe impl Sendfor OwnedSqliteValue {}
9394#[cold]
95fn allocation_failed(out_of_memory: bool, target: &str) -> ! {
96let 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}
103104#[cold]
105fn duplication_failed() -> crate::result::Error {
106crate::result::Error::DeserializationError(
107"SQLite failed to allocate a duplicated value".into(),
108 )
109}
110111impl<'row, 'stmt, 'query> SqliteValue<'row, 'stmt, 'query> {
112pub(super) fn new(
113 row: Ref<'row, PrivateSqliteRow<'stmt, 'query>>,
114 col_idx: usize,
115 ) -> Option<SqliteValue<'row, 'stmt, 'query>> {
116let 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`.
127let initial_type = unsafe { value_type_of(value) }?;
128Some(Self {
129 owner: ValueOwner::Row(row),
130value,
131 string_ref: None,
132initial_type,
133 converted: None,
134 })
135 }
136137pub(super) fn from_owned_row(
138 row: &'row OwnedSqliteRow,
139 col_idx: usize,
140 ) -> Option<SqliteValue<'row, 'stmt, 'query>> {
141let 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`.
143let initial_type = unsafe { value_type_of(value) }?;
144Some(Self {
145 owner: ValueOwner::NonRow(None),
146value,
147 string_ref: None,
148initial_type,
149 converted: None,
150 })
151 }
152153pub(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>> {
158let 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.
160let initial_type = unsafe { value_type_of(value) }?;
161Some(Self {
162 owner: ValueOwner::NonRow(Some(connection)),
163value,
164 string_ref: None,
165initial_type,
166 converted: None,
167 })
168 }
169170// Values from `sqlite3_value_dup` are disconnected from the connection, so they
171 // cannot be asked: https://www.sqlite.org/c3ref/value_blob.html
172fn connection(&self) -> Option<NonNull<ffi::sqlite3>> {
173match &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 }
181182/// Reports whether an allocation just failed, which must be asked before any other call.
183fn reports_out_of_memory(&self) -> bool {
184let Some(connection) = self.connection() else {
185return false;
186 };
187// SAFETY: The owner keeps the connection alive and this call only reads
188 // connection state.
189unsafe { ffi::sqlite3_errcode(connection.as_ptr()) == ffi::SQLITE_NOMEM }
190 }
191192/// 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.
194fn 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.
197let 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 );
201if !converts_in_place {
202return self.value;
203 }
204if 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.
207let 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.
209let Some(copy) = NonNull::new(copy) else {
210// Ask the connection before any other call to it clears the error code.
211allocation_failed(self.reports_out_of_memory(), wanted.target());
212 };
213self.converted = Some(OwnedSqliteValue { value: copy });
214 }
215self.converted
216 .as_ref()
217 .expect("We initialised it literally above")
218 .value
219 }
220221pub(crate) fn as_byte_string(&mut self) -> &[u8] {
222let 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.
225unsafe {
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
229if ffi::sqlite3_value_text(value.as_ptr()).is_null() {
230// Zero length text has a valid pointer, so this is a failed conversion.
231allocation_failed(self.reports_out_of_memory(), Representation::Text.target());
232 }
233let len = ffi::sqlite3_value_bytes(value.as_ptr());
234// The length above may have invalidated the pointer.
235let ptr = ffi::sqlite3_value_text(value.as_ptr());
236if ptr.is_null() {
237allocation_failed(self.reports_out_of_memory(), Representation::Text.target());
238 }
239 slice::from_raw_parts(
240ptr,
241len.try_into()
242 .expect("Diesel expects to run at least on a 32 bit platform"),
243 )
244 }
245 }
246247pub(crate) fn as_utf8_str(&mut self) -> Result<&str, core::str::Utf8Error> {
248 str::from_utf8(self.as_byte_string())
249 }
250251pub(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
255if 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.
258let lossy = String::from_utf8_lossy(self.as_byte_string()).into_owned();
259self.string_ref = Some(lossy.into_boxed_str());
260let s = self261 .string_ref
262 .as_deref()
263 .expect("We initialised it literally above");
264return f(s);
265 }
266let s = str::from_utf8(self.as_byte_string()).expect("The bytes are valid utf8 above");
267f(s)
268 }
269270/// 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.
286pub fn read_text(&mut self) -> &str {
287// TODO: Return Result in Diesel 3 so SQLite allocation failures reach callers.
288self.parse_string(|s| s)
289 }
290291/// 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.
310pub fn read_blob(&mut self) -> &[u8] {
311// TODO: Return Result in Diesel 3 so SQLite allocation failures reach callers.
312let 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.
315unsafe {
316// Preserve a zeroblob's length because failed expansion changes it to SQL NULL.
317let initial_blob_len = if #[allow(non_exhaustive_omitted_patterns)] match self.initial_type {
SqliteType::Binary => true,
_ => false,
}matches!(self.initial_type, SqliteType::Binary) {
318Some(ffi::sqlite3_value_bytes(value.as_ptr()))
319 } else {
320None321 };
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
325if ffi::sqlite3_value_blob(value.as_ptr()).is_null() {
326// Ask the connection before any other call to it clears the error code.
327let out_of_memory = self.reports_out_of_memory();
328let len = ffi::sqlite3_value_bytes(value.as_ptr());
329if !out_of_memory330 && ((#[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 {
333return &[];
334 }
335allocation_failed(out_of_memory, Representation::Blob.target());
336 }
337let len = ffi::sqlite3_value_bytes(value.as_ptr());
338// The length above may have invalidated the pointer.
339let ptr = ffi::sqlite3_value_blob(value.as_ptr());
340if ptr.is_null() {
341allocation_failed(self.reports_out_of_memory(), Representation::Blob.target());
342 }
343 slice::from_raw_parts(
344ptras *const u8,
345len.try_into()
346 .expect("Diesel expects to run at least on a 32 bit platform"),
347 )
348 }
349 }
350351/// 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
360pub fn read_integer(&mut self) -> i32 {
361unsafe { ffi::sqlite3_value_int(self.value.as_ptr()) }
362 }
363364/// 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
373pub fn read_long(&mut self) -> i64 {
374unsafe { ffi::sqlite3_value_int64(self.value.as_ptr()) }
375 }
376377/// 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
386pub fn read_double(&mut self) -> f64 {
387unsafe { ffi::sqlite3_value_double(self.value.as_ptr()) }
388 }
389390/// Get the type of the value as returned by sqlite
391pub fn value_type(&self) -> Option<SqliteType> {
392// SAFETY: `self.owner` keeps the value alive and this call only inspects it.
393unsafe { value_type_of(self.value) }
394 }
395}
396397/// 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.
404let tpe = unsafe { ffi::sqlite3_value_type(value.as_ptr()) };
405match 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}
419420impl 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.
425pub(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.
430let tpe = unsafe { ffi::sqlite3_value_type(ptr.as_ptr()) };
431if ffi::SQLITE_NULL == tpe {
432return 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.
436let value = unsafe { ffi::sqlite3_value_dup(ptr.as_ptr()) };
437// The value above is not null, so only a failed allocation returns null here.
438let value = NonNull::new(value).ok_or_else(duplication_failed)?;
439Ok(Some(Self { value }))
440 }
441442pub(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.
445let value = unsafe { ffi::sqlite3_value_dup(self.value.as_ptr()) };
446let value = NonNull::new(value).ok_or_else(duplication_failed)?;
447Ok(OwnedSqliteValue { value })
448 }
449}
450451#[cfg(test)]
452mod tests {
453use crate::connection::{LoadConnection, SimpleConnection};
454use crate::row::Field;
455use crate::row::Row;
456use crate::sql_types::{Blob, Double, Int4, Text};
457use crate::*;
458459#[cfg(not(all(target_family = "wasm", target_os = "unknown")))]
460mod allocation_failure {
461use super::super::SqliteValue;
462use crate::connection::{LoadConnection, SimpleConnection};
463use crate::deserialize::{self, FromSql};
464use crate::prelude::*;
465use crate::row::{Field, Row};
466use crate::sql_types::Binary;
467use crate::sqlite::connection::oom_test_support::{
468 panic_message, run_in_child, with_heap_limit,
469 };
470use crate::sqlite::{Sqlite, SqliteConnection};
471472const VALUE_LEN: usize = 1_048_576;
473474crate::table! {
475 oom_blob (id) {
476 id -> Integer,
477 value -> Binary,
478 }
479 }
480481crate::table! {
482 oom_text (id) {
483 id -> Integer,
484 value -> Text,
485 }
486 }
487488crate::table! {
489 oom_zeroblob (id) {
490 id -> Integer,
491 len -> Integer,
492 }
493 }
494495crate::define_sql_function! {
496fn read_blob_under_pressure(value: Binary) -> Integer;
497 }
498499/// Carries the panic message of a blob read that ran out of memory, as the
500 /// failing statement reports SQLite's own error instead.
501struct BlobUnderPressure(String);
502503impl FromSql<Binary, Sqlite> for BlobUnderPressure {
504fn from_sql(mut value: SqliteValue<'_, '_, '_>) -> deserialize::Result<Self> {
505let payload = std::panic::catch_unwind(core::panic::AssertUnwindSafe(|| {
506 without_spare_memory(|| core::hint::black_box(value.read_blob().len()));
507 }))
508 .expect_err("the blob read did not panic");
509Ok(Self(panic_message(&*payload).to_string()))
510 }
511 }
512513impl crate::deserialize::Queryable<Binary, Sqlite> for BlobUnderPressure {
514type Row = Self;
515516fn build(row: Self::Row) -> deserialize::Result<Self> {
517Ok(row)
518 }
519 }
520521/// Rejects every further SQLite allocation while `f` runs.
522fn without_spare_memory<R>(f: impl FnOnce() -> R) -> R {
523 with_heap_limit(0, f)
524 }
525526fn expect_panic(f: impl FnOnce() + core::panic::UnwindSafe, expected: &str) {
527let payload = std::panic::catch_unwind(f).expect_err("the read did not panic");
528let message = panic_message(&*payload);
529assert!(
530 message.contains(expected),
531"unexpected panic message: {message}"
532);
533 }
534535fn blob_connection(rows: i32) -> SqliteConnection {
536let mut conn = SqliteConnection::establish(":memory:").unwrap();
537// Diesel has no typed DDL.
538conn.batch_execute(
539"CREATE TABLE oom_blob (id INTEGER PRIMARY KEY, value BLOB NOT NULL)",
540 )
541 .unwrap();
542for id in 1..=rows {
543crate::insert_into(oom_blob::table)
544 .values((
545 oom_blob::id.eq(id),
546 oom_blob::value.eq(vec![b'x'; VALUE_LEN]),
547 ))
548 .execute(&mut conn)
549 .unwrap();
550 }
551 conn
552 }
553554fn utf16_text_connection(rows: i32) -> SqliteConnection {
555let mut conn = SqliteConnection::establish(":memory:").unwrap();
556// Diesel has no typed DDL and no typed representation of the database encoding.
557conn.batch_execute(
558"PRAGMA encoding = 'UTF-16le';
559 CREATE TABLE oom_text (id INTEGER PRIMARY KEY, value TEXT NOT NULL)",
560 )
561 .unwrap();
562for id in 1..=rows {
563crate::insert_into(oom_text::table)
564 .values((
565 oom_text::id.eq(id),
566 oom_text::value.eq("x".repeat(VALUE_LEN)),
567 ))
568 .execute(&mut conn)
569 .unwrap();
570 }
571 conn
572 }
573574#[test]
575fn text_read_panics_when_conversion_fails() {
576 run_in_child(|| {
577let mut conn = utf16_text_connection(1);
578let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
579let row = rows.next().unwrap().unwrap();
580let field = row.get(0).unwrap();
581let mut value = field.value().unwrap();
582583 expect_panic(
584 core::panic::AssertUnwindSafe(|| {
585 without_spare_memory(|| {
586 core::hint::black_box(value.read_text().len());
587 });
588 }),
589"SQLite ran out of memory while reading a value as text",
590 );
591 });
592 }
593594#[test]
595fn duplicated_text_read_panics_when_conversion_fails() {
596 run_in_child(|| {
597let mut conn = utf16_text_connection(2);
598let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
599let first = rows.next().unwrap().unwrap();
600// Advancing while the first row lives copies its values out of the statement,
601 // and `sqlite3_value_dup` disconnects them from the connection.
602let _second = rows.next().unwrap().unwrap();
603let field = first.get(0).unwrap();
604let mut value = field.value().unwrap();
605606 expect_panic(
607 core::panic::AssertUnwindSafe(|| {
608 without_spare_memory(|| {
609 core::hint::black_box(value.read_text().len());
610 });
611 }),
612"SQLite failed to allocate memory while reading a value as text",
613 );
614 });
615 }
616617#[test]
618fn blob_read_as_text_panics_when_the_copy_fails() {
619 run_in_child(|| {
620let mut conn = blob_connection(1);
621let mut rows = conn.load(oom_blob::table.select(oom_blob::value)).unwrap();
622let row = rows.next().unwrap().unwrap();
623let field = row.get(0).unwrap();
624let mut value = field.value().unwrap();
625626 expect_panic(
627 core::panic::AssertUnwindSafe(|| {
628 without_spare_memory(|| {
629 core::hint::black_box(value.read_text().len());
630 });
631 }),
632"SQLite failed to allocate memory while reading a value as text",
633 );
634 });
635 }
636637#[test]
638fn text_read_as_blob_panics_when_the_copy_fails() {
639 run_in_child(|| {
640let mut conn = utf16_text_connection(1);
641let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
642let row = rows.next().unwrap().unwrap();
643let field = row.get(0).unwrap();
644let mut value = field.value().unwrap();
645646 expect_panic(
647 core::panic::AssertUnwindSafe(|| {
648 without_spare_memory(|| {
649 core::hint::black_box(value.read_blob().len());
650 });
651 }),
652"SQLite failed to allocate memory while reading a value as a blob",
653 );
654 });
655 }
656657#[test]
658fn blob_read_keeps_utf16_text_bytes_across_a_text_read() {
659let mut conn = utf16_text_connection(1);
660let mut rows = conn.load(oom_text::table.select(oom_text::value)).unwrap();
661let row = rows.next().unwrap().unwrap();
662let field = row.get(0).unwrap();
663let mut blob_value = field.value().unwrap();
664let mut text_value = field.value().unwrap();
665666let blob = blob_value.read_blob();
667assert_eq!(blob.len(), 2 * VALUE_LEN);
668let (pairs, rest) = blob.as_chunks::<2>();
669assert!(
670 pairs.iter().all(|pair| pair == b"x\0") && rest.is_empty(),
671"SQLite blob content changed"
672);
673674// Converting the shared value to UTF-8 frees its UTF-16 buffer.
675assert_eq!(text_value.read_text().len(), VALUE_LEN);
676let (pairs, rest) = blob.as_chunks::<2>();
677assert!(
678 pairs.iter().all(|pair| pair == b"x\0") && rest.is_empty(),
679"the text read invalidated the blob bytes"
680);
681 }
682683#[test]
684fn zeroblob_read_panics_when_expansion_fails() {
685 run_in_child(|| {
686let mut conn = SqliteConnection::establish(":memory:").unwrap();
687// Diesel has no typed DDL.
688conn.batch_execute(
689"CREATE TABLE oom_zeroblob (id INTEGER PRIMARY KEY, len INTEGER NOT NULL)",
690 )
691 .unwrap();
692crate::insert_into(oom_zeroblob::table)
693 .values((
694 oom_zeroblob::id.eq(1),
695 oom_zeroblob::len.eq(i32::try_from(VALUE_LEN).unwrap()),
696 ))
697 .execute(&mut conn)
698 .unwrap();
699let observed = std::sync::Arc::new(core::sync::atomic::AtomicBool::new(false));
700let callback_observed = std::sync::Arc::clone(&observed);
701 read_blob_under_pressure_utils::register_impl(
702&mut conn,
703move |value: BlobUnderPressure| {
704assert!(
705 value.0.contains(
706"SQLite ran out of memory while reading a value as a blob"
707),
708"unexpected panic message: {}",
709 value.0
710);
711 callback_observed.store(true, core::sync::atomic::Ordering::Relaxed);
7121
713},
714 )
715 .unwrap();
716717// Diesel has no typed representation of `zeroblob`, and a constant argument
718 // would be expanded by the virtual machine before the function sees it.
719let result = oom_zeroblob::table
720 .select(read_blob_under_pressure(crate::dsl::sql::<Binary>(
721"zeroblob(len)",
722 )))
723 .get_result::<i32>(&mut conn);
724assert!(result.is_err(), "the blob read did not fail the statement");
725assert!(
726 observed.load(core::sync::atomic::Ordering::Relaxed),
727"the function did not read its argument"
728);
729 });
730 }
731732#[test]
733fn row_duplication_reports_value_duplication_failure() {
734 run_in_child(|| {
735let mut conn = blob_connection(2);
736let mut rows = conn.load(oom_blob::table.select(oom_blob::value)).unwrap();
737// Holding the first row makes the next step copy it out of the statement.
738let _first = rows.next().unwrap().unwrap();
739740let error = match without_spare_memory(|| rows.next()) {
741Some(Err(e)) => e,
742Some(Ok(_)) => panic!("the row duplication did not fail"),
743None => panic!("the iterator ended instead of copying the row"),
744 };
745assert!(
746 error
747 .to_string()
748 .contains("SQLite failed to allocate a duplicated value"),
749"unexpected error: {error}"
750);
751 });
752 }
753 }
754755crate::table! {
756 empty_values (id) {
757 id -> Integer,
758 text -> Text,
759 blob -> Binary,
760 zero_blob -> Binary,
761 }
762 }
763764#[diesel_test_helper::test]
765fn can_read_empty_values_as_empty_blob() {
766use crate::prelude::*;
767let mut conn = SqliteConnection::establish(":memory:").unwrap();
768// Diesel has no typed DDL, and BLOB affinity keeps the empty text literal in
769 // `blob` as TEXT, which the typed DSL cannot store there.
770conn.batch_execute(
771"CREATE TABLE empty_values (id INTEGER PRIMARY KEY, text TEXT, blob BLOB, zero_blob BLOB);
772 INSERT INTO empty_values (id, text, blob, zero_blob) VALUES (1, '', '', X'');",
773 )
774 .unwrap();
775776// The same empty TEXT through the typed `FromSql<Binary, Sqlite>` path.
777let loaded = crate::select(crate::dsl::sql::<crate::sql_types::Binary>("''"))
778 .get_result::<Vec<u8>>(&mut conn)
779 .unwrap();
780assert!(loaded.is_empty());
781782let mut rows = conn
783 .load(empty_values::table.select((
784 empty_values::text,
785 empty_values::blob,
786 empty_values::zero_blob,
787 )))
788 .unwrap();
789let row = rows.next().unwrap().unwrap();
790let text_field = row.get(0).unwrap();
791let blob_field = row.get(1).unwrap();
792let zero_blob_field = row.get(2).unwrap();
793794let mut text_value = text_field.value().unwrap();
795assert_eq!(text_value.read_text(), "");
796let mut text_value = text_field.value().unwrap();
797assert_eq!(text_value.read_blob(), b"");
798799let mut blob_value = blob_field.value().unwrap();
800assert_eq!(blob_value.value_type(), Some(super::SqliteType::Text));
801assert_eq!(blob_value.read_blob(), b"");
802803// A zero length BLOB, for which SQLite also reports a null pointer.
804let mut zero_blob_value = zero_blob_field.value().unwrap();
805assert_eq!(
806 zero_blob_value.value_type(),
807Some(super::SqliteType::Binary)
808 );
809assert_eq!(zero_blob_value.read_blob(), b"");
810 }
811812#[diesel_test_helper::test]
813fn blob_bytes_survive_a_text_read_of_the_same_value() {
814use crate::prelude::*;
815let mut conn = SqliteConnection::establish(":memory:").unwrap();
816// Diesel has no typed `randomblob`, and a stored blob points into the page
817 // image, which a conversion never frees.
818let mut rows = conn
819 .load(crate::select(crate::dsl::sql::<crate::sql_types::Binary>(
820"randomblob(1048576)",
821 )))
822 .unwrap();
823let row = rows.next().unwrap().unwrap();
824let field = row.get(0).unwrap();
825let mut blob_value = field.value().unwrap();
826let mut text_value = field.value().unwrap();
827let mut other_blob_value = field.value().unwrap();
828829let blob = blob_value.read_blob();
830let expected = Vec::from(blob);
831let address = blob.as_ptr();
832833// Converting the shared value to text would free the buffer `blob` points at.
834assert!(!text_value.read_text().is_empty());
835assert_eq!(blob, expected.as_slice(), "the text read moved the blob");
836assert_eq!(
837 other_blob_value.read_blob().as_ptr(),
838 address,
839"the text read converted the shared value"
840);
841 }
842843#[expect(clippy::approx_constant)] // we really want to use 3.14
844#[diesel_test_helper::test]
845fn can_convert_all_values() {
846let mut conn = SqliteConnection::establish(":memory:").unwrap();
847848 conn.batch_execute("CREATE TABLE tests(int INTEGER, text TEXT, blob BLOB, float FLOAT)")
849 .unwrap();
850851 diesel::sql_query("INSERT INTO tests(int, text, blob, float) VALUES(?, ?, ?, ?)")
852 .bind::<Int4, _>(42)
853 .bind::<Text, _>("foo")
854 .bind::<Blob, _>([0xFF_u8, 0xFE, 0xFD])
855 .bind::<Double, _>(3.14)
856 .execute(&mut conn)
857 .unwrap();
858859let mut res = conn
860 .load(diesel::sql_query(
861"SELECT int, text, blob, float FROM tests",
862 ))
863 .unwrap();
864let row = res.next().unwrap().unwrap();
865let int_field = row.get(0).unwrap();
866let text_field = row.get(1).unwrap();
867let blob_field = row.get(2).unwrap();
868let float_field = row.get(3).unwrap();
869870let mut int_value = int_field.value().unwrap();
871assert_eq!(int_value.read_integer(), 42);
872let mut int_value = int_field.value().unwrap();
873assert_eq!(int_value.read_long(), 42);
874let mut int_value = int_field.value().unwrap();
875assert_eq!(int_value.read_double(), 42.0);
876let mut int_value = int_field.value().unwrap();
877assert_eq!(int_value.read_text(), "42");
878let mut int_value = int_field.value().unwrap();
879assert_eq!(int_value.read_blob(), b"42");
880881let mut text_value = text_field.value().unwrap();
882assert_eq!(text_value.read_integer(), 0);
883let mut text_value = text_field.value().unwrap();
884assert_eq!(text_value.read_long(), 0);
885let mut text_value = text_field.value().unwrap();
886assert_eq!(text_value.read_double(), 0.0);
887let mut text_value = text_field.value().unwrap();
888assert_eq!(text_value.read_text(), "foo");
889let mut text_value = text_field.value().unwrap();
890assert_eq!(text_value.read_blob(), b"foo");
891892let mut blob_value = blob_field.value().unwrap();
893assert_eq!(blob_value.read_integer(), 0);
894let mut blob_value = blob_field.value().unwrap();
895assert_eq!(blob_value.read_long(), 0);
896let mut blob_value = blob_field.value().unwrap();
897assert_eq!(blob_value.read_double(), 0.0);
898let mut blob_value = blob_field.value().unwrap();
899assert_eq!(blob_value.read_text(), "\u{fffd}\u{fffd}\u{fffd}"); // ���
900let mut blob_value = blob_field.value().unwrap();
901assert_eq!(blob_value.read_blob(), [0xFF, 0xFE, 0xFD]);
902903let mut float_value = float_field.value().unwrap();
904assert_eq!(float_value.read_integer(), 3);
905let mut float_value = float_field.value().unwrap();
906assert_eq!(float_value.read_long(), 3);
907let mut float_value = float_field.value().unwrap();
908assert_eq!(float_value.read_double(), 3.14);
909let mut float_value = float_field.value().unwrap();
910assert_eq!(float_value.read_text(), "3.14");
911let mut float_value = float_field.value().unwrap();
912assert_eq!(float_value.read_blob(), b"3.14");
913 }
914}