diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-12-01 20:25:43 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-12-06 18:59:47 +0000 |
| commit | 9188f8cb82c725712e1de45d03201de3193cfc2d (patch) | |
| tree | 07b7225b45ef4b3d25b64e73f8c8593b9fdbcb21 /src | |
| parent | 18a2c28052aed0d00db58a72c1821c0012580f5d (diff) | |
| download | rust-9188f8cb82c725712e1de45d03201de3193cfc2d.tar.gz rust-9188f8cb82c725712e1de45d03201de3193cfc2d.zip | |
Emit full spans in miri
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/src/diagnostics.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs index e354287453b..bc695b3b31d 100644 --- a/src/tools/miri/src/diagnostics.rs +++ b/src/tools/miri/src/diagnostics.rs @@ -365,9 +365,8 @@ fn report_msg<'tcx>( err.span_note(frame_info.span, &frame_info.to_string()); } else { let sm = sess.source_map(); - let lo = sm.lookup_char_pos(frame_info.span.lo()); - let filename = sm.filename_for_diagnostics(&lo.file.name); - err.note(format!("{frame_info} at {}:{}:{}", filename, lo.line, lo.col.0 + 1)); + let span = sm.span_to_embeddable_string(frame_info.span); + err.note(format!("{frame_info} at {span}")); } } |