tweaks for running definite reach

[IRC.git] / Robust / src / Analysis / Disjoint / DefiniteReachState.java

diff --git a/Robust/src/Analysis/Disjoint/DefiniteReachState.java b/Robust/src/Analysis/Disjoint/DefiniteReachState.java
index 321d290e8d1d9a480e8c6b245b8ea3770fb5205f..0848f6683d783221875ff0b021a3ddc4436d2616 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DefiniteReachState.java
+++ b/Robust/src/Analysis/Disjoint/DefiniteReachState.java
@@ -424,8 +424,9 @@ public class DefiniteReachState {
   public void copyRs( TempDescriptor x,
                       TempDescriptor y ) {
     DefReachKnown valRs = Rs.get( y );
-    assert( valRs != null );
-    Rs.put( x, valRs );
+    if( valRs != null ) {
+      Rs.put( x, valRs );
+    }
   }
   
   public void loadRs( TempDescriptor x,