Lines Matching full:safety

8 // SAFETY: `i32` has the same size and alignment with itself, and is round-trip transmutable to
14 // SAFETY: The wrapping add result of two `i32`s is a valid `i32`.
21 // SAFETY: `i64` has the same size and alignment with itself, and is round-trip transmutable to
27 // SAFETY: The wrapping add result of two `i64`s is a valid `i64`.
50 // SAFETY: `isize` has the same size and alignment with `isize_atomic_repr`, and is round-trip
56 // SAFETY: The wrapping add result of two `isize_atomic_repr`s is a valid `usize`.
63 // SAFETY: `u32` and `i32` has the same size and alignment, and `u32` is round-trip transmutable to
69 // SAFETY: The wrapping add result of two `i32`s is a valid `u32`.
76 // SAFETY: `u64` and `i64` has the same size and alignment, and `u64` is round-trip transmutable to
82 // SAFETY: The wrapping add result of two `i64`s is a valid `u64`.
89 // SAFETY: `usize` has the same size and alignment with `isize_atomic_repr`, and is round-trip
95 // SAFETY: The wrapping add result of two `isize_atomic_repr`s is a valid `usize`.