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

        // If we have already applied the call return effect, we are currently pointing at a `Call`
        // terminator. Unconditionally reset the dataflow cursor, since there is no way to "undo"
        // the call return effect.
        if self.call_return_effect_applied {
            self.seek_to_block_start(target.block);
        }

        self.seek_(target, true);
    }
/// Advances the cursor to hold the full effect of all statements (and possibly closing
/// terminators) up to and including the `target`.
///
/// If the `target` is a `Call` terminator, any call return effect for that terminator will
/// **not** be observed. Use `seek_after_assume_call_returns` if you wish to observe the call
/// return effect.
Advances the cursor to hold the full effect of all statements (and possibly closing
terminators) up to and including the `target`.

If the `target` is a `Call` terminator, any call return effect for that terminator will
not** be observed. Use `seek_after_assume_call_returns` if you wish to observe the call
return effect.
Advances the cursor to hold the full effect of all statements ( and possibly closing terminators ) up to and including the ` target ` . If the ` target ` is a ` Call ` terminator any call return effect for that terminator will not ** be observed . Use ` seek_after_assume_call_returns ` if you wish to observe the call return effect .
pub fn seek_after(&mut self, target: Location) {
        assert!(target <= self.body.terminator_loc(target.block));
        // If we have already applied the call return effect, we are currently pointing at a `Call`
        // terminator. Unconditionally reset the dataflow cursor, since there is no way to "undo"
        // the call return effect.
        if self.call_return_effect_applied {
            self.seek_to_block_start(target.block);
        }
        self.seek_(target, true);
    }
pub fn seek_after ( & mut self , target : Location ) { assert ! ( target self body terminator_loc ( target block ) ) ; // If we have already applied the call return effect, we are currently pointing at a `Call` // terminator. Unconditionally reset the dataflow cursor, since there is no way to "undo" // the call return effect. if self . call_return_effect_applied { self . seek_to_block_start ( target . block ) ; } self . seek_ ( target , true ) ; }
Advances the cursor to hold the full effect of all statements (and possibly closing
terminators) up to and including the `target`.
Advances the cursor to hold the full effect of all statements ( and possibly closing terminators ) up to and including the ` target ` .
&mut self
target
Location