enable leak check tests on Windows

This commit is contained in:
Ralf Jung 2020-07-23 15:49:22 +02:00
parent fef5fa2ae1
commit bc0569253f
3 changed files with 1 additions and 5 deletions

View File

@ -203,7 +203,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
let ptr = this.read_scalar(ptr)?.not_undef()?;
let ptr = this.force_ptr(ptr)?;
if ptr.offset != Size::ZERO {
throw_unsup_format!("Pointer passed to miri_static_root must point to beginning of an allocated block");
throw_unsup_format!("pointer passed to miri_static_root must point to beginning of an allocated block");
}
this.machine.static_roots.push(ptr.alloc_id);
}

View File

@ -1,5 +1,3 @@
// ignore-windows: We do not check leaks on Windows
//error-pattern: the evaluated program leaked memory
fn main() {

View File

@ -1,5 +1,3 @@
// ignore-windows: We do not check leaks on Windows
//error-pattern: the evaluated program leaked memory
use std::rc::Rc;