Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
authorbdemsky <bdemsky@uci.edu>
Tue, 6 Aug 2019 06:51:36 +0000 (23:51 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 6 Aug 2019 06:51:36 +0000 (23:51 -0700)
src/main/gov/nasa/jpf/vm/serialize/CFSerializer.java

index da14d02..f6663eb 100644 (file)
@@ -166,6 +166,9 @@ public class CFSerializer extends FilteringSerializer {
       
       // unfortunately we can't do this as a block operation because that
       // would use concrete reference values as hash data, i.e. break heap symmetry
+      int thisslot = frame.getThis();
+      processReference(thisslot);
+      /*
       int[] slots = frame.getSlots();
       for (int i = 0; i < len; i++) {
         if (frame.isReferenceSlot(i)) {
@@ -174,6 +177,7 @@ public class CFSerializer extends FilteringSerializer {
           buf.add(slots[i]);
         }
       }
+      */
     }
   }