Method update_nullness_at

src/analysis/abstract_domain.rs:151–157

(&mut self, path: &Rc<Path>, value: Option<PointerNullness>)

    }

    fn update_nullness_at(&mut self, path: &Rc<Path>, value: Option<PointerNullness>) {
        if let Some(nullness) = value {
            self.nullness_domain.set(path.clone(), nullness);
        } else {
            self.nullness_domain.forget(path);
        }
    }

    fn infer_reference_nullness(&self, value: &Rc<SymbolicValue>) -> Option<PointerNullness> {
        match &value.expression {