bug fix for copying locals to out-set

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 0a43b8bdc98c0fafc84df5ac797710df1f53c211..fe1f9848476e4019151863c6944f20c35dcdfb8d 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -3623,8 +3623,11 @@ public class BuildCode {
     while( itr.hasNext() ) {
       TempDescriptor temp = itr.next();
 
-      // only have to do this for primitives
-      if( !temp.getType().isPrimitive() ) {
+      // only have to do this for primitives non-arrays
+      if( !(
+            temp.getType().isPrimitive() && !temp.getType().isArray()
+           )
+        ) {
        continue;
       }