itsscb/rust-analyzer
1
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer.git synced 2025-10-01 11:31:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Catch panics in inference in analysis-stats

Browse Source
This commit is contained in:
Florian Diebold 2025-05-16 17:01:24 +02:00
parent 0843d06ad2
commit dde53614ed
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
crates/rust-analyzer/src/cli/analysis_stats.rs
View File

@ -4,6 +4,7 @@
use std::{ use std::{
env, fmt, env, fmt,
ops::AddAssign, ops::AddAssign,
panic::{AssertUnwindSafe, catch_unwind},
time::{SystemTime, UNIX_EPOCH}, time::{SystemTime, UNIX_EPOCH},
}; };
@ -721,6 +722,7 @@ impl flags::AnalysisStats {
let mut num_pats_unknown = 0; let mut num_pats_unknown = 0;
let mut num_pats_partially_unknown = 0; let mut num_pats_partially_unknown = 0;
let mut num_pat_type_mismatches = 0; let mut num_pat_type_mismatches = 0;
let mut panics = 0;
for &body_id in bodies { for &body_id in bodies {
let name = body_id.name(db).unwrap_or_else(Name::missing); let name = body_id.name(db).unwrap_or_else(Name::missing);
let module = body_id.module(db); let module = body_id.module(db);
@ -774,7 +776,20 @@ impl flags::AnalysisStats {
} }
bar.set_message(msg); bar.set_message(msg);
let body = db.body(body_id.into()); let body = db.body(body_id.into());
let inference_result = db.infer(body_id.into()); let inference_result = catch_unwind(AssertUnwindSafe(|| db.infer(body_id.into())));
let inference_result = match inference_result {
Ok(inference_result) => inference_result,
Err(p) => {
if let Some(s) = p.downcast_ref::<&str>() {
eprintln!("infer panicked for {}: {}", full_name(), s);
} else if let Some(s) = p.downcast_ref::<String>() {
eprintln!("infer panicked for {}: {}", full_name(), s);
}
panics += 1;
bar.inc(1);
continue;
}
};
// This query is LRU'd, so actually calling it will skew the timing results. // This query is LRU'd, so actually calling it will skew the timing results.
let sm = || db.body_with_source_map(body_id.into()).1; let sm = || db.body_with_source_map(body_id.into()).1;
@ -1008,6 +1023,7 @@ impl flags::AnalysisStats {
percentage(num_pats_partially_unknown, num_pats), percentage(num_pats_partially_unknown, num_pats),
num_pat_type_mismatches num_pat_type_mismatches
); );
eprintln!(" panics: {}", panics);
eprintln!("{:<20} {}", "Inference:", inference_time); eprintln!("{:<20} {}", "Inference:", inference_time);
report_metric("unknown type", num_exprs_unknown, "#"); report_metric("unknown type", num_exprs_unknown, "#");
report_metric("type mismatches", num_expr_type_mismatches, "#"); report_metric("type mismatches", num_expr_type_mismatches, "#");