Method get_or_insert_pts

src/analysis/pointsto/mod.rs:853–862

Get the points-to info from cache `pts`. If not exists, then perform points-to analysis and add the obtained points-to info to cache.

(&mut self, def_id: DefId, body: &Body<'tcx>)

    /// If not exists, then perform points-to analysis
    /// and add the obtained points-to info to cache.
    pub fn get_or_insert_pts(&mut self, def_id: DefId, body: &Body<'tcx>) -> &PointsToMap<'tcx> {
        if self.pts.contains_key(&def_id) {
            self.pts.get(&def_id).unwrap()
        } else {
            let mut pointer_analysis = Andersen::new(body, self.tcx);
            pointer_analysis.analyze();
            let pts = pointer_analysis.finish();
            self.pts.entry(def_id).or_insert(pts)
        }
    }

    /// Check alias of p1 and p2 if they are from the same fn.
    /// if pts(p1) intersect pts(p2) != empty then they probably alias else unlikely