2022-05-05 00:17:57 +00:00
|
|
|
//! Detecting usage of the `#[debugger_visualizer]` attribute.
|
2022-04-26 01:02:43 +00:00
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
use rustc_ast::Attribute;
|
2023-04-28 10:41:48 +00:00
|
|
|
use rustc_data_structures::sync::Lrc;
|
2022-04-26 01:02:43 +00:00
|
|
|
use rustc_expand::base::resolve_path;
|
2023-05-16 16:50:05 +00:00
|
|
|
use rustc_middle::{
|
2023-05-16 19:03:28 +00:00
|
|
|
middle::debugger_visualizer::{DebuggerVisualizerFile, DebuggerVisualizerType},
|
2023-05-16 16:50:05 +00:00
|
|
|
query::{LocalCrate, Providers},
|
|
|
|
ty::TyCtxt,
|
|
|
|
};
|
2023-05-16 11:37:46 +00:00
|
|
|
use rustc_session::Session;
|
2023-05-16 19:03:28 +00:00
|
|
|
use rustc_span::sym;
|
2022-04-26 01:02:43 +00:00
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
use crate::errors::{DebugVisualizerInvalid, DebugVisualizerUnreadable};
|
2022-09-22 04:55:29 +00:00
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
impl DebuggerVisualizerCollector<'_> {
|
|
|
|
fn check_for_debugger_visualizer(&mut self, attr: &Attribute) {
|
2022-05-07 19:03:04 +00:00
|
|
|
if attr.has_name(sym::debugger_visualizer) {
|
2023-05-16 11:37:46 +00:00
|
|
|
let Some(hints) = attr.meta_item_list() else {
|
2023-12-18 11:21:37 +00:00
|
|
|
self.sess.dcx().emit_err(DebugVisualizerInvalid { span: attr.span });
|
2023-05-16 11:37:46 +00:00
|
|
|
return;
|
2022-05-07 19:03:04 +00:00
|
|
|
};
|
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
let hint = if hints.len() == 1 {
|
|
|
|
&hints[0]
|
|
|
|
} else {
|
2023-12-18 11:21:37 +00:00
|
|
|
self.sess.dcx().emit_err(DebugVisualizerInvalid { span: attr.span });
|
2023-05-16 11:37:46 +00:00
|
|
|
return;
|
2022-05-07 19:03:04 +00:00
|
|
|
};
|
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
let Some(meta_item) = hint.meta_item() else {
|
2023-12-18 11:21:37 +00:00
|
|
|
self.sess.dcx().emit_err(DebugVisualizerInvalid { span: attr.span });
|
2023-05-16 11:37:46 +00:00
|
|
|
return;
|
2022-05-24 18:14:48 +00:00
|
|
|
};
|
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
let (visualizer_type, visualizer_path) =
|
|
|
|
match (meta_item.name_or_empty(), meta_item.value_str()) {
|
|
|
|
(sym::natvis_file, Some(value)) => (DebuggerVisualizerType::Natvis, value),
|
|
|
|
(sym::gdb_script_file, Some(value)) => {
|
|
|
|
(DebuggerVisualizerType::GdbPrettyPrinter, value)
|
2022-04-26 01:02:43 +00:00
|
|
|
}
|
2023-05-16 11:37:46 +00:00
|
|
|
(_, _) => {
|
2023-12-18 11:21:37 +00:00
|
|
|
self.sess.dcx().emit_err(DebugVisualizerInvalid { span: meta_item.span });
|
2023-05-16 11:37:46 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
let file =
|
|
|
|
match resolve_path(&self.sess.parse_sess, visualizer_path.as_str(), attr.span) {
|
|
|
|
Ok(file) => file,
|
Make `DiagnosticBuilder::emit` consuming.
This works for most of its call sites. This is nice, because `emit` very
much makes sense as a consuming operation -- indeed,
`DiagnosticBuilderState` exists to ensure no diagnostic is emitted
twice, but it uses runtime checks.
For the small number of call sites where a consuming emit doesn't work,
the commit adds `DiagnosticBuilder::emit_without_consuming`. (This will
be removed in subsequent commits.)
Likewise, `emit_unless` becomes consuming. And `delay_as_bug` becomes
consuming, while `delay_as_bug_without_consuming` is added (which will
also be removed in subsequent commits.)
All this requires significant changes to `DiagnosticBuilder`'s chaining
methods. Currently `DiagnosticBuilder` method chaining uses a
non-consuming `&mut self -> &mut Self` style, which allows chaining to
be used when the chain ends in `emit()`, like so:
```
struct_err(msg).span(span).emit();
```
But it doesn't work when producing a `DiagnosticBuilder` value,
requiring this:
```
let mut err = self.struct_err(msg);
err.span(span);
err
```
This style of chaining won't work with consuming `emit` though. For
that, we need to use to a `self -> Self` style. That also would allow
`DiagnosticBuilder` production to be chained, e.g.:
```
self.struct_err(msg).span(span)
```
However, removing the `&mut self -> &mut Self` style would require that
individual modifications of a `DiagnosticBuilder` go from this:
```
err.span(span);
```
to this:
```
err = err.span(span);
```
There are *many* such places. I have a high tolerance for tedious
refactorings, but even I gave up after a long time trying to convert
them all.
Instead, this commit has it both ways: the existing `&mut self -> Self`
chaining methods are kept, and new `self -> Self` chaining methods are
added, all of which have a `_mv` suffix (short for "move"). Changes to
the existing `forward!` macro lets this happen with very little
additional boilerplate code. I chose to add the suffix to the new
chaining methods rather than the existing ones, because the number of
changes required is much smaller that way.
This doubled chainging is a bit clumsy, but I think it is worthwhile
because it allows a *lot* of good things to subsequently happen. In this
commit, there are many `mut` qualifiers removed in places where
diagnostics are emitted without being modified. In subsequent commits:
- chaining can be used more, making the code more concise;
- more use of chaining also permits the removal of redundant diagnostic
APIs like `struct_err_with_code`, which can be replaced easily with
`struct_err` + `code_mv`;
- `emit_without_diagnostic` can be removed, which simplifies a lot of
machinery, removing the need for `DiagnosticBuilderState`.
2024-01-03 01:17:35 +00:00
|
|
|
Err(err) => {
|
2023-05-16 11:37:46 +00:00
|
|
|
err.emit();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
};
|
2022-05-07 19:03:04 +00:00
|
|
|
|
2022-05-24 18:14:48 +00:00
|
|
|
match std::fs::read(&file) {
|
|
|
|
Ok(contents) => {
|
2023-05-16 11:37:46 +00:00
|
|
|
self.visualizers.push(DebuggerVisualizerFile::new(
|
|
|
|
Lrc::from(contents),
|
|
|
|
visualizer_type,
|
|
|
|
file,
|
|
|
|
));
|
2022-05-24 18:14:48 +00:00
|
|
|
}
|
2022-09-22 04:55:29 +00:00
|
|
|
Err(error) => {
|
2023-12-18 11:21:37 +00:00
|
|
|
self.sess.dcx().emit_err(DebugVisualizerUnreadable {
|
2022-09-22 04:55:29 +00:00
|
|
|
span: meta_item.span,
|
|
|
|
file: &file,
|
|
|
|
error,
|
|
|
|
});
|
2022-05-25 17:44:56 +00:00
|
|
|
}
|
2022-04-26 01:02:43 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
struct DebuggerVisualizerCollector<'a> {
|
|
|
|
sess: &'a Session,
|
|
|
|
visualizers: Vec<DebuggerVisualizerFile>,
|
|
|
|
}
|
2022-04-26 01:02:43 +00:00
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
impl<'ast> rustc_ast::visit::Visitor<'ast> for DebuggerVisualizerCollector<'_> {
|
|
|
|
fn visit_attribute(&mut self, attr: &'ast Attribute) {
|
|
|
|
self.check_for_debugger_visualizer(attr);
|
|
|
|
rustc_ast::visit::walk_attribute(self, attr);
|
|
|
|
}
|
|
|
|
}
|
2022-04-26 01:02:43 +00:00
|
|
|
|
2023-05-16 11:37:46 +00:00
|
|
|
/// Traverses and collects the debugger visualizers for a specific crate.
|
2023-05-16 16:50:05 +00:00
|
|
|
fn debugger_visualizers(tcx: TyCtxt<'_>, _: LocalCrate) -> Vec<DebuggerVisualizerFile> {
|
|
|
|
let resolver_and_krate = tcx.resolver_for_lowering(()).borrow();
|
|
|
|
let krate = &*resolver_and_krate.1;
|
|
|
|
|
|
|
|
let mut visitor = DebuggerVisualizerCollector { sess: tcx.sess, visualizers: Vec::new() };
|
2023-05-16 11:37:46 +00:00
|
|
|
rustc_ast::visit::Visitor::visit_crate(&mut visitor, krate);
|
2022-04-26 01:02:43 +00:00
|
|
|
|
2023-05-17 14:02:22 +00:00
|
|
|
// We are collecting visualizers in AST-order, which is deterministic,
|
|
|
|
// so we don't need to do any explicit sorting in order to get a
|
|
|
|
// deterministic query result
|
2023-05-16 11:37:46 +00:00
|
|
|
visitor.visualizers
|
2022-04-26 01:02:43 +00:00
|
|
|
}
|
2023-05-16 16:50:05 +00:00
|
|
|
|
|
|
|
pub fn provide(providers: &mut Providers) {
|
|
|
|
providers.debugger_visualizers = debugger_visualizers;
|
|
|
|
}
|