// Generate sideeffect intrinsic if jumping to any of the targets can form
// a loop.
Generate sideeffect intrinsic if jumping to any of the targets can form
a loop.
Generate sideeffect intrinsic if jumping to any of the targets can form a loop .
fn maybe_sideeffect<'b, 'tcx2: 'b, Bx: BuilderMethods<'b, 'tcx2>>(
        &self,
        mir: &'b mir::Body<'tcx>,
        bx: &mut Bx,
        targets: &[mir::BasicBlock],
    ) {
        if bx.tcx().sess.opts.debugging_opts.insert_sideeffect {
            if targets.iter().any(|target| {
                *target <= *self.bb
                    && target
                        .start_location()
                        .is_predecessor_of(self.bb.start_location(), mir)
            }) {
                bx.sideeffect();
            }
        }
    }
fn maybe_sideeffect < ' b , ' tcx2 : ' b , Bx : BuilderMethods < ' b , ' tcx2 > > ( & self , mir : & ' b mir :: Body < ' tcx > , bx : & mut Bx , targets : & [ mir :: BasicBlock ] , ) { if bx . tcx ( ) . sess . opts . debugging_opts . insert_sideeffect { if targets . iter ( ) . any ( | target | { * target <= * self . bb && target . start_location ( ) . is_predecessor_of ( self . bb . start_location ( ) , mir ) } ) { bx . sideeffect ( ) ; } } }
Generate sideeffect intrinsic if jumping to any of the targets can form
a loop.
Generate sideeffect intrinsic if jumping to any of the targets can form a loop .
&self
mir
&'b mir::Body<'tcx>
bx
&mut Bx
targets
&[mir::BasicBlock]