diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-05-06 22:00:24 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-08-16 18:12:17 +0000 |
| commit | 934a99eb659761353e9b89538bd5de356b0f7dfe (patch) | |
| tree | d5eb80c4e33347e0aee6f8f3f112ecafe25ba385 /compiler/rustc_borrowck/src | |
| parent | 8726cbc75fea8afb2fdffa2edf7a7031524de305 (diff) | |
| download | rust-934a99eb659761353e9b89538bd5de356b0f7dfe.tar.gz rust-934a99eb659761353e9b89538bd5de356b0f7dfe.zip | |
Move domain_size to GenKillAnalysis.
Diffstat (limited to 'compiler/rustc_borrowck/src')
| -rw-r--r-- | compiler/rustc_borrowck/src/dataflow.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_borrowck/src/dataflow.rs b/compiler/rustc_borrowck/src/dataflow.rs index 1e89a9f5144..289a41921a7 100644 --- a/compiler/rustc_borrowck/src/dataflow.rs +++ b/compiler/rustc_borrowck/src/dataflow.rs @@ -334,6 +334,10 @@ impl<'tcx> rustc_mir_dataflow::AnalysisDomain<'tcx> for Borrows<'_, 'tcx> { impl<'tcx> rustc_mir_dataflow::GenKillAnalysis<'tcx> for Borrows<'_, 'tcx> { type Idx = BorrowIndex; + fn domain_size(&self, _: &mir::Body<'tcx>) -> usize { + self.borrow_set.len() + } + fn before_statement_effect( &mut self, trans: &mut impl GenKill<Self::Idx>, |