1
Fork 0

Exclude global_asm from mir_keys

This commit is contained in:
Michael Goulet 2025-02-23 23:01:04 +00:00
parent c867b8f11d
commit ef031c854d
3 changed files with 31 additions and 1 deletions

View file

@ -316,6 +316,10 @@ fn mir_keys(tcx: TyCtxt<'_>, (): ()) -> FxIndexSet<LocalDefId> {
// All body-owners have MIR associated with them.
let mut set: FxIndexSet<_> = tcx.hir_body_owners().collect();
// Remove the fake bodies for `global_asm!`, since they're not useful
// to be emitted (`--emit=mir`) or encoded (in metadata).
set.retain(|&def_id| !matches!(tcx.def_kind(def_id), DefKind::GlobalAsm));
// Coroutine-closures (e.g. async closures) have an additional by-move MIR
// body that isn't in the HIR.
for body_owner in tcx.hir_body_owners() {

View file

@ -0,0 +1,26 @@
//@ revisions: emit_mir instrument cfi
// Make sure we don't try to emit MIR for it.
//@[emit_mir] compile-flags: --emit=mir
// Make sure we don't try to instrument it.
//@[instrument] compile-flags: -Cinstrument-coverage -Zno-profiler-runtime
//@[instrument] only-linux
// Make sure we don't try to CFI encode it.
//@[cfi] compile-flags: -Zsanitizer=cfi -Ccodegen-units=1 -Clto -Ctarget-feature=-crt-static -Clink-dead-code=true
//@[cfi] needs-sanitizer-cfi
//@[cfi] no-prefer-dynamic
// FIXME(#122848) Remove only-linux once OSX CFI binaries work
//@[cfi] only-linux
//@ build-pass
//@ needs-asm-support
use std::arch::global_asm;
fn foo() {}
global_asm!("/* {} */", sym foo);
fn main() {}

View file

@ -1,5 +1,5 @@
error[E0425]: cannot find value `a` in this scope
--> $DIR/global-asm-with-error.rs:6:29
--> $DIR/global-asm-with-error.rs:8:29
|
LL | global_asm!("/* {} */", sym a);
| ^ not found in this scope