Add raw pointer variant of #90752 with incorrect behavior
This commit is contained in:
parent
d846fe0522
commit
ece0e6ae6d
1 changed files with 41 additions and 0 deletions
41
src/test/ui/drop/issue-90752-raw-ptr-shenanigans.rs
Normal file
41
src/test/ui/drop/issue-90752-raw-ptr-shenanigans.rs
Normal file
|
|
@ -0,0 +1,41 @@
|
|||
// run-pass
|
||||
|
||||
use std::cell::RefCell;
|
||||
|
||||
struct S<'a>(i32, &'a RefCell<Vec<i32>>);
|
||||
|
||||
impl<'a> Drop for S<'a> {
|
||||
fn drop(&mut self) {
|
||||
self.1.borrow_mut().push(self.0);
|
||||
}
|
||||
}
|
||||
|
||||
fn test(drops: &RefCell<Vec<i32>>) {
|
||||
let mut foo = None;
|
||||
let pfoo: *mut _ = &mut foo;
|
||||
|
||||
match foo {
|
||||
None => (),
|
||||
_ => return,
|
||||
}
|
||||
|
||||
// Both S(0) and S(1) should be dropped, but aren't.
|
||||
unsafe { *pfoo = Some((S(0, drops), S(1, drops))); }
|
||||
|
||||
match foo {
|
||||
Some((_x, _)) => {}
|
||||
_ => {}
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let drops = RefCell::new(Vec::new());
|
||||
test(&drops);
|
||||
|
||||
// Ideally, we want this...
|
||||
//assert_eq!(*drops.borrow(), &[0, 1]);
|
||||
|
||||
// But the delayed access through the raw pointer confuses drop elaboration,
|
||||
// causing S(1) to be leaked.
|
||||
assert_eq!(*drops.borrow(), &[0]);
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue