Skip to main content

rustc_metadata/
native_libs.rs

1use std::ops::ControlFlow;
2use std::path::{Path, PathBuf};
3
4use rustc_abi::ExternAbi;
5use rustc_attr_parsing::eval_config_entry;
6use rustc_data_structures::fx::FxHashSet;
7use rustc_hir::attrs::{NativeLibKind, PeImportNameType};
8use rustc_hir::def::DefKind;
9use rustc_hir::find_attr;
10use rustc_middle::bug;
11use rustc_middle::middle::codegen_fn_attrs::CodegenFnAttrFlags;
12use rustc_middle::query::LocalCrate;
13use rustc_middle::ty::{self, List, Ty, TyCtxt};
14use rustc_session::Session;
15use rustc_session::config::CrateType;
16use rustc_session::cstore::{
17    DllCallingConvention, DllImport, DllImportSymbolType, ForeignModule, NativeLib,
18};
19use rustc_session::search_paths::PathKind;
20use rustc_span::Symbol;
21use rustc_span::def_id::{DefId, LOCAL_CRATE};
22use rustc_target::spec::{Arch, BinaryFormat, CfgAbi, Env, LinkSelfContainedComponents, Os};
23
24use crate::errors;
25
26/// The fallback directories are passed to linker, but not used when rustc does the search,
27/// because in the latter case the set of fallback directories cannot always be determined
28/// consistently at the moment.
29pub struct NativeLibSearchFallback<'a> {
30    pub self_contained_components: LinkSelfContainedComponents,
31    pub apple_sdk_root: Option<&'a Path>,
32}
33
34pub fn walk_native_lib_search_dirs<R>(
35    sess: &Session,
36    fallback: Option<NativeLibSearchFallback<'_>>,
37    mut f: impl FnMut(&Path, bool /*is_framework*/) -> ControlFlow<R>,
38) -> ControlFlow<R> {
39    // Library search paths explicitly supplied by user (`-L` on the command line).
40    for search_path in sess.target_filesearch().cli_search_paths(PathKind::Native) {
41        f(&search_path.dir, false)?;
42    }
43    for search_path in sess.target_filesearch().cli_search_paths(PathKind::Framework) {
44        // Frameworks are looked up strictly in framework-specific paths.
45        if search_path.kind != PathKind::All {
46            f(&search_path.dir, true)?;
47        }
48    }
49
50    let Some(NativeLibSearchFallback { self_contained_components, apple_sdk_root }) = fallback
51    else {
52        return ControlFlow::Continue(());
53    };
54
55    // The toolchain ships some native library components and self-contained linking was enabled.
56    // Add the self-contained library directory to search paths.
57    if self_contained_components.intersects(
58        LinkSelfContainedComponents::LIBC
59            | LinkSelfContainedComponents::UNWIND
60            | LinkSelfContainedComponents::MINGW,
61    ) {
62        f(&sess.target_tlib_path.dir.join("self-contained"), false)?;
63    }
64
65    let has_shared_llvm_apple_darwin =
66        sess.target.is_like_darwin && sess.target_tlib_path.dir.join("libLLVM.dylib").exists();
67
68    // Toolchains for some targets may ship `libunwind.a`, but place it into the main sysroot
69    // library directory instead of the self-contained directories.
70    // Sanitizer libraries have the same issue and are also linked by name on Apple targets.
71    // The targets here should be in sync with `copy_third_party_objects` in bootstrap.
72    // On Apple targets, shared LLVM is linked by name, so when `libLLVM.dylib` is
73    // present in the target libdir, add that directory to the linker search path.
74    // FIXME: implement `-Clink-self-contained=+/-unwind,+/-sanitizers`, move the shipped libunwind
75    // and sanitizers to self-contained directory, and stop adding this search path.
76    // FIXME: On AIX this also has the side-effect of making the list of library search paths
77    // non-empty, which is needed or the linker may decide to record the LIBPATH env, if
78    // defined, as the search path instead of appending the default search paths.
79    if sess.target.cfg_abi == CfgAbi::Fortanix
80        || sess.target.os == Os::Linux
81        || sess.target.os == Os::Fuchsia
82        || sess.target.is_like_aix
83        || sess.target.is_like_darwin
84            && (!sess.sanitizers().is_empty() || has_shared_llvm_apple_darwin)
85        || sess.target.os == Os::Windows
86            && sess.target.env == Env::Gnu
87            && sess.target.cfg_abi == CfgAbi::Llvm
88    {
89        f(&sess.target_tlib_path.dir, false)?;
90    }
91
92    // Mac Catalyst uses the macOS SDK, but to link to iOS-specific frameworks
93    // we must have the support library stubs in the library search path (#121430).
94    if let Some(sdk_root) = apple_sdk_root
95        && sess.target.env == Env::MacAbi
96    {
97        f(&sdk_root.join("System/iOSSupport/usr/lib"), false)?;
98        f(&sdk_root.join("System/iOSSupport/System/Library/Frameworks"), true)?;
99    }
100
101    ControlFlow::Continue(())
102}
103
104pub fn try_find_native_static_library(
105    sess: &Session,
106    name: &str,
107    verbatim: bool,
108) -> Option<PathBuf> {
109    let default = sess.staticlib_components(verbatim);
110    let formats = if verbatim {
111        ::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
        [default]))vec![default]
112    } else {
113        // On Windows, static libraries sometimes show up as libfoo.a and other
114        // times show up as foo.lib
115        let unix = ("lib", ".a");
116        if default == unix { ::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
        [default]))vec![default] } else { ::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
        [default, unix]))vec![default, unix] }
117    };
118
119    walk_native_lib_search_dirs(sess, None, |dir, is_framework| {
120        if !is_framework {
121            for (prefix, suffix) in &formats {
122                let test = dir.join(::alloc::__export::must_use({
        ::alloc::fmt::format(format_args!("{0}{1}{2}", prefix, name, suffix))
    })format!("{prefix}{name}{suffix}"));
123                if test.exists() {
124                    return ControlFlow::Break(test);
125                }
126            }
127        }
128        ControlFlow::Continue(())
129    })
130    .break_value()
131}
132
133pub fn try_find_native_dynamic_library(
134    sess: &Session,
135    name: &str,
136    verbatim: bool,
137) -> Option<PathBuf> {
138    let default = sess.staticlib_components(verbatim);
139    let formats = if verbatim {
140        ::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
        [default]))vec![default]
141    } else {
142        // While the official naming convention for MSVC import libraries
143        // is foo.lib, Meson follows the libfoo.dll.a convention to
144        // disambiguate .a for static libraries
145        let meson = ("lib", ".dll.a");
146        // and MinGW uses .a altogether
147        let mingw = ("lib", ".a");
148        ::alloc::boxed::box_assume_init_into_vec_unsafe(::alloc::intrinsics::write_box_via_move(::alloc::boxed::Box::new_uninit(),
        [default, meson, mingw]))vec![default, meson, mingw]
149    };
150
151    walk_native_lib_search_dirs(sess, None, |dir, is_framework| {
152        if !is_framework {
153            for (prefix, suffix) in &formats {
154                let test = dir.join(::alloc::__export::must_use({
        ::alloc::fmt::format(format_args!("{0}{1}{2}", prefix, name, suffix))
    })format!("{prefix}{name}{suffix}"));
155                if test.exists() {
156                    return ControlFlow::Break(test);
157                }
158            }
159        }
160        ControlFlow::Continue(())
161    })
162    .break_value()
163}
164
165pub fn find_native_static_library(name: &str, verbatim: bool, sess: &Session) -> PathBuf {
166    try_find_native_static_library(sess, name, verbatim)
167        .unwrap_or_else(|| sess.dcx().emit_fatal(errors::MissingNativeLibrary::new(name, verbatim)))
168}
169
170fn find_bundled_library(
171    name: Symbol,
172    verbatim: Option<bool>,
173    kind: NativeLibKind,
174    has_cfg: bool,
175    tcx: TyCtxt<'_>,
176) -> Option<Symbol> {
177    let sess = tcx.sess;
178    if let NativeLibKind::Static { bundle: Some(true) | None, whole_archive, .. } = kind
179        && tcx.crate_types().iter().any(|t| #[allow(non_exhaustive_omitted_patterns)] match t {
    &CrateType::Rlib | CrateType::StaticLib => true,
    _ => false,
}matches!(t, &CrateType::Rlib | CrateType::StaticLib))
180        && (sess.opts.unstable_opts.packed_bundled_libs || has_cfg || whole_archive == Some(true))
181    {
182        let verbatim = verbatim.unwrap_or(false);
183        return find_native_static_library(name.as_str(), verbatim, sess)
184            .file_name()
185            .and_then(|s| s.to_str())
186            .map(Symbol::intern);
187    }
188    None
189}
190
191pub(crate) fn collect(tcx: TyCtxt<'_>, LocalCrate: LocalCrate) -> Vec<NativeLib> {
192    let mut collector = Collector { tcx, libs: Vec::new() };
193    if tcx.sess.opts.unstable_opts.link_directives {
194        for module in tcx.foreign_modules(LOCAL_CRATE).values() {
195            collector.process_module(module);
196        }
197    }
198    collector.process_command_line();
199    collector.libs
200}
201
202pub(crate) fn relevant_lib(sess: &Session, lib: &NativeLib) -> bool {
203    match lib.cfg {
204        Some(ref cfg) => eval_config_entry(sess, cfg).as_bool(),
205        None => true,
206    }
207}
208
209struct Collector<'tcx> {
210    tcx: TyCtxt<'tcx>,
211    libs: Vec<NativeLib>,
212}
213
214impl<'tcx> Collector<'tcx> {
215    fn process_module(&mut self, module: &ForeignModule) {
216        let ForeignModule { def_id, abi, ref foreign_items } = *module;
217        let def_id = def_id.expect_local();
218
219        let sess = self.tcx.sess;
220
221        if #[allow(non_exhaustive_omitted_patterns)] match abi {
    ExternAbi::Rust => true,
    _ => false,
}matches!(abi, ExternAbi::Rust) {
222            return;
223        }
224
225        for attr in
226            {
    {
        'done:
            {
            for i in
                ::rustc_hir::attrs::HasAttrs::get_attrs(def_id, &self.tcx) {
                #[allow(unused_imports)]
                use rustc_hir::attrs::AttributeKind::*;
                let i: &rustc_hir::Attribute = i;
                match i {
                    rustc_hir::Attribute::Parsed(Link(links, _)) => {
                        break 'done Some(links);
                    }
                    rustc_hir::Attribute::Unparsed(..) =>
                        {}
                        #[deny(unreachable_patterns)]
                        _ => {}
                }
            }
            None
        }
    }
}find_attr!(self.tcx, def_id, Link(links, _) => links).iter().map(|v| v.iter()).flatten()
227        {
228            let dll_imports = match attr.kind {
229                NativeLibKind::RawDylib { .. } => foreign_items
230                    .iter()
231                    .filter_map(|&child_item| {
232                        self.build_dll_import(
233                            abi,
234                            attr.import_name_type.map(|(import_name_type, _)| import_name_type),
235                            child_item,
236                        )
237                    })
238                    .collect(),
239                _ => {
240                    for &child_item in foreign_items {
241                        if let Some(span) =
242                            {
    {
        'done:
            {
            for i in
                ::rustc_hir::attrs::HasAttrs::get_attrs(child_item, &self.tcx)
                {
                #[allow(unused_imports)]
                use rustc_hir::attrs::AttributeKind::*;
                let i: &rustc_hir::Attribute = i;
                match i {
                    rustc_hir::Attribute::Parsed(LinkOrdinal { span, .. }) => {
                        break 'done Some(*span);
                    }
                    rustc_hir::Attribute::Unparsed(..) =>
                        {}
                        #[deny(unreachable_patterns)]
                        _ => {}
                }
            }
            None
        }
    }
}find_attr!(self.tcx, child_item, LinkOrdinal {span, ..} => *span)
243                        {
244                            sess.dcx().emit_err(errors::LinkOrdinalRawDylib { span });
245                        }
246                    }
247
248                    Vec::new()
249                }
250            };
251
252            let filename = find_bundled_library(
253                attr.name,
254                attr.verbatim,
255                attr.kind,
256                attr.cfg.is_some(),
257                self.tcx,
258            );
259            self.libs.push(NativeLib {
260                name: attr.name,
261                filename,
262                kind: attr.kind,
263                cfg: attr.cfg.clone(),
264                foreign_module: Some(def_id.to_def_id()),
265                verbatim: attr.verbatim,
266                dll_imports,
267            });
268        }
269    }
270
271    // Process libs passed on the command line
272    fn process_command_line(&mut self) {
273        // First, check for errors
274        let mut renames = FxHashSet::default();
275        for lib in &self.tcx.sess.opts.libs {
276            if let NativeLibKind::Framework { .. } = lib.kind
277                && !self.tcx.sess.target.is_like_darwin
278            {
279                // Cannot check this when parsing options because the target is not yet available.
280                self.tcx.dcx().emit_err(errors::LibFrameworkApple);
281            }
282            if let Some(ref new_name) = lib.new_name {
283                let any_duplicate = self.libs.iter().any(|n| n.name.as_str() == lib.name);
284                if new_name.is_empty() {
285                    self.tcx.dcx().emit_err(errors::EmptyRenamingTarget { lib_name: &lib.name });
286                } else if !any_duplicate {
287                    self.tcx.dcx().emit_err(errors::RenamingNoLink { lib_name: &lib.name });
288                } else if !renames.insert(&lib.name) {
289                    self.tcx.dcx().emit_err(errors::MultipleRenamings { lib_name: &lib.name });
290                }
291            }
292        }
293
294        // Update kind and, optionally, the name of all native libraries
295        // (there may be more than one) with the specified name. If any
296        // library is mentioned more than once, keep the latest mention
297        // of it, so that any possible dependent libraries appear before
298        // it. (This ensures that the linker is able to see symbols from
299        // all possible dependent libraries before linking in the library
300        // in question.)
301        for passed_lib in &self.tcx.sess.opts.libs {
302            // If we've already added any native libraries with the same
303            // name, they will be pulled out into `existing`, so that we
304            // can move them to the end of the list below.
305            let mut existing = self
306                .libs
307                .extract_if(.., |lib| {
308                    if lib.name.as_str() == passed_lib.name {
309                        // FIXME: This whole logic is questionable, whether modifiers are
310                        // involved or not, library reordering and kind overriding without
311                        // explicit `:rename` in particular.
312                        if lib.has_modifiers() || passed_lib.has_modifiers() {
313                            match lib.foreign_module {
314                                Some(def_id) => {
315                                    self.tcx.dcx().emit_err(errors::NoLinkModOverride {
316                                        span: Some(self.tcx.def_span(def_id)),
317                                    })
318                                }
319                                None => self
320                                    .tcx
321                                    .dcx()
322                                    .emit_err(errors::NoLinkModOverride { span: None }),
323                            };
324                        }
325                        if passed_lib.kind != NativeLibKind::Unspecified {
326                            lib.kind = passed_lib.kind;
327                        }
328                        if let Some(new_name) = &passed_lib.new_name {
329                            lib.name = Symbol::intern(new_name);
330                        }
331                        lib.verbatim = passed_lib.verbatim;
332                        return true;
333                    }
334                    false
335                })
336                .collect::<Vec<_>>();
337            if existing.is_empty() {
338                // Add if not found
339                let new_name: Option<&str> = passed_lib.new_name.as_deref();
340                let name = Symbol::intern(new_name.unwrap_or(&passed_lib.name));
341                let filename = find_bundled_library(
342                    name,
343                    passed_lib.verbatim,
344                    passed_lib.kind,
345                    false,
346                    self.tcx,
347                );
348                self.libs.push(NativeLib {
349                    name,
350                    filename,
351                    kind: passed_lib.kind,
352                    cfg: None,
353                    foreign_module: None,
354                    verbatim: passed_lib.verbatim,
355                    dll_imports: Vec::new(),
356                });
357            } else {
358                // Move all existing libraries with the same name to the
359                // end of the command line.
360                self.libs.append(&mut existing);
361            }
362        }
363    }
364
365    fn i686_arg_list_size(&self, item: DefId) -> usize {
366        let argument_types: &List<Ty<'_>> = self.tcx.instantiate_bound_regions_with_erased(
367            self.tcx
368                .type_of(item)
369                .instantiate_identity()
370                .skip_norm_wip()
371                .fn_sig(self.tcx)
372                .inputs()
373                .map_bound(|slice| self.tcx.mk_type_list(slice)),
374        );
375
376        argument_types
377            .iter()
378            .map(|ty| {
379                let layout = self
380                    .tcx
381                    .layout_of(ty::TypingEnv::fully_monomorphized().as_query_input(ty))
382                    .expect("layout")
383                    .layout;
384                // In both stdcall and fastcall, we always round up the argument size to the
385                // nearest multiple of 4 bytes.
386                (layout.size().bytes_usize() + 3) & !3
387            })
388            .sum()
389    }
390
391    fn build_dll_import(
392        &self,
393        abi: ExternAbi,
394        import_name_type: Option<PeImportNameType>,
395        item: DefId,
396    ) -> Option<DllImport> {
397        let span = self.tcx.def_span(item);
398
399        // This `extern` block should have been checked for general ABI support before, but let's
400        // double-check that.
401        if !self.tcx.sess.target.is_abi_supported(abi) {
    ::core::panicking::panic("assertion failed: self.tcx.sess.target.is_abi_supported(abi)")
};assert!(self.tcx.sess.target.is_abi_supported(abi));
402
403        // This logic is similar to `AbiMap::canonize_abi` (in rustc_target/src/spec/abi_map.rs) but
404        // we need more detail than those adjustments, and we can't support all ABIs that are
405        // generally supported.
406        let calling_convention = if self.tcx.sess.target.arch == Arch::X86 {
407            match abi {
408                ExternAbi::C { .. } | ExternAbi::Cdecl { .. } => DllCallingConvention::C,
409                ExternAbi::Stdcall { .. } => {
410                    DllCallingConvention::Stdcall(self.i686_arg_list_size(item))
411                }
412                // On Windows, `extern "system"` behaves like msvc's `__stdcall`.
413                // `__stdcall` only applies on x86 and on non-variadic functions:
414                // https://learn.microsoft.com/en-us/cpp/cpp/stdcall?view=msvc-170
415                ExternAbi::System { .. } => {
416                    let c_variadic = self
417                        .tcx
418                        .type_of(item)
419                        .instantiate_identity()
420                        .skip_norm_wip()
421                        .fn_sig(self.tcx)
422                        .c_variadic();
423
424                    if c_variadic {
425                        DllCallingConvention::C
426                    } else {
427                        DllCallingConvention::Stdcall(self.i686_arg_list_size(item))
428                    }
429                }
430                ExternAbi::Fastcall { .. } => {
431                    DllCallingConvention::Fastcall(self.i686_arg_list_size(item))
432                }
433                ExternAbi::Vectorcall { .. } => {
434                    DllCallingConvention::Vectorcall(self.i686_arg_list_size(item))
435                }
436                _ => {
437                    self.tcx.dcx().emit_fatal(errors::RawDylibUnsupportedAbi { span });
438                }
439            }
440        } else {
441            match abi {
442                ExternAbi::C { .. } | ExternAbi::Win64 { .. } | ExternAbi::System { .. } => {
443                    DllCallingConvention::C
444                }
445                _ => {
446                    self.tcx.dcx().emit_fatal(errors::RawDylibUnsupportedAbi { span });
447                }
448            }
449        };
450
451        let codegen_fn_attrs = self.tcx.codegen_fn_attrs(item);
452        let import_name_type = codegen_fn_attrs
453            .link_ordinal
454            .map_or(import_name_type, |ord| Some(PeImportNameType::Ordinal(ord)));
455
456        let name = codegen_fn_attrs.symbol_name.unwrap_or_else(|| self.tcx.item_name(item));
457
458        if self.tcx.sess.target.binary_format == BinaryFormat::Elf {
459            let name = name.as_str();
460            if name.contains('\0') {
461                self.tcx.dcx().emit_err(errors::RawDylibMalformed { span });
462            } else if let Some((left, right)) = name.split_once('@')
463                && (left.is_empty() || right.is_empty() || right.contains('@'))
464            {
465                self.tcx.dcx().emit_err(errors::RawDylibMalformed { span });
466            }
467        }
468
469        let def_kind = self.tcx.def_kind(item);
470        let symbol_type = if def_kind.is_fn_like() {
471            DllImportSymbolType::Function
472        } else if #[allow(non_exhaustive_omitted_patterns)] match def_kind {
    DefKind::Static { .. } => true,
    _ => false,
}matches!(def_kind, DefKind::Static { .. }) {
473            if codegen_fn_attrs.flags.contains(CodegenFnAttrFlags::THREAD_LOCAL) {
474                DllImportSymbolType::ThreadLocal
475            } else {
476                DllImportSymbolType::Static
477            }
478        } else if def_kind == DefKind::ForeignTy {
479            return None;
480        } else {
481            ::rustc_middle::util::bug::bug_fmt(format_args!("Unexpected type for raw-dylib: {0}",
        def_kind.descr(item)));bug!("Unexpected type for raw-dylib: {}", def_kind.descr(item));
482        };
483
484        let size = match symbol_type {
485            // We cannot determine the size of a function at compile time, but it shouldn't matter anyway.
486            DllImportSymbolType::Function => rustc_abi::Size::ZERO,
487            DllImportSymbolType::Static | DllImportSymbolType::ThreadLocal => {
488                let ty = self.tcx.type_of(item).instantiate_identity().skip_norm_wip();
489                self.tcx
490                    .layout_of(ty::TypingEnv::fully_monomorphized().as_query_input(ty))
491                    .ok()
492                    .map(|layout| layout.size)
493                    .unwrap_or_else(|| ::rustc_middle::util::bug::bug_fmt(format_args!("Non-function symbols must have a size"))bug!("Non-function symbols must have a size"))
494            }
495        };
496
497        Some(DllImport { name, import_name_type, calling_convention, span, symbol_type, size })
498    }
499}