Skip to content

Commit 55facbb

Browse files
committed
Inject compiler_builtins during postprocessing rather than via AST
`compiler_builtins` is currently injected as `extern crate compiler_builtins as _`. This has made gating via diagnostics difficult because it appears in the crate graph as a non-private dependency, and there isn't an easy way to differentiate between the injected AST and user-specified `extern crate compiler_builtins`. Resolve this by injecting `compiler_builtins` during postprocessing rather than early in the AST. Most of the time this isn't even needed because it shows up in `std` or `core`'s crate graph, but injection is still needed to ensure `#![no_core]` works correctly. A similar change was attempted at [1] but this encountered errors building `proc_macro` and `rustc-std-workspace-std`. Similar failures showed up while working on this patch, which were traced back to `compiler_builtins` showing up in the graph twice (once via dependency and once via injection). This is resolved by not injecting if a `#![compiler_builtins]` crate already exists. [1]: rust-lang#113634
1 parent 89dd4ec commit 55facbb

9 files changed

+73
-39
lines changed

compiler/rustc_builtin_macros/src/standard_library_imports.rs

+13-36
Original file line numberDiff line numberDiff line change
@@ -19,16 +19,12 @@ pub fn inject(
1919
let edition = sess.psess.edition;
2020

2121
// the first name in this list is the crate name of the crate with the prelude
22-
let names: &[Symbol] = if attr::contains_name(pre_configured_attrs, sym::no_core) {
22+
let name: Symbol = if attr::contains_name(pre_configured_attrs, sym::no_core) {
2323
return 0;
2424
} else if attr::contains_name(pre_configured_attrs, sym::no_std) {
25-
if attr::contains_name(pre_configured_attrs, sym::compiler_builtins) {
26-
&[sym::core]
27-
} else {
28-
&[sym::core, sym::compiler_builtins]
29-
}
25+
sym::core
3026
} else {
31-
&[sym::std]
27+
sym::std
3228
};
3329

3430
let expn_id = resolver.expansion_for_ast_pass(
@@ -43,36 +39,16 @@ pub fn inject(
4339
let ecfg = ExpansionConfig::default("std_lib_injection".to_string(), features);
4440
let cx = ExtCtxt::new(sess, ecfg, resolver, None);
4541

46-
// .rev() to preserve ordering above in combination with insert(0, ...)
47-
for &name in names.iter().rev() {
48-
let ident_span = if edition >= Edition2018 { span } else { call_site };
49-
let item = if name == sym::compiler_builtins {
50-
// compiler_builtins is a private implementation detail. We only
51-
// need to insert it into the crate graph for linking and should not
52-
// expose any of its public API.
53-
//
54-
// FIXME(#113634) We should inject this during post-processing like
55-
// we do for the panic runtime, profiler runtime, etc.
56-
cx.item(
57-
span,
58-
Ident::new(kw::Underscore, ident_span),
59-
thin_vec![],
60-
ast::ItemKind::ExternCrate(Some(name)),
61-
)
62-
} else {
63-
cx.item(
64-
span,
65-
Ident::new(name, ident_span),
66-
thin_vec![cx.attr_word(sym::macro_use, span)],
67-
ast::ItemKind::ExternCrate(None),
68-
)
69-
};
70-
krate.items.insert(0, item);
71-
}
42+
let ident_span = if edition >= Edition2018 { span } else { call_site };
7243

73-
// The crates have been injected, the assumption is that the first one is
74-
// the one with the prelude.
75-
let name = names[0];
44+
let item = cx.item(
45+
span,
46+
Ident::new(name, ident_span),
47+
thin_vec![cx.attr_word(sym::macro_use, span)],
48+
ast::ItemKind::ExternCrate(None),
49+
);
50+
51+
krate.items.insert(0, item);
7652

7753
let root = (edition == Edition2015).then_some(kw::PathRoot);
7854

@@ -88,6 +64,7 @@ pub fn inject(
8864
.map(|&symbol| Ident::new(symbol, span))
8965
.collect();
9066

67+
// Inject the relevant crate's prelude.
9168
let use_item = cx.item(
9269
span,
9370
Ident::empty(),

compiler/rustc_metadata/messages.ftl

+3
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,9 @@ metadata_crate_dep_rustc_driver =
4747
metadata_crate_location_unknown_type =
4848
extern location for {$crate_name} is of an unknown type: {$path}
4949
50+
metadata_crate_not_compiler_builtins =
51+
the crate `{$crate_name}` resolved as `compiler_builtins` but is not `#![compiler_builtins]`
52+
5053
metadata_crate_not_panic_runtime =
5154
the crate `{$crate_name}` is not a panic runtime
5255

compiler/rustc_metadata/src/creader.rs

+38
Original file line numberDiff line numberDiff line change
@@ -1032,6 +1032,43 @@ impl<'a, 'tcx> CrateLoader<'a, 'tcx> {
10321032
}
10331033
}
10341034

1035+
/// Inject the `compiler_builtins` crate if it is not already in the graph.
1036+
fn inject_compiler_builtins(&mut self, krate: &ast::Crate) {
1037+
// `compiler_builtins` does not get extern builtins, nor do `#![no_core]` crates
1038+
if attr::contains_name(&krate.attrs, sym::compiler_builtins)
1039+
|| attr::contains_name(&krate.attrs, sym::no_core)
1040+
{
1041+
info!("`compiler_builtins` unneeded");
1042+
return;
1043+
}
1044+
1045+
// If a `#![compiler_builtins]` crate already exists, avoid injecting it twice. This is
1046+
// the common case since usually it appears as a dependency of `std` or `core`.
1047+
for (cnum, cmeta) in self.cstore.iter_crate_data() {
1048+
if cmeta.is_compiler_builtins() {
1049+
info!("`compiler_builtins` already exists (cnum = {cnum}); skipping injection");
1050+
return;
1051+
}
1052+
}
1053+
1054+
// Allow builtins to remain unresolved, which will just mean linker errors if the
1055+
// relevant symbols aren't otherwise provided.
1056+
let Ok(cnum) = self.maybe_resolve_crate(
1057+
sym::compiler_builtins,
1058+
CrateDepKind::Implicit,
1059+
CrateOrigin::Injected,
1060+
) else {
1061+
info!("`compiler_builtins` not resolved");
1062+
return;
1063+
};
1064+
1065+
// Sanity check that the loaded crate is `#![compiler_builtins]`
1066+
let cmeta = self.cstore.get_crate_data(cnum);
1067+
if !cmeta.is_compiler_builtins() {
1068+
self.dcx().emit_err(errors::CrateNotCompilerBuiltins { crate_name: cmeta.name() });
1069+
}
1070+
}
1071+
10351072
fn inject_dependency_if(
10361073
&mut self,
10371074
krate: CrateNum,
@@ -1141,6 +1178,7 @@ impl<'a, 'tcx> CrateLoader<'a, 'tcx> {
11411178
}
11421179

11431180
pub fn postprocess(&mut self, krate: &ast::Crate) {
1181+
self.inject_compiler_builtins(krate);
11441182
self.inject_forced_externs();
11451183
self.inject_profiler_runtime();
11461184
self.inject_allocator_crate(krate);

compiler/rustc_metadata/src/errors.rs

+6
Original file line numberDiff line numberDiff line change
@@ -332,6 +332,12 @@ pub struct CrateNotPanicRuntime {
332332
pub crate_name: Symbol,
333333
}
334334

335+
#[derive(Diagnostic)]
336+
#[diag(metadata_crate_not_compiler_builtins)]
337+
pub struct CrateNotCompilerBuiltins {
338+
pub crate_name: Symbol,
339+
}
340+
335341
#[derive(Diagnostic)]
336342
#[diag(metadata_no_panic_strategy)]
337343
pub struct NoPanicStrategy {

compiler/rustc_metadata/src/rmeta/decoder.rs

+4
Original file line numberDiff line numberDiff line change
@@ -1932,6 +1932,10 @@ impl CrateMetadata {
19321932
self.root.profiler_runtime
19331933
}
19341934

1935+
pub(crate) fn is_compiler_builtins(&self) -> bool {
1936+
self.root.compiler_builtins
1937+
}
1938+
19351939
pub(crate) fn needs_allocator(&self) -> bool {
19361940
self.root.needs_allocator
19371941
}

tests/ui/proc-macro/issue-59191-replace-root-with-fn.rs

+1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33

44
//@ edition:2018
55
//@ proc-macro: issue-59191.rs
6+
//@ needs-unwind (affects error output)
67
//@ error-pattern: requires `sized` lang_item
78

89
#![feature(custom_inner_attributes)]
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,11 @@
1+
error: `#[panic_handler]` function required, but not found
2+
3+
error: unwinding panics are not supported without std
4+
|
5+
= help: using nightly cargo, use -Zbuild-std with panic="abort" to avoid unwinding
6+
= note: since the core library is usually precompiled with panic="unwind", rebuilding your crate with panic="abort" may not be enough to fix the problem
7+
18
error: requires `sized` lang_item
29

3-
error: aborting due to 1 previous error
10+
error: aborting due to 3 previous errors
411

tests/ui/proc-macro/meta-macro-hygiene.stdout

-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,6 @@ Respanned: TokenStream [Ident { ident: "$crate", span: $DIR/auxiliary/make-macro
2020
use core /* 0#1 */::prelude /* 0#1 */::rust_2018 /* 0#1 */::*;
2121
#[macro_use /* 0#1 */]
2222
extern crate core /* 0#1 */;
23-
extern crate compiler_builtins /* NNN */ as _ /* 0#1 */;
2423
// Don't load unnecessary hygiene information from std
2524
extern crate std /* 0#0 */;
2625

tests/ui/proc-macro/nonterminal-token-hygiene.stdout

-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,6 @@ PRINT-BANG INPUT (DEBUG): TokenStream [
3939
use ::core /* 0#1 */::prelude /* 0#1 */::rust_2015 /* 0#1 */::*;
4040
#[macro_use /* 0#1 */]
4141
extern crate core /* 0#2 */;
42-
extern crate compiler_builtins /* NNN */ as _ /* 0#2 */;
4342
// Don't load unnecessary hygiene information from std
4443
extern crate std /* 0#0 */;
4544

0 commit comments

Comments
 (0)