src/test/ui/consts/invalid-union.rs

   1 // Check that constants with interior mutability inside unions are rejected
   2 // during validation.
   3 //
   4 // Note that this test case relies on undefined behaviour to construct a
   5 // constant with interior mutability that is "invisible" to the static checks.
   6 // If for some reason this approach no longer works, it is should be fine to
   7 // remove the test case.
   8 //
   9 // build-fail
  10 // stderr-per-bitwidth
  11 #![feature(const_mut_refs)]
  12 #![feature(const_ptr_offset)]
  13 #![feature(untagged_unions)]
  14 use std::cell::Cell;
  15
  16 #[repr(C)]
  17 struct S {
  18     x: u32,
  19     y: E,
  20 }
  21
  22 #[repr(u32)]
  23 enum E {
  24     A,
  25     B(U)
  26 }
  27
  28 union U {
  29     cell: Cell<u32>,
  30 }
  31
  32 const C: S = {
  33     let s = S { x: 0, y: E::A };
  34     // Go through an &u32 reference which is definitely not allowed to mutate anything.
  35     let p = &s.x as *const u32 as *mut u32;
  36     // Change enum tag to E::B.
  37     unsafe { *p.add(1) = 1 };
  38     s
  39 };
  40
  41 fn main() { //~ ERROR it is undefined behavior to use this value
  42     let _: &'static _ = &C; //~ ERROR erroneous constant used
  43     //~^ WARN this was previously accepted
  44 }