src/test/ui/consts/const-eval/ub-wide-ptr.stderr

   1 error[E0080]: it is undefined behavior to use this value
   2   --> $DIR/ub-wide-ptr.rs:31:1
   3    |
   4 LL | const STR_TOO_LONG: &str = unsafe { mem::transmute((&42u8, 999usize)) };
   5    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a dangling reference (going beyond the bounds of its allocation)
   6    |
   7    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
   8
   9 error[E0080]: it is undefined behavior to use this value
  10   --> $DIR/ub-wide-ptr.rs:33:1
  11    |
  12 LL | const NESTED_STR_MUCH_TOO_LONG: (&str,) = (unsafe { mem::transmute((&42, usize::MAX)) },);
  13    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object at .0
  14    |
  15    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  16
  17 error[E0080]: it is undefined behavior to use this value
  18   --> $DIR/ub-wide-ptr.rs:36:1
  19    |
  20 LL | const STR_LENGTH_PTR: &str = unsafe { mem::transmute((&42u8, &3)) };
  21    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered non-integer slice length in wide pointer
  22    |
  23    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  24
  25 error[E0080]: it is undefined behavior to use this value
  26   --> $DIR/ub-wide-ptr.rs:39:1
  27    |
  28 LL | const MY_STR_LENGTH_PTR: &MyStr = unsafe { mem::transmute((&42u8, &3)) };
  29    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered non-integer slice length in wide pointer
  30    |
  31    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  32
  33 error[E0080]: it is undefined behavior to use this value
  34   --> $DIR/ub-wide-ptr.rs:41:1
  35    |
  36 LL | const MY_STR_MUCH_TOO_LONG: &MyStr = unsafe { mem::transmute((&42u8, usize::MAX)) };
  37    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object
  38    |
  39    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  40
  41 error[E0080]: it is undefined behavior to use this value
  42   --> $DIR/ub-wide-ptr.rs:45:1
  43    |
  44 LL | const STR_NO_INIT: &str = unsafe { mem::transmute::<&[_], _>(&[MaybeUninit::<u8> { uninit: () }]) };
  45    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered uninitialized data in `str` at .<deref>
  46    |
  47    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  48
  49 error[E0080]: it is undefined behavior to use this value
  50   --> $DIR/ub-wide-ptr.rs:48:1
  51    |
  52 LL | const MYSTR_NO_INIT: &MyStr = unsafe { mem::transmute::<&[_], _>(&[MaybeUninit::<u8> { uninit: () }]) };
  53    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered uninitialized data in `str` at .<deref>.0
  54    |
  55    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  56
  57 error[E0080]: it is undefined behavior to use this value
  58   --> $DIR/ub-wide-ptr.rs:55:1
  59    |
  60 LL | / const SLICE_LENGTH_UNINIT: &[u8] = unsafe {
  61 LL | |
  62 LL | |     let uninit_len = MaybeUninit::<usize> { uninit: () };
  63 LL | |     mem::transmute((42, uninit_len))
  64 LL | | };
  65    | |__^ type validation failed: encountered uninitialized reference
  66    |
  67    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  68
  69 error[E0080]: it is undefined behavior to use this value
  70   --> $DIR/ub-wide-ptr.rs:61:1
  71    |
  72 LL | const SLICE_TOO_LONG: &[u8] = unsafe { mem::transmute((&42u8, 999usize)) };
  73    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a dangling reference (going beyond the bounds of its allocation)
  74    |
  75    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  76
  77 error[E0080]: it is undefined behavior to use this value
  78   --> $DIR/ub-wide-ptr.rs:64:1
  79    |
  80 LL | const SLICE_LENGTH_PTR: &[u8] = unsafe { mem::transmute((&42u8, &3)) };
  81    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered non-integer slice length in wide pointer
  82    |
  83    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  84
  85 error[E0080]: it is undefined behavior to use this value
  86   --> $DIR/ub-wide-ptr.rs:67:1
  87    |
  88 LL | const SLICE_TOO_LONG_BOX: Box<[u8]> = unsafe { mem::transmute((&42u8, 999usize)) };
  89    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a dangling box (going beyond the bounds of its allocation)
  90    |
  91    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
  92
  93 error[E0080]: it is undefined behavior to use this value
  94   --> $DIR/ub-wide-ptr.rs:70:1
  95    |
  96 LL | const SLICE_LENGTH_PTR_BOX: Box<[u8]> = unsafe { mem::transmute((&42u8, &3)) };
  97    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered non-integer slice length in wide pointer
  98    |
  99    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 100
 101 error[E0080]: it is undefined behavior to use this value
 102   --> $DIR/ub-wide-ptr.rs:74:1
 103    |
 104 LL | const SLICE_CONTENT_INVALID: &[bool] = &[unsafe { mem::transmute(3u8) }];
 105    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered 0x03 at .<deref>[0], but expected a boolean
 106    |
 107    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 108
 109 error[E0080]: it is undefined behavior to use this value
 110   --> $DIR/ub-wide-ptr.rs:80:1
 111    |
 112 LL | const MYSLICE_PREFIX_BAD: &MySliceBool = &MySlice(unsafe { mem::transmute(3u8) }, [false]);
 113    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered 0x03 at .<deref>.0, but expected a boolean
 114    |
 115    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 116
 117 error[E0080]: it is undefined behavior to use this value
 118   --> $DIR/ub-wide-ptr.rs:83:1
 119    |
 120 LL | const MYSLICE_SUFFIX_BAD: &MySliceBool = &MySlice(true, [unsafe { mem::transmute(3u8) }]);
 121    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered 0x03 at .<deref>.1[0], but expected a boolean
 122    |
 123    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 124
 125 error[E0080]: it is undefined behavior to use this value
 126   --> $DIR/ub-wide-ptr.rs:90:1
 127    |
 128 LL | / const RAW_SLICE_LENGTH_UNINIT: *const [u8] = unsafe {
 129 LL | |
 130 LL | |     let uninit_len = MaybeUninit::<usize> { uninit: () };
 131 LL | |     mem::transmute((42, uninit_len))
 132 LL | | };
 133    | |__^ type validation failed: encountered uninitialized raw pointer
 134    |
 135    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 136
 137 warning: any use of this value will cause an error
 138   --> $DIR/ub-wide-ptr.rs:99:55
 139    |
 140 LL | const TRAIT_OBJ_SHORT_VTABLE_1: &dyn Trait = unsafe { mem::transmute((&92u8, &3u8)) };
 141    | ------------------------------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---
 142    |                                                       |
 143    |                                                       memory access failed: pointer must be in-bounds at offset N, but is outside bounds of allocN which has size N
 144    |
 145 note: the lint level is defined here
 146   --> $DIR/ub-wide-ptr.rs:98:8
 147    |
 148 LL | #[warn(const_err)]
 149    |        ^^^^^^^^^
 150
 151 warning: any use of this value will cause an error
 152   --> $DIR/ub-wide-ptr.rs:103:55
 153    |
 154 LL | const TRAIT_OBJ_SHORT_VTABLE_2: &dyn Trait = unsafe { mem::transmute((&92u8, &3u64)) };
 155    | ------------------------------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---
 156    |                                                       |
 157    |                                                       memory access failed: pointer must be in-bounds at offset N, but is outside bounds of allocN which has size N
 158    |
 159 note: the lint level is defined here
 160   --> $DIR/ub-wide-ptr.rs:102:8
 161    |
 162 LL | #[warn(const_err)]
 163    |        ^^^^^^^^^
 164
 165 warning: any use of this value will cause an error
 166   --> $DIR/ub-wide-ptr.rs:107:51
 167    |
 168 LL | const TRAIT_OBJ_INT_VTABLE: &dyn Trait = unsafe { mem::transmute((&92u8, 4usize)) };
 169    | --------------------------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---
 170    |                                                   |
 171    |                                                   unable to turn bytes into a pointer
 172    |
 173 note: the lint level is defined here
 174   --> $DIR/ub-wide-ptr.rs:106:8
 175    |
 176 LL | #[warn(const_err)]
 177    |        ^^^^^^^^^
 178
 179 error[E0080]: it is undefined behavior to use this value
 180   --> $DIR/ub-wide-ptr.rs:109:1
 181    |
 182 LL | const TRAIT_OBJ_UNALIGNED_VTABLE: &dyn Trait = unsafe { mem::transmute((&92u8, &[0u8; 128])) };
 183    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered unaligned vtable pointer in wide pointer
 184    |
 185    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 186
 187 error[E0080]: it is undefined behavior to use this value
 188   --> $DIR/ub-wide-ptr.rs:111:1
 189    |
 190 LL | const TRAIT_OBJ_BAD_DROP_FN_NULL: &dyn Trait = unsafe { mem::transmute((&92u8, &[0usize; 8])) };
 191    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid drop function pointer in vtable (not pointing to a function)
 192    |
 193    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 194
 195 error[E0080]: it is undefined behavior to use this value
 196   --> $DIR/ub-wide-ptr.rs:113:1
 197    |
 198 LL | const TRAIT_OBJ_BAD_DROP_FN_INT: &dyn Trait = unsafe { mem::transmute((&92u8, &[1usize; 8])) };
 199    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid drop function pointer in vtable (not pointing to a function)
 200    |
 201    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 202
 203 warning: any use of this value will cause an error
 204   --> $DIR/ub-wide-ptr.rs:116:63
 205    |
 206 LL | const TRAIT_OBJ_BAD_DROP_FN_NOT_FN_PTR: &dyn Trait = unsafe { mem::transmute((&92u8, &[&42u8; 8])) };
 207    | --------------------------------------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---
 208    |                                                               |
 209    |                                                               "pointer-to-integer cast" needs an rfc before being allowed inside constants
 210    |
 211 note: the lint level is defined here
 212   --> $DIR/ub-wide-ptr.rs:115:8
 213    |
 214 LL | #[warn(const_err)]
 215    |        ^^^^^^^^^
 216
 217 error[E0080]: it is undefined behavior to use this value
 218   --> $DIR/ub-wide-ptr.rs:120:1
 219    |
 220 LL | const TRAIT_OBJ_CONTENT_INVALID: &dyn Trait = unsafe { mem::transmute::<_, &bool>(&3u8) };
 221    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered 0x03 at .<deref>.<dyn-downcast>, but expected a boolean
 222    |
 223    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 224
 225 error[E0080]: it is undefined behavior to use this value
 226   --> $DIR/ub-wide-ptr.rs:124:1
 227    |
 228 LL | const RAW_TRAIT_OBJ_VTABLE_NULL: *const dyn Trait = unsafe { mem::transmute((&92u8, 0usize)) };
 229    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered dangling vtable pointer in wide pointer
 230    |
 231    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 232
 233 error[E0080]: it is undefined behavior to use this value
 234   --> $DIR/ub-wide-ptr.rs:126:1
 235    |
 236 LL | const RAW_TRAIT_OBJ_VTABLE_INVALID: *const dyn Trait = unsafe { mem::transmute((&92u8, &3u64)) };
 237    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered too small vtable
 238    |
 239    = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior.
 240
 241 error[E0080]: could not evaluate static initializer
 242   --> $DIR/ub-wide-ptr.rs:132:5
 243    |
 244 LL |     mem::transmute::<_, &dyn Trait>((&92u8, 0usize))
 245    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ inbounds test failed: 0x0 is not a valid pointer
 246
 247 error[E0080]: could not evaluate static initializer
 248   --> $DIR/ub-wide-ptr.rs:136:5
 249    |
 250 LL |     mem::transmute::<_, &dyn Trait>((&92u8, &3u64))
 251    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ memory access failed: pointer must be in-bounds at offset N, but is outside bounds of allocN which has size N
 252
 253 error: aborting due to 24 previous errors; 4 warnings emitted
 254
 255 For more information about this error, try `rustc --explain E0080`.