Skip to content

Commit

Permalink
Update unsafe_2.rs
Browse files Browse the repository at this point in the history
Make safety comment less incorrect
  • Loading branch information
HayleyDeckers authored and pietroalbini committed May 12, 2024
1 parent 5872070 commit 2201544
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions code/examples/unsafe_2.rs
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
use std::mem::MaybeUninit;

fn main() {
// Safety: all bitpatterns are valid for u32
// Safety: all bitpatterns are valid for u16
let random_number: u8 = unsafe { MaybeUninit::uninit().assume_init() };

let very_random_number = if random_number <= 100 {
unsafe {
// Safety: all bitpatterns are valid for u32
// Safety: all bitpatterns are valid for u16
let rng_array: [u32; 100] = MaybeUninit::uninit().assume_init();
// Safety: The `random_number` is in bounds
*rng_array.get_unchecked(random_number as usize)
Expand Down

0 comments on commit 2201544

Please sign in to comment.