explicit null heap region changes rolled back

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipAnalysis.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index f1d1d1c615088d31420b01118d5e1a9e4f77cc8f..97cc05be0d8a5446581c72b8f3bd0dad257fd5d9 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -313,11 +313,6 @@ public class OwnershipAnalysis {
   // reserved IDs for special purposes
   static private int uniqueIDcount = 10;
 
-  // special purpose region for "null" 
-  // included in every graph
-  static public int nullRegionID =  9;
-
-
   // Use these data structures to track progress of
   // processing all methods in the program, and by methods
   // TaskDescriptor and MethodDescriptor are combined
@@ -760,17 +755,7 @@ public class OwnershipAnalysis {
        og.merge(ogInitParamAlloc);
       }
       break;
-
-    case FKind.FlatLiteralNode:
-      FlatLiteralNode fln = (FlatLiteralNode) fn;
-      if( fln.getValue() == null ) {
-       // when we set something to null, use the special
-       // "null" heap region as the target
-       lhs = fln.getDst();
-       og.assignTempXEqualToNull(lhs);
-      }
-      break;
-
+      
     case FKind.FlatOpNode:
       FlatOpNode fon = (FlatOpNode) fn;
       if( fon.getOp().getOp() == Operation.ASSIGN ) {