1
Fork 0

Use a newtype_index instead of a u32.

This commit is contained in:
Camille GILLOT 2020-12-01 21:47:41 +01:00
parent f51c57fb7a
commit 66fee063b6
2 changed files with 23 additions and 15 deletions

View file

@ -11,7 +11,8 @@ use rustc_middle::hir::map::Map;
use rustc_middle::lint::LevelAndSource; use rustc_middle::lint::LevelAndSource;
use rustc_middle::lint::LintDiagnosticBuilder; use rustc_middle::lint::LintDiagnosticBuilder;
use rustc_middle::lint::{ use rustc_middle::lint::{
struct_lint_level, LintLevelMap, LintLevelSets, LintLevelSource, LintSet, struct_lint_level, LintLevelMap, LintLevelSets, LintLevelSource, LintSet, LintStackIndex,
COMMAND_LINE,
}; };
use rustc_middle::ty::query::Providers; use rustc_middle::ty::query::Providers;
use rustc_middle::ty::TyCtxt; use rustc_middle::ty::TyCtxt;
@ -50,15 +51,15 @@ fn lint_levels(tcx: TyCtxt<'_>, (): ()) -> LintLevelMap {
pub struct LintLevelsBuilder<'s> { pub struct LintLevelsBuilder<'s> {
sess: &'s Session, sess: &'s Session,
sets: LintLevelSets, sets: LintLevelSets,
id_to_set: FxHashMap<HirId, u32>, id_to_set: FxHashMap<HirId, LintStackIndex>,
cur: u32, cur: LintStackIndex,
warn_about_weird_lints: bool, warn_about_weird_lints: bool,
store: &'s LintStore, store: &'s LintStore,
crate_attrs: &'s [ast::Attribute], crate_attrs: &'s [ast::Attribute],
} }
pub struct BuilderPush { pub struct BuilderPush {
prev: u32, prev: LintStackIndex,
pub changed: bool, pub changed: bool,
} }
@ -72,7 +73,7 @@ impl<'s> LintLevelsBuilder<'s> {
let mut builder = LintLevelsBuilder { let mut builder = LintLevelsBuilder {
sess, sess,
sets: LintLevelSets::new(), sets: LintLevelSets::new(),
cur: 0, cur: COMMAND_LINE,
id_to_set: Default::default(), id_to_set: Default::default(),
warn_about_weird_lints, warn_about_weird_lints,
store, store,
@ -120,7 +121,7 @@ impl<'s> LintLevelsBuilder<'s> {
} }
} }
self.sets.list.push(LintSet::CommandLine { specs }); self.cur = self.sets.list.push(LintSet::CommandLine { specs });
} }
/// Attempts to insert the `id` to `level_src` map entry. If unsuccessful /// Attempts to insert the `id` to `level_src` map entry. If unsuccessful
@ -523,8 +524,7 @@ impl<'s> LintLevelsBuilder<'s> {
let prev = self.cur; let prev = self.cur;
if !specs.is_empty() { if !specs.is_empty() {
self.cur = self.sets.list.len() as u32; self.cur = self.sets.list.push(LintSet::Node { specs, parent: prev });
self.sets.list.push(LintSet::Node { specs, parent: prev });
} }
BuilderPush { prev, changed: prev != self.cur } BuilderPush { prev, changed: prev != self.cur }

View file

@ -5,6 +5,7 @@ use rustc_data_structures::fx::FxHashMap;
use rustc_data_structures::stable_hasher::{HashStable, StableHasher}; use rustc_data_structures::stable_hasher::{HashStable, StableHasher};
use rustc_errors::{DiagnosticBuilder, DiagnosticId}; use rustc_errors::{DiagnosticBuilder, DiagnosticId};
use rustc_hir::HirId; use rustc_hir::HirId;
use rustc_index::vec::IndexVec;
use rustc_session::lint::{ use rustc_session::lint::{
builtin::{self, FORBIDDEN_LINT_GROUPS}, builtin::{self, FORBIDDEN_LINT_GROUPS},
FutureIncompatibilityReason, Level, Lint, LintId, FutureIncompatibilityReason, Level, Lint, LintId,
@ -53,10 +54,17 @@ pub type LevelAndSource = (Level, LintLevelSource);
#[derive(Debug, HashStable)] #[derive(Debug, HashStable)]
pub struct LintLevelSets { pub struct LintLevelSets {
pub list: Vec<LintSet>, pub list: IndexVec<LintStackIndex, LintSet>,
pub lint_cap: Level, pub lint_cap: Level,
} }
rustc_index::newtype_index! {
#[derive(HashStable)]
pub struct LintStackIndex {
const COMMAND_LINE = 0,
}
}
#[derive(Debug, HashStable)] #[derive(Debug, HashStable)]
pub enum LintSet { pub enum LintSet {
CommandLine { CommandLine {
@ -67,19 +75,19 @@ pub enum LintSet {
Node { Node {
specs: FxHashMap<LintId, LevelAndSource>, specs: FxHashMap<LintId, LevelAndSource>,
parent: u32, parent: LintStackIndex,
}, },
} }
impl LintLevelSets { impl LintLevelSets {
pub fn new() -> Self { pub fn new() -> Self {
LintLevelSets { list: Vec::new(), lint_cap: Level::Forbid } LintLevelSets { list: IndexVec::new(), lint_cap: Level::Forbid }
} }
pub fn get_lint_level( pub fn get_lint_level(
&self, &self,
lint: &'static Lint, lint: &'static Lint,
idx: u32, idx: LintStackIndex,
aux: Option<&FxHashMap<LintId, LevelAndSource>>, aux: Option<&FxHashMap<LintId, LevelAndSource>>,
sess: &Session, sess: &Session,
) -> LevelAndSource { ) -> LevelAndSource {
@ -122,7 +130,7 @@ impl LintLevelSets {
pub fn get_lint_id_level( pub fn get_lint_id_level(
&self, &self,
id: LintId, id: LintId,
mut idx: u32, mut idx: LintStackIndex,
aux: Option<&FxHashMap<LintId, LevelAndSource>>, aux: Option<&FxHashMap<LintId, LevelAndSource>>,
) -> (Option<Level>, LintLevelSource) { ) -> (Option<Level>, LintLevelSource) {
if let Some(specs) = aux { if let Some(specs) = aux {
@ -131,7 +139,7 @@ impl LintLevelSets {
} }
} }
loop { loop {
match self.list[idx as usize] { match self.list[idx] {
LintSet::CommandLine { ref specs } => { LintSet::CommandLine { ref specs } => {
if let Some(&(level, src)) = specs.get(&id) { if let Some(&(level, src)) = specs.get(&id) {
return (Some(level), src); return (Some(level), src);
@ -152,7 +160,7 @@ impl LintLevelSets {
#[derive(Debug)] #[derive(Debug)]
pub struct LintLevelMap { pub struct LintLevelMap {
pub sets: LintLevelSets, pub sets: LintLevelSets,
pub id_to_set: FxHashMap<HirId, u32>, pub id_to_set: FxHashMap<HirId, LintStackIndex>,
} }
impl LintLevelMap { impl LintLevelMap {