Skip to content

Commit

Permalink
fix UB in ancient test
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Feb 12, 2023
1 parent adb4bfd commit 0ea0c90
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions tests/ui/regions/regions-mock-codegen.rs
Original file line number Diff line number Diff line change
Expand Up @@ -22,23 +22,23 @@ struct Ccx {
x: isize,
}

fn allocate(_bcx: &arena) -> &Bcx<'_> {
fn allocate(_bcx: &arena) -> &mut Bcx<'_> {
unsafe {
let layout = Layout::new::<Bcx>();
let ptr = Global.allocate(layout).unwrap_or_else(|_| handle_alloc_error(layout));
&*(ptr.as_ptr() as *const _)
&mut *ptr.as_ptr().cast()
}
}

fn h<'a>(bcx: &'a Bcx<'a>) -> &'a Bcx<'a> {
fn h<'a>(bcx: &'a Bcx<'a>) -> &'a mut Bcx<'a> {
return allocate(bcx.fcx.arena);
}

fn g(fcx: &Fcx) {
let bcx = Bcx { fcx };
let bcx2 = h(&bcx);
unsafe {
Global.deallocate(NonNull::new_unchecked(bcx2 as *const _ as *mut _), Layout::new::<Bcx>());
Global.deallocate(NonNull::new_unchecked(bcx2 as *mut _ as *mut _), Layout::new::<Bcx>());
}
}

Expand Down

0 comments on commit 0ea0c90

Please sign in to comment.