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

Print hex dump of alloc on reading undef bytes

Browse Source
This commit is contained in:
David Cook 2020-04-21 21:28:22 -05:00
parent 8d9db57a0d
commit e37d0e3125
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/diagnostics.rs
View File

@ -114,6 +114,9 @@ pub fn report_error<'tcx, 'mir>(
}; };
e.print_backtrace(); e.print_backtrace();
if let UndefinedBehavior(UndefinedBehaviorInfo::InvalidUndefBytes(Some(ptr))) = e.kind {
ecx.memory.dump_alloc(ptr.alloc_id);
}
let msg = e.to_string(); let msg = e.to_string();
report_msg(ecx, &format!("{}: {}", title, msg), msg, helps, true) report_msg(ecx, &format!("{}: {}", title, msg), msg, helps, true)
} }