Method remove_value

src/debug_utils/checker.rs:89–95

Removes the given value from all `AllocationUnit`s. This is used at value definition points to remove any stale versions of a value (e.g. from a previous loop iteration).

(&mut self, value: Value)

    /// This is used at value definition points to remove any stale versions of
    /// a value (e.g. from a previous loop iteration).
    fn remove_value(&mut self, value: Value) {
        for values in self.unit_values.values_mut() {
            if let Some(idx) = values.iter().position(|&v| v == value) {
                values.remove(idx);
            }
        }
    }

    /// Adds the given value to the set of values for an `AllocationUnit`.
    fn add_value(&mut self, unit: AllocationUnit, value: Value) {