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

Merge pull request #59 from cos/ssa-equals-based-on-id

Browse Source 
`SSAInstruction` equals based on its `iindex`
This commit is contained in:
Manu Sridharan 2014-11-11 20:02:13 -08:00
commit 4a67dacfd8
2 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/ir/CFGTest.java
View File

@ -128,6 +128,22 @@ public class CFGTest extends WalaTestCase {
doMethod("java.io.ObjectInputStream.resolveProxyClass([Ljava/lang/String;)Ljava/lang/Class;");
}
@Test
public void testIRCacheIdempotence() {
MethodReference mr = StringStuff.makeMethodReference("hello.Hello.main([Ljava/lang/String;)V");
IMethod m = cha.resolveMethod(mr);
AnalysisCache cache = new AnalysisCache();
IR irBefore = cache.getIR(m);
cache.getSSACache().wipe();
IR irAfter = cache.getIR(m);
for (int i = 0; i < irBefore.getInstructions().length; i++) {
System.out.println(irBefore.getInstructions()[i]);
System.out.println(irAfter.getInstructions()[i]);
Assert.assertEquals(irAfter.getInstructions()[i], irBefore.getInstructions()[i]);
}
}
@Test
public void testSync1() {
MethodReference mr = StringStuff.makeMethodReference("cfg.MonitorTest.sync1()V");

7
com.ibm.wala.core/src/com/ibm/wala/ssa/SSAInstruction.java
View File

@ -290,6 +290,11 @@ public abstract class SSAInstruction {
*/
@Override
public final boolean equals(Object obj) {
return this == obj;
if (this == obj)
return true;
if (obj != null && obj instanceof SSAInstruction)
return this.iindex == ((SSAInstruction) obj).iindex;
else
return false;
}
}