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

added support for pi instructions 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2482 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2008-01-25 21:16:30 +00:00
parent 41cee5c4e6
commit 43dfda2511
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
com.ibm.wala.core/src/com/ibm/wala/demandpa/flowgraph/DemandPointerFlowGraph.java
View File

@ -534,7 +534,12 @@ public class DemandPointerFlowGraph extends AbstractDemandFlowGraph implements I
*/
@Override
public void visitPi(SSAPiInstruction instruction) {
Assertions.UNREACHABLE();
// for now, ignore condition and just treat it as a copy
PointerKey def = heapModel.getPointerKeyForLocal(node, instruction.getDef());
PointerKey use = heapModel.getPointerKeyForLocal(node, instruction.getVal());
g.addNode(def);
g.addNode(use);
g.addEdge(def, use, AssignLabel.noFilter());
}
public ISSABasicBlock getBasicBlock() {