Skip to content

Commit 0eccf1d

Browse files
committed
update Windows leak comment
1 parent b1f0537 commit 0eccf1d

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/eval.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -183,8 +183,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
183183
/// Returns `Some(return_code)` if program executed completed.
184184
/// Returns `None` if an evaluation error occured.
185185
pub fn eval_main<'tcx>(tcx: TyCtxt<'tcx>, main_id: DefId, config: MiriConfig) -> Option<i64> {
186-
// FIXME: on Windows, locks and TLS dtor management allocate and leave that memory in `static`s.
187-
// So we need https://github.com/rust-lang/miri/issues/940 to fix the leaks there.
186+
// FIXME: on Windows, we ignore leaks (https://github.com/rust-lang/miri/issues/1302).
188187
let ignore_leaks = config.ignore_leaks || tcx.sess.target.target.target_os == "windows";
189188

190189
let (mut ecx, ret_place) = match create_ecx(tcx, main_id, config) {

0 commit comments

Comments
 (0)