...
  View open merge request
Commits (2)
diff --git a/src/main/scala/uvm/refimpl/itpr/operationHelpers.scala b/src/main/scala/uvm/refimpl/itpr/operationHelpers.scala
index 4fecd6e..5f2e90c 100644
--- a/src/main/scala/uvm/refimpl/itpr/operationHelpers.scala
+++ b/src/main/scala/uvm/refimpl/itpr/operationHelpers.scala
@@ -363,7 +363,10 @@ object MemoryOperations {
def noAccessViaPointer(ptr: Boolean, ty: Type) {
if (ptr) {
- throw new UvmIllegalMemoryAccessException("Cannot access type %s via pointer".format(ty.repr))
+ // HACK: We allow loading/storing traced references via uptr to workaround a design mismatch
+ // in PyPy. See https://gitlab.anu.edu.au/mu/mu-impl-ref2/issues/2
+
+ // throw new UvmIllegalMemoryAccessException("Cannot access type %s via pointer".format(ty.repr))
}
}