'read' is not covered yet (needs a PR to land)
authorRalf Jung <post@ralfj.de>
Mon, 26 Sep 2022 15:17:13 +0000 (17:17 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 26 Sep 2022 15:17:13 +0000 (17:17 +0200)
ralf/_posts/2022-09-26-cargo-careful.md

index 234b8d44e0888005042808877e2014d05fa7cca8..28a85c9b6547b2640ccb4c52987d902f150fa0b9 100644 (file)
@@ -5,7 +5,7 @@ reddit: /rust/comments/xogayv/cargo_careful_run_your_rust_code_with_extra/
 ---
 
 Did you know that the standard library is full of useful checks that users never get to see?
-There are plenty of debug assertions in the standard library that will do things like check that `char::from_u32_unchecked` is called on a valid `char`, that `CStr::from_bytes_with_nul_unchecked` does not have internal nul bytes, or that pointer functions such as `read`, `copy`, or `copy_nonoverlapping` are called on suitably aligned non-null (and non-overlapping) pointers.
+There are plenty of debug assertions in the standard library that will do things like check that `char::from_u32_unchecked` is called on a valid `char`, that `CStr::from_bytes_with_nul_unchecked` does not have internal nul bytes, or that pointer functions such as `copy` or `copy_nonoverlapping` are called on suitably aligned non-null (and non-overlapping) pointers.
 However, the regular standard library that is distributed by rustup is compiled without debug assertions, so there is no easy way for users to benefit from all this extra checking.
 
 <!-- MORE -->