src/test/ui/consts/extra-const-ub/detect-extra-ub.with_flag.stderr

   1 error[E0080]: evaluation of constant value failed
   2   --> $DIR/detect-extra-ub.rs:9:20
   3    |
   4 LL |     let _x: bool = transmute(3u8);
   5    |                    ^^^^^^^^^^^^^^ constructing invalid value: encountered 0x03, but expected a boolean
   6
   7 error[E0080]: evaluation of constant value failed
   8   --> $DIR/detect-extra-ub.rs:15:21
   9    |
  10 LL |     let _x: usize = transmute(&3u8);
  11    |                     ^^^^^^^^^^^^^^^ unable to turn pointer into raw bytes
  12    |
  13    = help: this code performed an operation that depends on the underlying bytes representing a pointer
  14    = help: the absolute address of a pointer is not known at compile-time, so such operations are not supported
  15
  16 error[E0080]: evaluation of constant value failed
  17   --> $DIR/detect-extra-ub.rs:21:30
  18    |
  19 LL |     let _x: (usize, usize) = transmute(x);
  20    |                              ^^^^^^^^^^^^ unable to turn pointer into raw bytes
  21    |
  22    = help: this code performed an operation that depends on the underlying bytes representing a pointer
  23    = help: the absolute address of a pointer is not known at compile-time, so such operations are not supported
  24
  25 error[E0080]: evaluation of constant value failed
  26   --> $DIR/detect-extra-ub.rs:26:20
  27    |
  28 LL |     let _x: &u32 = transmute(&[0u8; 4]);
  29    |                    ^^^^^^^^^^^^^^^^^^^^ constructing invalid value: encountered an unaligned reference (required 4 byte alignment but found 1)
  30
  31 error[E0080]: evaluation of constant value failed
  32   --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
  33    |
  34    = note: accessing memory with alignment 1, but alignment 4 is required
  35    |
  36 note: inside `std::ptr::read::<u32>`
  37   --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
  38 note: inside `ptr::const_ptr::<impl *const u32>::read`
  39   --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
  40 note: inside `INNER`
  41   --> $DIR/detect-extra-ub.rs:38:9
  42    |
  43 LL |         ptr.read();
  44    |         ^^^^^^^^^^
  45
  46 note: erroneous constant used
  47   --> $DIR/detect-extra-ub.rs:32:5
  48    |
  49 LL |     INNER;
  50    |     ^^^^^
  51
  52 error: aborting due to 5 previous errors
  53
  54 For more information about this error, try `rustc --explain E0080`.