]> git.proxmox.com Git - rustc.git/blame - compiler/rustc_interface/src/callbacks.rs
New upstream version 1.63.0+dfsg1
[rustc.git] / compiler / rustc_interface / src / callbacks.rs
CommitLineData
dfeec247
XL
1//! Throughout the compiler tree, there are several places which want to have
2//! access to state or queries while being inside crates that are dependencies
cdc7bbd5 3//! of `rustc_middle`. To facilitate this, we have the
dfeec247
XL
4//! `rustc_data_structures::AtomicRef` type, which allows us to setup a global
5//! static which can then be set in this file at program startup.
6//!
5099ac24 7//! See `SPAN_TRACK` for an example of how to set things up.
dfeec247
XL
8//!
9//! The functions in this file should fall back to the default set in their
10//! origin crate when the `TyCtxt` is not present in TLS.
11
dfeec247 12use rustc_errors::{Diagnostic, TRACK_DIAGNOSTICS};
ba9703b0 13use rustc_middle::ty::tls;
dfeec247
XL
14use std::fmt;
15
c295e0f8
XL
16fn track_span_parent(def_id: rustc_span::def_id::LocalDefId) {
17 tls::with_opt(|tcx| {
18 if let Some(tcx) = tcx {
19 let _span = tcx.source_span(def_id);
20 // Sanity check: relative span's parent must be an absolute span.
21 debug_assert_eq!(_span.data_untracked().parent, None);
22 }
23 })
24}
25
cdc7bbd5 26/// This is a callback from `rustc_ast` as it cannot access the implicit state
923072b8 27/// in `rustc_middle` otherwise. It is used when diagnostic messages are
dfeec247
XL
28/// emitted and stores them in the current query, if there is one.
29fn track_diagnostic(diagnostic: &Diagnostic) {
30 tls::with_context_opt(|icx| {
31 if let Some(icx) = icx {
c295e0f8 32 if let Some(diagnostics) = icx.diagnostics {
dfeec247
XL
33 let mut diagnostics = diagnostics.lock();
34 diagnostics.extend(Some(diagnostic.clone()));
35 }
36 }
37 })
38}
39
cdc7bbd5
XL
40/// This is a callback from `rustc_hir` as it cannot access the implicit state
41/// in `rustc_middle` otherwise.
dfeec247
XL
42fn def_id_debug(def_id: rustc_hir::def_id::DefId, f: &mut fmt::Formatter<'_>) -> fmt::Result {
43 write!(f, "DefId({}:{}", def_id.krate, def_id.index.index())?;
44 tls::with_opt(|opt_tcx| {
45 if let Some(tcx) = opt_tcx {
46 write!(f, " ~ {}", tcx.def_path_debug_str(def_id))?;
47 }
48 Ok(())
49 })?;
50 write!(f, ")")
51}
52
53/// Sets up the callbacks in prior crates which we want to refer to the
54/// TyCtxt in.
55pub fn setup_callbacks() {
c295e0f8 56 rustc_span::SPAN_TRACK.swap(&(track_span_parent as fn(_)));
dfeec247
XL
57 rustc_hir::def_id::DEF_ID_DEBUG.swap(&(def_id_debug as fn(_, &mut fmt::Formatter<'_>) -> _));
58 TRACK_DIAGNOSTICS.swap(&(track_diagnostic as fn(&_)));
59}