tests/ui/array-slice-vec/box-of-array-of-drop-1.rs

   1 // run-pass
   2 // needs-unwind
   3 #![allow(overflowing_literals)]
   4
   5 // Test that we cleanup a fixed size Box<[D; k]> properly when D has a
   6 // destructor.
   7
   8 // ignore-emscripten no threads support
   9
  10 use std::thread;
  11 use std::sync::atomic::{AtomicUsize, Ordering};
  12
  13 static LOG: AtomicUsize = AtomicUsize::new(0);
  14
  15 struct D(u8);
  16
  17 impl Drop for D {
  18     fn drop(&mut self) {
  19         println!("Dropping {}", self.0);
  20         let old = LOG.load(Ordering::SeqCst);
  21         let _ = LOG.compare_exchange(
  22             old,
  23             old << 4 | self.0 as usize,
  24             Ordering::SeqCst,
  25             Ordering::SeqCst
  26         );
  27     }
  28 }
  29
  30 fn main() {
  31     fn die() -> D { panic!("Oh no"); }
  32     let g = thread::spawn(|| {
  33         let _b1: Box<[D; 4]> = Box::new([D( 1), D( 2), D( 3), D( 4)]);
  34         let _b2: Box<[D; 4]> = Box::new([D( 5), D( 6), D( 7), D( 8)]);
  35         let _b3: Box<[D; 4]> = Box::new([D( 9), D(10), die(), D(12)]);
  36         let _b4: Box<[D; 4]> = Box::new([D(13), D(14), D(15), D(16)]);
  37     });
  38     assert!(g.join().is_err());
  39
  40     // When the panic occurs, we will be in the midst of constructing
  41     // the input to `_b3`.  Therefore, we drop the elements of the
  42     // partially filled array first, before we get around to dropping
  43     // the elements of `_b1` and _b2`.
  44
  45     // Issue 23222: The order in which the elements actually get
  46     // dropped is a little funky. See similar notes in nested-vec-3;
  47     // in essence, I would not be surprised if we change the ordering
  48     // given in `expect` in the future.
  49
  50     let expect = 0x__A_9__5_6_7_8__1_2_3_4;
  51     let actual = LOG.load(Ordering::SeqCst);
  52     assert!(actual == expect, "expect: 0x{:x} actual: 0x{:x}", expect, actual);
  53 }