Fix for replaying + casting + frames

jon-bell · jon-bell · commit 1106bb228321 · 2016-11-04T15:49:15.000-04:00
diff --git a/Code/ChroniclerJ/src/main/java/edu/columbia/cs/psl/chroniclerj/replay/NonDeterministicReplayMethodVisitor.java b/Code/ChroniclerJ/src/main/java/edu/columbia/cs/psl/chroniclerj/replay/NonDeterministicReplayMethodVisitor.java
@@ -430,6 +430,8 @@ public void visitMethodInsn(int opcode, String owner, String name, String desc)
 
                     loadReplayIndex(m.getReplayClassName(), m.getLogFieldName());
                     arrayLoad(m.getReturnType());
+                    if(m.getReturnType().getSort() == Type.OBJECT || m.getReturnType().getSort() == Type.ARRAY)
+                    	super.visitTypeInsn(CHECKCAST, m.getReturnType().getInternalName());
                     incrementReplayIndex(m.getReplayClassName(), m.getLogFieldName());
                 }
                 // Unlock

Original file line number	Diff line number	Diff line change
`@@ -430,6 +430,8 @@ public void visitMethodInsn(int opcode, String owner, String name, String desc)`
`430`	`430`
`431`	`431`	`loadReplayIndex(m.getReplayClassName(), m.getLogFieldName());`
`432`	`432`	`arrayLoad(m.getReturnType());`
	`433`	`+ if(m.getReturnType().getSort() == Type.OBJECT \|\| m.getReturnType().getSort() == Type.ARRAY)`
	`434`	`+ super.visitTypeInsn(CHECKCAST, m.getReturnType().getInternalName());`
`433`	`435`	`incrementReplayIndex(m.getReplayClassName(), m.getLogFieldName());`
`434`	`436`	`}`
`435`	`437`	`// Unlock`