File tree Expand file tree Collapse file tree 1 file changed +9
-9
lines changed
Expand file tree Collapse file tree 1 file changed +9
-9
lines changed Original file line number Diff line number Diff line change @@ -247,18 +247,18 @@ class CGraph {
247247 return node->getPts ();
248248 }
249249
250- // / Add d to the points-to set of s
251- bool addPts (CGNode* s , CGNode* d ) {
252- return s ->getPts ().insert (d ->getID ()).second ;
250+ // / Add o to the points-to set of p
251+ bool addPts (CGNode* p , CGNode* o ) {
252+ return p ->getPts ().insert (o ->getID ()).second ;
253253 }
254254
255- // / Union the points-to set of d to that of s
256- // / pts(s ) = pts(s ) ∪ pts(d )
257- bool unionPts (CGNode* s , CGNode* d ) {
255+ // / Union the points-to set of q to that of p
256+ // / pts(p ) = pts(p ) ∪ pts(q )
257+ bool unionPts (CGNode* p , CGNode* q ) {
258258 bool changed = false ;
259- for (auto e : d ->getPts ()) {
260- if (s ->getPts ().find (e) == s ->getPts ().end ()) {
261- s ->getPts ().insert (e);
259+ for (auto e : q ->getPts ()) {
260+ if (p ->getPts ().find (e) == p ->getPts ().end ()) {
261+ p ->getPts ().insert (e);
262262 changed = true ;
263263 }
264264 }
You can’t perform that action at this time.
0 commit comments