mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

style nit

Browse Source
This commit is contained in:
Oliver Schneider 2016-06-10 16:32:39 +02:00
parent 4fa328ef5f
commit 9c8f84caf7
No known key found for this signature in database
GPG Key ID: 56D6EEA0FC67AC46
1 changed files with 18 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/bin/miri.rs
View File

@ -65,22 +65,24 @@ fn interpret_start_points<'a, 'tcx>(
gecx.push_stack_frame(tcx.map.local_def_id(id), mir.span, CachedMir::Ref(mir), substs, return_ptr);
loop { match (step(&mut gecx), return_ptr) {
(Ok(true), _) => {},
(Ok(false), Some(ptr)) => if log_enabled!(::log::LogLevel::Debug) {
gecx.memory().dump(ptr.alloc_id);
break;
},
(Ok(false), None) => {
warn!("diverging function returned");
break;
},
// FIXME: diverging functions can end up here in some future miri
(Err(e), _) => {
report(tcx, &gecx, e);
break;
},
} }
loop {
match (step(&mut gecx), return_ptr) {
(Ok(true), _) => {},
(Ok(false), Some(ptr)) => if log_enabled!(::log::LogLevel::Debug) {
gecx.memory().dump(ptr.alloc_id);
break;
},
(Ok(false), None) => {
warn!("diverging function returned");
break;
},
// FIXME: diverging functions can end up here in some future miri
(Err(e), _) => {
report(tcx, &gecx, e);
break;
},
}
}
}
}
}