@@ -43,7 +43,7 @@ pub(crate) mod indexes {
43
43
44
44
pub ( crate ) struct DataflowBuilder < ' a , ' tcx , BD >
45
45
where
46
- BD : BitDenotation < ' tcx >
46
+ BD : BitDenotation < ' tcx > ,
47
47
{
48
48
def_id : DefId ,
49
49
flow_state : DataflowAnalysis < ' a , ' tcx , BD > ,
@@ -88,7 +88,7 @@ pub(crate) trait Dataflow<'tcx, BD: BitDenotation<'tcx>> {
88
88
89
89
impl < ' a , ' tcx , BD > Dataflow < ' tcx , BD > for DataflowBuilder < ' a , ' tcx , BD >
90
90
where
91
- BD : BitDenotation < ' tcx >
91
+ BD : BitDenotation < ' tcx > ,
92
92
{
93
93
fn dataflow < P > ( & mut self , p : P ) where P : Fn ( & BD , BD :: Idx ) -> DebugFormatted {
94
94
self . flow_state . build_sets ( ) ;
@@ -179,12 +179,16 @@ where
179
179
}
180
180
}
181
181
182
- struct PropagationContext < ' b , ' a , ' tcx , O > where O : ' b + BitDenotation < ' tcx >
182
+ struct PropagationContext < ' b , ' a , ' tcx , O >
183
+ where
184
+ O : ' b + BitDenotation < ' tcx > ,
183
185
{
184
186
builder : & ' b mut DataflowAnalysis < ' a , ' tcx , O > ,
185
187
}
186
188
187
- impl < ' a , ' tcx , BD > DataflowAnalysis < ' a , ' tcx , BD > where BD : BitDenotation < ' tcx >
189
+ impl < ' a , ' tcx , BD > DataflowAnalysis < ' a , ' tcx , BD >
190
+ where
191
+ BD : BitDenotation < ' tcx > ,
188
192
{
189
193
fn propagate ( & mut self ) {
190
194
let mut temp = BitSet :: new_empty ( self . flow_state . sets . bits_per_block ) ;
@@ -234,7 +238,9 @@ impl<'a, 'tcx, BD> DataflowAnalysis<'a, 'tcx, BD> where BD: BitDenotation<'tcx>
234
238
}
235
239
}
236
240
237
- impl < ' b , ' a , ' tcx , BD > PropagationContext < ' b , ' a , ' tcx , BD > where BD : BitDenotation < ' tcx >
241
+ impl < ' b , ' a , ' tcx , BD > PropagationContext < ' b , ' a , ' tcx , BD >
242
+ where
243
+ BD : BitDenotation < ' tcx > ,
238
244
{
239
245
fn walk_cfg ( & mut self , in_out : & mut BitSet < BD :: Idx > ) {
240
246
let mut dirty_queue: WorkQueue < mir:: BasicBlock > =
@@ -265,7 +271,9 @@ fn dataflow_path(context: &str, path: &str) -> PathBuf {
265
271
path
266
272
}
267
273
268
- impl < ' a , ' tcx , BD > DataflowBuilder < ' a , ' tcx , BD > where BD : BitDenotation < ' tcx >
274
+ impl < ' a , ' tcx , BD > DataflowBuilder < ' a , ' tcx , BD >
275
+ where
276
+ BD : BitDenotation < ' tcx > ,
269
277
{
270
278
fn pre_dataflow_instrumentation < P > ( & self , p : P ) -> io:: Result < ( ) >
271
279
where P : Fn ( & BD , BD :: Idx ) -> DebugFormatted
@@ -387,14 +395,18 @@ pub fn state_for_location<'tcx, T: BitDenotation<'tcx>>(loc: Location,
387
395
gen_set. to_dense ( )
388
396
}
389
397
390
- pub struct DataflowAnalysis < ' a , ' tcx , O > where O : BitDenotation < ' tcx >
398
+ pub struct DataflowAnalysis < ' a , ' tcx , O >
399
+ where
400
+ O : BitDenotation < ' tcx > ,
391
401
{
392
402
flow_state : DataflowState < ' tcx , O > ,
393
403
dead_unwinds : & ' a BitSet < mir:: BasicBlock > ,
394
404
body : & ' a Body < ' tcx > ,
395
405
}
396
406
397
- impl < ' a , ' tcx , O > DataflowAnalysis < ' a , ' tcx , O > where O : BitDenotation < ' tcx >
407
+ impl < ' a , ' tcx , O > DataflowAnalysis < ' a , ' tcx , O >
408
+ where
409
+ O : BitDenotation < ' tcx > ,
398
410
{
399
411
pub fn results ( self ) -> DataflowResults < ' tcx , O > {
400
412
DataflowResults ( self . flow_state )
@@ -734,7 +746,10 @@ impl<'a, 'tcx, D> DataflowAnalysis<'a, 'tcx, D> where D: BitDenotation<'tcx>
734
746
}
735
747
}
736
748
737
- impl < ' a , ' tcx , D > DataflowAnalysis < ' a , ' tcx , D > where D : BitDenotation < ' tcx > {
749
+ impl < ' a , ' tcx , D > DataflowAnalysis < ' a , ' tcx , D >
750
+ where
751
+ D : BitDenotation < ' tcx > ,
752
+ {
738
753
/// Propagates the bits of `in_out` into all the successors of `bb`,
739
754
/// using bitwise operator denoted by `self.operator`.
740
755
///
0 commit comments