DASCA/WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

remove bad comment

Browse Source 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2863 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2008-05-28 20:48:31 +00:00
parent 671a6e57df
commit 229180b76e
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/DemandRefinementPointsTo.java
View File

@ -2008,12 +2008,7 @@ public class DemandRefinementPointsTo extends AbstractDemandPointsTo {
}
private void computeFlowsTo(PointsToComputer ptoComputer, OrdinalSet<InstanceKeyAndState> basePToSet) {
// track appropriate field of instance key
// BUG: we don't want to do it this way; otherwise, points-to computer starts tracking from putfield sinks
// on its own
// instead, we want to add directly to tracked points-to worklist
for (InstanceKeyAndState ikAndState : basePToSet) {
//ptoComputer.trackInstanceField(ikAndState, field, ptoComputer.forwInstKeyToFields);
ptoComputer.addPredsOfIKeyAndStateToTrackedPointsTo(ikAndState);
}
// run worklist loop