From: jjenista <jjenista>
Date: Fri, 29 Oct 2010 18:28:13 +0000 (+0000)
Subject: A variable defined in task A and read in task A's child's child appears to have a... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=70e64fae63e61fd4c5de0110abe064da02eda8d5;p=IRC.git

A variable defined in task A and read in task A's child's child appears to have a source from A--why does this assert stop code?  check out later, check in the informative version of the assert
---

diff --git a/Robust/src/Analysis/MLP/VarSrcTokTable.java b/Robust/src/Analysis/MLP/VarSrcTokTable.java
index 8d29306f..d30e2334 100644
--- a/Robust/src/Analysis/MLP/VarSrcTokTable.java
+++ b/Robust/src/Analysis/MLP/VarSrcTokTable.java
@@ -497,8 +497,13 @@ public class VarSrcTokTable {
 	    forRemoval.add( vstPossibleOtherSrc );  
 
 	  } else {
-	    assert vstPossibleOtherSrc.getSESE().equals( exiter );
-	    assert vstPossibleOtherSrc.getAge().equals( 0 );
+            if( !vstPossibleOtherSrc.getSESE().equals( exiter ) ||
+                !vstPossibleOtherSrc.getAge().equals( 0 )
+                ) {
+              System.out.println( "For refVar="+refVar+" at exit of "+exiter+
+                                  ", unexpected possible variable source "+vstPossibleOtherSrc );
+              assert false;
+            }
 	  }
 	}
       }