nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-06-04 19:29:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Optimize delayed_bug handling.

Browse Source 
Once we have emitted at least one error, delayed bugs won't be used. So
we can (a) we can (a) discard any existing delayed bugs, and (b) stop
recording any new delayed bugs.

This eliminates a longstanding `FIXME` comment. There should be no
soundness issues because it's not possible to un-emit an error.
This commit is contained in:
Nicholas Nethercote 2024-02-13 12:19:24 +11:00
parent a84bb95a1f
commit 71f2e3a095
1 changed files with 27 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
compiler/rustc_errors/src/lib.rs
View File

@ -1275,6 +1275,9 @@ impl DiagCtxtInner {
self.future_breakage_diagnostics.push(diagnostic.clone()); self.future_breakage_diagnostics.push(diagnostic.clone());
} }
// Note that because this comes before the `match` below,
// `-Zeagerly-emit-delayed-bugs` continues to work even after we've
// issued an error and stopped recording new delayed bugs.
if diagnostic.level == DelayedBug && self.flags.eagerly_emit_delayed_bugs { if diagnostic.level == DelayedBug && self.flags.eagerly_emit_delayed_bugs {
diagnostic.level = Error; diagnostic.level = Error;
} }
@ -1286,18 +1289,20 @@ impl DiagCtxtInner {
diagnostic.level = Bug; diagnostic.level = Bug;
} }
DelayedBug => { DelayedBug => {
// FIXME(eddyb) this should check for `has_errors` and stop pushing // If we have already emitted at least one error, we don't need
// once *any* errors were emitted (and truncate `delayed_bugs` // to record the delayed bug, because it'll never be used.
// when an error is first emitted, also), but maybe there's a case return if let Some(guar) = self.has_errors_or_lint_errors() {
// in which that's not sound? otherwise this is really inefficient. Some(guar)
let backtrace = std::backtrace::Backtrace::capture(); } else {
// This `unchecked_error_guaranteed` is valid. It is where the let backtrace = std::backtrace::Backtrace::capture();
// `ErrorGuaranteed` for delayed bugs originates. // This `unchecked_error_guaranteed` is valid. It is where the
#[allow(deprecated)] // `ErrorGuaranteed` for delayed bugs originates.
let guar = ErrorGuaranteed::unchecked_error_guaranteed(); #[allow(deprecated)]
self.delayed_bugs let guar = ErrorGuaranteed::unchecked_error_guaranteed();
.push((DelayedDiagnostic::with_backtrace(diagnostic, backtrace), guar)); self.delayed_bugs
return Some(guar); .push((DelayedDiagnostic::with_backtrace(diagnostic, backtrace), guar));
Some(guar)
};
} }
Warning if !self.flags.can_emit_warnings => { Warning if !self.flags.can_emit_warnings => {
if diagnostic.has_future_breakage() { if diagnostic.has_future_breakage() {
@ -1363,6 +1368,16 @@ impl DiagCtxtInner {
} }
if is_error { if is_error {
// If we have any delayed bugs recorded, we can discard them
// because they won't be used. (This should only occur if there
// have been no errors previously emitted, because we don't add
// new delayed bugs once the first error is emitted.)
if !self.delayed_bugs.is_empty() {
assert_eq!(self.lint_err_guars.len() + self.err_guars.len(), 0);
self.delayed_bugs.clear();
self.delayed_bugs.shrink_to_fit();
}
// This `unchecked_error_guaranteed` is valid. It is where the // This `unchecked_error_guaranteed` is valid. It is where the
// `ErrorGuaranteed` for errors and lint errors originates. // `ErrorGuaranteed` for errors and lint errors originates.
#[allow(deprecated)] #[allow(deprecated)]