Searched refs:removeFromPointsTo (Results 1 – 2 of 2) sorted by relevance
300 void removeFromPointsTo(G4_RegVar* addr, G4_RegVar* vartoremove) in removeFromPointsTo() function
4309 pointsToAnalysis.removeFromPointsTo(var, lr->getVar()); in prunePointsTo()4370 pointsToAnalysis.removeFromPointsTo(var, lr->getTopDcl()->getRegVar()); in prunePointsToLS()