blob: f9e1b651a4933edcbb9493ff9e37d1a854038dc7 [file] [log] [blame]
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// compile-flags: -Z force-dropflag-checks=on
// Quick-and-dirty test to ensure -Z force-dropflag-checks=on works as
// expected. Note that the inlined drop-flag is slated for removal
// (RFC 320); when that happens, the -Z flag and this test should
// simply be removed.
//
// See also drop-flag-skip-sanity-check.rs.
use std::env;
use std::process::Command;
fn main() {
let args: Vec<String> = env::args().collect();
if args.len() > 1 && args[1] == "test" {
return test();
}
let mut p = Command::new(&args[0]).arg("test").spawn().unwrap();
// The invocation should fail due to the drop-flag sanity check.
assert!(!p.wait().unwrap().success());
}
#[derive(Debug)]
struct Corrupted {
x: u8
}
impl Drop for Corrupted {
fn drop(&mut self) { println!("dropping"); }
}
fn test() {
{
let mut c1 = Corrupted { x: 1 };
let mut c2 = Corrupted { x: 2 };
unsafe {
let p1 = &mut c1 as *mut Corrupted as *mut u8;
let p2 = &mut c2 as *mut Corrupted as *mut u8;
for i in 0..std::mem::size_of::<Corrupted>() {
// corrupt everything, *including the drop flag.
//
// (We corrupt via two different means to safeguard
// against the hypothetical assignment of the
// dtor_needed/dtor_done values to v and v+k. that
// happen to match with one of the corruption values
// below.)
*p1.offset(i as isize) += 2;
*p2.offset(i as isize) += 3;
}
}
// Here, at the end of the scope of `c1` and `c2`, the
// drop-glue should detect the corruption of (at least one of)
// the drop-flags.
}
println!("We should never get here.");
}