diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-25 05:02:30 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-25 05:02:30 +0000 |
| commit | f25ec486d7d6cad76ca38be4ac8f17452f795fcb (patch) | |
| tree | 318281d2cf47098088d5cbdf8762967b0ae46899 | |
| parent | da39cbec739f2da49fa2b403e4e900c302a2c3de (diff) | |
| download | rust-f25ec486d7d6cad76ca38be4ac8f17452f795fcb.tar.gz rust-f25ec486d7d6cad76ca38be4ac8f17452f795fcb.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/bin/miri.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs index 7098ef5130d..0121472d330 100644 --- a/src/tools/miri/src/bin/miri.rs +++ b/src/tools/miri/src/bin/miri.rs @@ -281,7 +281,9 @@ impl rustc_driver::Callbacks for MiriBeRustCompilerCalls { } let codegen_fn_attrs = tcx.codegen_fn_attrs(local_def_id); if codegen_fn_attrs.contains_extern_indicator() - || codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::USED_COMPILER) + || codegen_fn_attrs + .flags + .contains(CodegenFnAttrFlags::USED_COMPILER) || codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::USED_LINKER) { Some(( |