1
Fork 0

Auto merge of #69442 - jakevossen5:master, r=Mark-Simulacrum

`--explain` disambiguates no long description and invalid error codes

Closes #44710

First code contribution here, so feedback is very much appreciated!

cc @zackmdavis
cc @Mark-Simulacrum
This commit is contained in:
bors 2020-03-02 03:16:22 +00:00
commit e86c9e6ef8
5 changed files with 42 additions and 17 deletions

View file

@ -30,7 +30,10 @@ use rustc_codegen_ssa::CodegenResults;
use rustc_codegen_utils::codegen_backend::CodegenBackend; use rustc_codegen_utils::codegen_backend::CodegenBackend;
use rustc_data_structures::profiling::print_time_passes_entry; use rustc_data_structures::profiling::print_time_passes_entry;
use rustc_data_structures::sync::SeqCst; use rustc_data_structures::sync::SeqCst;
use rustc_errors::{registry::Registry, PResult}; use rustc_errors::{
registry::{InvalidErrorCode, Registry},
PResult,
};
use rustc_feature::{find_gated_cfg, UnstableFeatures}; use rustc_feature::{find_gated_cfg, UnstableFeatures};
use rustc_hir::def_id::LOCAL_CRATE; use rustc_hir::def_id::LOCAL_CRATE;
use rustc_interface::util::{collect_crate_types, get_builtin_codegen_backend}; use rustc_interface::util::{collect_crate_types, get_builtin_codegen_backend};
@ -522,11 +525,10 @@ fn stdout_isatty() -> bool {
fn handle_explain(registry: Registry, code: &str, output: ErrorOutputType) { fn handle_explain(registry: Registry, code: &str, output: ErrorOutputType) {
let normalised = let normalised =
if code.starts_with('E') { code.to_string() } else { format!("E{0:0>4}", code) }; if code.starts_with('E') { code.to_string() } else { format!("E{0:0>4}", code) };
match registry.find_description(&normalised) { match registry.try_find_description(&normalised) {
Some(ref description) => { Ok(Some(description)) => {
let mut is_in_code_block = false; let mut is_in_code_block = false;
let mut text = String::new(); let mut text = String::new();
// Slice off the leading newline and print. // Slice off the leading newline and print.
for line in description.lines() { for line in description.lines() {
let indent_level = let indent_level =
@ -542,16 +544,18 @@ fn handle_explain(registry: Registry, code: &str, output: ErrorOutputType) {
} }
text.push('\n'); text.push('\n');
} }
if stdout_isatty() { if stdout_isatty() {
show_content_with_pager(&text); show_content_with_pager(&text);
} else { } else {
print!("{}", text); print!("{}", text);
} }
} }
None => { Ok(None) => {
early_error(output, &format!("no extended information for {}", code)); early_error(output, &format!("no extended information for {}", code));
} }
Err(InvalidErrorCode) => {
early_error(output, &format!("{} is not a valid error code", code));
}
} }
} }

View file

@ -3,8 +3,9 @@
macro_rules! register_diagnostics { macro_rules! register_diagnostics {
($($ecode:ident: $message:expr,)* ; $($code:ident,)*) => ( ($($ecode:ident: $message:expr,)* ; $($code:ident,)*) => (
pub static DIAGNOSTICS: &[(&str, &str)] = &[ pub static DIAGNOSTICS: &[(&str, Option<&str>)] = &[
$( (stringify!($ecode), $message), )* $( (stringify!($ecode), Some($message)), )*
$( (stringify!($code), None), )*
]; ];
) )
} }

View file

@ -419,10 +419,10 @@ impl DiagnosticCode {
DiagnosticId::Error(s) => s, DiagnosticId::Error(s) => s,
DiagnosticId::Lint(s) => s, DiagnosticId::Lint(s) => s,
}; };
let explanation = let je_result =
je.registry.as_ref().and_then(|registry| registry.find_description(&s)); je.registry.as_ref().map(|registry| registry.try_find_description(&s)).unwrap();
DiagnosticCode { code: s, explanation } DiagnosticCode { code: s, explanation: je_result.unwrap_or(None) }
}) })
} }
} }

View file

@ -786,8 +786,12 @@ impl HandlerInner {
.emitted_diagnostic_codes .emitted_diagnostic_codes
.iter() .iter()
.filter_map(|x| match &x { .filter_map(|x| match &x {
DiagnosticId::Error(s) if registry.find_description(s).is_some() => { DiagnosticId::Error(s) => {
Some(s.clone()) if let Ok(Some(_explanation)) = registry.try_find_description(s) {
Some(s.clone())
} else {
None
}
} }
_ => None, _ => None,
}) })

View file

@ -1,16 +1,32 @@
use rustc_data_structures::fx::FxHashMap; use rustc_data_structures::fx::FxHashMap;
#[derive(Debug)]
pub struct InvalidErrorCode;
#[derive(Clone)] #[derive(Clone)]
pub struct Registry { pub struct Registry {
descriptions: FxHashMap<&'static str, &'static str>, long_descriptions: FxHashMap<&'static str, Option<&'static str>>,
} }
impl Registry { impl Registry {
pub fn new(descriptions: &[(&'static str, &'static str)]) -> Registry { pub fn new(long_descriptions: &[(&'static str, Option<&'static str>)]) -> Registry {
Registry { descriptions: descriptions.iter().cloned().collect() } Registry { long_descriptions: long_descriptions.iter().cloned().collect() }
} }
/// This will panic if an invalid error code is passed in
pub fn find_description(&self, code: &str) -> Option<&'static str> { pub fn find_description(&self, code: &str) -> Option<&'static str> {
self.descriptions.get(code).cloned() self.try_find_description(code).unwrap()
}
/// Returns `InvalidErrorCode` if the code requested does not exist in the
/// registry. Otherwise, returns an `Option` where `None` means the error
/// code is valid but has no extended information.
pub fn try_find_description(
&self,
code: &str,
) -> Result<Option<&'static str>, InvalidErrorCode> {
if !self.long_descriptions.contains_key(code) {
return Err(InvalidErrorCode);
}
Ok(self.long_descriptions.get(code).unwrap().clone())
} }
} }