2020-08-21 01:04:36 +00:00
|
|
|
#![allow(dead_code)]
|
|
|
|
|
2022-03-29 23:01:02 +00:00
|
|
|
use bytemuck::{
|
2022-03-30 03:25:51 +00:00
|
|
|
AnyBitPattern, Contiguous, CheckedBitPattern, NoUninit, Pod, TransparentWrapper, Zeroable,
|
2022-03-29 23:01:02 +00:00
|
|
|
};
|
2020-08-21 01:04:36 +00:00
|
|
|
use std::marker::PhantomData;
|
|
|
|
|
|
|
|
#[derive(Copy, Clone, Pod, Zeroable)]
|
|
|
|
#[repr(C)]
|
|
|
|
struct Test {
|
|
|
|
a: u16,
|
|
|
|
b: u16,
|
|
|
|
}
|
|
|
|
|
2022-08-07 20:32:00 +00:00
|
|
|
#[derive(Pod, Zeroable)]
|
|
|
|
#[repr(C, packed)]
|
|
|
|
struct GenericPackedStruct<T: Pod> {
|
|
|
|
a: u32,
|
|
|
|
b: T,
|
|
|
|
c: u32,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Pod> Clone for GenericPackedStruct<T> {
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Pod> Copy for GenericPackedStruct<T> {}
|
|
|
|
|
|
|
|
#[derive(Pod, Zeroable)]
|
|
|
|
#[repr(C, packed(1))]
|
|
|
|
struct GenericPackedStructExplicitPackedAlignment<T: Pod> {
|
|
|
|
a: u32,
|
|
|
|
b: T,
|
|
|
|
c: u32,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Pod> Clone for GenericPackedStructExplicitPackedAlignment<T> {
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T: Pod> Copy for GenericPackedStructExplicitPackedAlignment<T> {}
|
|
|
|
|
2020-08-21 01:04:36 +00:00
|
|
|
#[derive(Zeroable)]
|
|
|
|
struct ZeroGeneric<T: bytemuck::Zeroable> {
|
|
|
|
a: T,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(TransparentWrapper)]
|
|
|
|
#[repr(transparent)]
|
|
|
|
struct TransparentSingle {
|
|
|
|
a: u16,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(TransparentWrapper)]
|
|
|
|
#[repr(transparent)]
|
|
|
|
#[transparent(u16)]
|
|
|
|
struct TransparentWithZeroSized<T> {
|
|
|
|
a: u16,
|
|
|
|
b: PhantomData<T>,
|
|
|
|
}
|
2020-08-21 22:08:34 +00:00
|
|
|
|
|
|
|
#[repr(u8)]
|
|
|
|
#[derive(Clone, Copy, Contiguous)]
|
|
|
|
enum ContiguousWithValues {
|
|
|
|
A = 0,
|
|
|
|
B = 1,
|
|
|
|
C = 2,
|
|
|
|
D = 3,
|
|
|
|
E = 4,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(i8)]
|
|
|
|
#[derive(Clone, Copy, Contiguous)]
|
|
|
|
enum ContiguousWithImplicitValues {
|
|
|
|
A = -10,
|
|
|
|
B,
|
|
|
|
C,
|
|
|
|
D,
|
|
|
|
E,
|
|
|
|
}
|
2022-03-29 23:01:02 +00:00
|
|
|
|
2022-03-30 03:25:51 +00:00
|
|
|
#[derive(Copy, Clone, NoUninit)]
|
2022-03-29 23:01:02 +00:00
|
|
|
#[repr(C)]
|
2022-03-30 03:25:51 +00:00
|
|
|
struct NoUninitTest {
|
2022-03-29 23:01:02 +00:00
|
|
|
a: u16,
|
|
|
|
b: u16,
|
|
|
|
}
|
|
|
|
|
2022-03-30 02:01:48 +00:00
|
|
|
#[derive(Copy, Clone, AnyBitPattern)]
|
|
|
|
#[repr(C)]
|
|
|
|
union UnionTestAnyBitPattern {
|
|
|
|
a: u8,
|
|
|
|
b: u16,
|
|
|
|
}
|
|
|
|
|
2022-03-29 23:01:02 +00:00
|
|
|
#[repr(u8)]
|
2022-03-30 03:25:51 +00:00
|
|
|
#[derive(Debug, Clone, Copy, NoUninit, CheckedBitPattern, PartialEq, Eq)]
|
2022-03-29 23:01:02 +00:00
|
|
|
enum CheckedBitPatternEnumWithValues {
|
|
|
|
A = 0,
|
|
|
|
B = 1,
|
|
|
|
C = 2,
|
|
|
|
D = 3,
|
|
|
|
E = 4,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(i8)]
|
2022-03-30 03:25:51 +00:00
|
|
|
#[derive(Clone, Copy, NoUninit, CheckedBitPattern)]
|
2022-03-29 23:01:02 +00:00
|
|
|
enum CheckedBitPatternEnumWithImplicitValues {
|
|
|
|
A = -10,
|
|
|
|
B,
|
|
|
|
C,
|
|
|
|
D,
|
|
|
|
E,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(u8)]
|
2022-03-30 03:25:51 +00:00
|
|
|
#[derive(Debug, Clone, Copy, NoUninit, CheckedBitPattern, PartialEq, Eq)]
|
2022-03-29 23:01:02 +00:00
|
|
|
enum CheckedBitPatternEnumNonContiguous {
|
|
|
|
A = 1,
|
|
|
|
B = 8,
|
|
|
|
C = 2,
|
|
|
|
D = 3,
|
|
|
|
E = 56,
|
|
|
|
}
|
|
|
|
|
2022-03-30 03:25:51 +00:00
|
|
|
#[derive(Debug, Copy, Clone, NoUninit, CheckedBitPattern, PartialEq, Eq)]
|
2022-03-29 23:01:02 +00:00
|
|
|
#[repr(C)]
|
|
|
|
struct CheckedBitPatternStruct {
|
|
|
|
a: u8,
|
|
|
|
b: CheckedBitPatternEnumNonContiguous,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug, Copy, Clone, AnyBitPattern, PartialEq, Eq)]
|
|
|
|
#[repr(C)]
|
|
|
|
struct AnyBitPatternTest {
|
|
|
|
a: u16,
|
|
|
|
b: u16
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn fails_cast_contiguous() {
|
|
|
|
let can_cast = CheckedBitPatternEnumWithValues::is_valid_bit_pattern(&5);
|
|
|
|
assert!(!can_cast);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn passes_cast_contiguous() {
|
|
|
|
let res = bytemuck::checked::from_bytes::<CheckedBitPatternEnumWithValues>(&[2u8]);
|
|
|
|
assert_eq!(*res, CheckedBitPatternEnumWithValues::C);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn fails_cast_noncontiguous() {
|
|
|
|
let can_cast = CheckedBitPatternEnumNonContiguous::is_valid_bit_pattern(&4);
|
|
|
|
assert!(!can_cast);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn passes_cast_noncontiguous() {
|
|
|
|
let res =
|
|
|
|
bytemuck::checked::from_bytes::<CheckedBitPatternEnumNonContiguous>(&[56u8]);
|
|
|
|
assert_eq!(*res, CheckedBitPatternEnumNonContiguous::E);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn fails_cast_struct() {
|
|
|
|
let pod = [0u8, 24u8];
|
|
|
|
let res = bytemuck::checked::try_from_bytes::<CheckedBitPatternStruct>(&pod);
|
|
|
|
assert!(res.is_err());
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn passes_cast_struct() {
|
|
|
|
let pod = [0u8, 8u8];
|
|
|
|
let res = bytemuck::checked::from_bytes::<CheckedBitPatternStruct>(&pod);
|
|
|
|
assert_eq!(*res, CheckedBitPatternStruct { a: 0, b: CheckedBitPatternEnumNonContiguous::B });
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn anybitpattern_implies_zeroable() {
|
|
|
|
let test = AnyBitPatternTest::zeroed();
|
|
|
|
assert_eq!(test, AnyBitPatternTest { a: 0, b: 0 });
|
|
|
|
}
|
2022-08-16 18:42:07 +00:00
|
|
|
|
2022-10-30 22:06:55 +00:00
|
|
|
#[test]
|
|
|
|
fn checkedbitpattern_try_pod_read_unaligned() {
|
|
|
|
let pod = [0u8];
|
|
|
|
let res = bytemuck::checked::try_pod_read_unaligned::<
|
|
|
|
CheckedBitPatternEnumWithValues,
|
|
|
|
>(&pod);
|
|
|
|
assert!(res.is_ok());
|
|
|
|
|
|
|
|
let pod = [5u8];
|
|
|
|
let res = bytemuck::checked::try_pod_read_unaligned::<
|
|
|
|
CheckedBitPatternEnumWithValues,
|
|
|
|
>(&pod);
|
|
|
|
assert!(res.is_err());
|
|
|
|
}
|
|
|
|
|
2022-08-16 18:42:07 +00:00
|
|
|
#[derive(Copy, Clone, bytemuck::Pod, bytemuck::Zeroable)]
|
|
|
|
#[repr(C, align(16))]
|
|
|
|
struct Issue127 {}
|