Skip to content

Commit

Permalink
Adapt for upstream AnalysisDomain removal
Browse files Browse the repository at this point in the history
  • Loading branch information
nbdd0121 committed Oct 17, 2024
1 parent 43c994a commit 9f5949f
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/preempt_count/dataflow.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
use rustc_middle::mir::{BasicBlock, Body, TerminatorEdges, TerminatorKind};
use rustc_middle::ty::{self, Instance, ParamEnv};
use rustc_mir_dataflow::JoinSemiLattice;
use rustc_mir_dataflow::{fmt::DebugWithContext, Analysis, AnalysisDomain};
use rustc_mir_dataflow::{fmt::DebugWithContext, Analysis};

use super::{Error, UseSite, UseSiteKind};
use crate::ctxt::AnalysisCtxt;
Expand Down Expand Up @@ -199,7 +199,7 @@ pub struct AdjustmentComputation<'mir, 'tcx, 'checker> {

impl DebugWithContext<AdjustmentComputation<'_, '_, '_>> for AdjustmentBoundsOrError {}

impl<'tcx> AnalysisDomain<'tcx> for AdjustmentComputation<'_, 'tcx, '_> {
impl<'tcx> Analysis<'tcx> for AdjustmentComputation<'_, 'tcx, '_> {
// The number here indicates the offset in relation to the function's entry point.
type Domain = AdjustmentBoundsOrError;

Expand All @@ -215,9 +215,7 @@ impl<'tcx> AnalysisDomain<'tcx> for AdjustmentComputation<'_, 'tcx, '_> {
hi: Some(1),
});
}
}

impl<'tcx> Analysis<'tcx> for AdjustmentComputation<'_, 'tcx, '_> {
fn apply_statement_effect(
&mut self,
_state: &mut Self::Domain,
Expand Down

0 comments on commit 9f5949f

Please sign in to comment.