From 70e64fae63e61fd4c5de0110abe064da02eda8d5 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 29 Oct 2010 18:28:13 +0000
Subject: [PATCH] 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
---
Robust/src/Analysis/MLP/VarSrcTokTable.java | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
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;
+ }
}
}
}
--
2.34.1