src/test/ui/consts/offset_from_ub.rs

   1 #![feature(const_raw_ptr_deref)]
   2 #![feature(const_ptr_offset_from)]
   3 #![feature(ptr_offset_from)]
   4
   5 #[repr(C)]
   6 struct Struct {
   7     data: u8,
   8     field: u8,
   9 }
  10
  11 pub const DIFFERENT_ALLOC: usize = {
  12     //~^ NOTE
  13     let uninit = std::mem::MaybeUninit::<Struct>::uninit();
  14     let base_ptr: *const Struct = &uninit as *const _ as *const Struct;
  15     let uninit2 = std::mem::MaybeUninit::<Struct>::uninit();
  16     let field_ptr: *const Struct = &uninit2 as *const _ as *const Struct;
  17     let offset = unsafe { field_ptr.offset_from(base_ptr) };
  18     offset as usize
  19 };
  20
  21 pub const NOT_PTR: usize = {
  22     //~^ NOTE
  23     unsafe { (42 as *const u8).offset_from(&5u8) as usize }
  24 };
  25
  26 pub const NOT_MULTIPLE_OF_SIZE: isize = {
  27     //~^ NOTE
  28     let data = [5u8, 6, 7];
  29     let base_ptr = data.as_ptr();
  30     let field_ptr = &data[1] as *const u8 as *const u16;
  31     unsafe { field_ptr.offset_from(base_ptr as *const u16) }
  32 };
  33
  34 pub const OFFSET_FROM_NULL: isize = {
  35     //~^ NOTE
  36     let ptr = 0 as *const u8;
  37     unsafe { ptr.offset_from(ptr) }
  38 };
  39
  40 pub const DIFFERENT_INT: isize = { // offset_from with two different integers: like DIFFERENT_ALLOC
  41     //~^ NOTE
  42     let ptr1 = 8 as *const u8;
  43     let ptr2 = 16 as *const u8;
  44     unsafe { ptr2.offset_from(ptr1) }
  45 };
  46
  47 fn main() {}