Merge link_name and export_name

bjorn3 · bjorn3 · commit 0cacf708b02b · 2025-08-15T10:04:04.000Z
diff --git a/src/shims/foreign_items.rs b/src/shims/foreign_items.rs
@@ -146,7 +146,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                         return interp_ok(());
                     }
                     // Skip over items without an explicitly defined symbol name.
-                    if !(attrs.export_name.is_some()
+                    if !(attrs.symbol_name.is_some()
                         || attrs.flags.contains(CodegenFnAttrFlags::NO_MANGLE)
                         || attrs.flags.contains(CodegenFnAttrFlags::RUSTC_STD_INTERNAL_SYMBOL))
                     {

Original file line number	Diff line number	Diff line change
`@@ -146,7 +146,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`146`	`146`	`return interp_ok(());`
`147`	`147`	`}`
`148`	`148`	`// Skip over items without an explicitly defined symbol name.`
`149`		`- if !(attrs.export_name.is_some()`
	`149`	`+ if !(attrs.symbol_name.is_some()`
`150`	`150`	`\|\| attrs.flags.contains(CodegenFnAttrFlags::NO_MANGLE)`
`151`	`151`	`\|\| attrs.flags.contains(CodegenFnAttrFlags::RUSTC_STD_INTERNAL_SYMBOL))`
`152`	`152`	`{`