pub fn seek_after_assume_call_returns(&mut self, target: Location) {
        let terminator_loc = self.body.terminator_loc(target.block);
        assert!(target.statement_index <= terminator_loc.statement_index);

        self.seek_(target, true);

        if target != terminator_loc {
            return;
        }

        let terminator = self.body.basic_blocks()[target.block].terminator();
        if let mir::TerminatorKind::Call {
            destination: Some((return_place, _)), func, args, ..
        } = &terminator.kind
        {
            if !self.call_return_effect_applied {
                self.call_return_effect_applied = true;
                self.results.borrow().analysis.apply_call_return_effect(
                    &mut self.state,
                    target.block,
                    func,
                    args,
                    return_place,
                );
            }
        }
    }
/// Advances the cursor to hold all effects up to and including of the statement (or
/// terminator) at the given location.
///
/// If the `target` is a `Call` terminator, any call return effect for that terminator will
/// be observed. Use `seek_after` if you do **not** wish to observe the call return effect.
Advances the cursor to hold all effects up to and including of the statement (or
terminator) at the given location.

If the `target` is a `Call` terminator, any call return effect for that terminator will
be observed. Use `seek_after` if you do **not** wish to observe the call return effect.
Advances the cursor to hold all effects up to and including of the statement ( or terminator ) at the given location . If the ` target ` is a ` Call ` terminator any call return effect for that terminator will be observed . Use ` seek_after ` if you do ** not ** wish to observe the call return effect .
pub fn seek_after_assume_call_returns(&mut self, target: Location) {
        let terminator_loc = self.body.terminator_loc(target.block);
        assert!(target.statement_index <= terminator_loc.statement_index);
        self.seek_(target, true);
        if target != terminator_loc {
            return;
        }
        let terminator = self.body.basic_blocks()[target.block].terminator();
        if let mir::TerminatorKind::Call {
            destination: Some((return_place, _)), func, args, ..
        } = &terminator.kind
        {
            if !self.call_return_effect_applied {
                self.call_return_effect_applied = true;
                self.results.borrow().analysis.apply_call_return_effect(
                    &mut self.state,
                    target.block,
                    func,
                    args,
                    return_place,
                );
            }
        }
    }
pub fn seek_after_assume_call_returns ( & mut self , target : Location ) { let terminator_loc = self . body . terminator_loc ( target . block ) ; assert ! ( target statement_index terminator_loc statement_index ) ; self . seek_ ( target , true ) ; if target != terminator_loc { return ; } let terminator = self . body . basic_blocks ( ) [ target . block ] . terminator ( ) ; if let mir :: TerminatorKind :: Call { destination : Some ( ( return_place , _ ) ) , func , args , .. } = & terminator . kind { if ! self . call_return_effect_applied { self . call_return_effect_applied = true ; self . results . borrow ( ) . analysis . apply_call_return_effect ( & mut self . state , target . block , func , args , return_place , ) ; } } }
Advances the cursor to hold all effects up to and including of the statement (or
terminator) at the given location.
Advances the cursor to hold all effects up to and including of the statement ( or terminator ) at the given location .
&mut self
target
Location