From: bdemsky <bdemsky>
Date: Sun, 3 Apr 2011 06:23:47 +0000 (+0000)
Subject: changes to get pass specJBB validation
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e4e991b33d953ce426f495be3b06ace429210ffc;p=IRC.git

changes to get pass specJBB validation
---

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 6974b896..7adccfe4 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -293,8 +293,10 @@ void arraycopy(struct ___Object___ *src, int srcPos, struct ___Object___ *dst, i
   int srctype=((int *)src)[0];
 
   //not an array or type mismatch
-  if (dsttype<NUMCLASSES||srctype<NUMCLASSES||srctype!=dsttype)
+  if (dsttype<NUMCLASSES||srctype<NUMCLASSES)
     return;
+  if (srctype!=dsttype)
+    printf("Potential type mismatch in arraycopy\n");
 
   struct ArrayObject *aodst=(struct ArrayObject *)dst;
   struct ArrayObject *aosrc=(struct ArrayObject *)src;
@@ -319,7 +321,6 @@ void arraycopy(struct ___Object___ *src, int srcPos, struct ___Object___ *dst, i
     int i;
     for(i=0;i<length;i++) {
       struct ___Object___ * ptr=((struct ___Object___**)(((char*) &aosrc->___length___)+sizeof(int)))[i+srcPos];
-      int ptrtype=((int *)ptr)[0];
       //hit an object
       ((struct ___Object___ **)(((char*) &aodst->___length___)+sizeof(int)))[i+destPos]=ptr;
     }