Add more detailed codegen comment

This commit is contained in:
Aaron Hill 2019-11-04 16:10:02 -05:00
parent 23900770ab
commit 6eea0ffc65
No known key found for this signature in database
GPG Key ID: B4087E510E98B164

View File

@ -532,6 +532,11 @@ fn codegen_call_terminator<'b>(
// We should only emit a call to this intrinsic in #[cfg(miri)] mode,
// which means that we will never actually use the generate object files
// (we will just be interpreting the MIR)
//
// Note that we still need to be able to codegen *something* for this intrisnic:
// Miri currently uses Xargo to build a special libstd. As a side effect,
// we generate normal object files for libstd - while these are never used,
// we still need to be able to build them.
if intrinsic == Some("miri_start_panic") {
bx.abort();
bx.unreachable();