Revert "Remove unused label in mir"
This reverts commit b2a2450cf2925498e1c3bdd781aa1978f9eb00e5.
This commit is contained in:
parent
335f91fd69
commit
5586cd80e2
1 changed files with 1 additions and 1 deletions
|
|
@ -1705,7 +1705,7 @@ impl<'a, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> EvalContext<'a, 'mir, 'tcx, M
|
|||
let mut trace_text = "\n\nAn error occurred in miri:\n".to_string();
|
||||
backtrace.resolve();
|
||||
write!(trace_text, "backtrace frames: {}\n", backtrace.frames().len()).unwrap();
|
||||
for (i, frame) in backtrace.frames().iter().enumerate() {
|
||||
'frames: for (i, frame) in backtrace.frames().iter().enumerate() {
|
||||
if frame.symbols().is_empty() {
|
||||
write!(trace_text, "{}: no symbols\n", i).unwrap();
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue