From: jjenista <jjenista>
Date: Wed, 6 Apr 2011 01:18:17 +0000 (+0000)
Subject: bug fix, have to dereference this pointer
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8de4e147d337a85e0d143e5fef483a5be3ec8540;p=IRC.git

bug fix, have to dereference this pointer
---

diff --git a/Robust/src/IR/Flat/BuildOoOJavaCode.java b/Robust/src/IR/Flat/BuildOoOJavaCode.java
index fd92fdec..2958bdbe 100644
--- a/Robust/src/IR/Flat/BuildOoOJavaCode.java
+++ b/Robust/src/IR/Flat/BuildOoOJavaCode.java
@@ -1801,9 +1801,9 @@ public class BuildOoOJavaCode extends BuildCode {
 
       output.println("     "+paramsprefix+
 		     "->"+temp.getSafeSymbol()+
-		     " =  (void*)"+
+		     " = *(void**)( (void*)"+
 		     temp+"_srcSESE + "+
-		     temp+"_srcOffset;");
+		     temp+"_srcOffset);");
 
       //output.println("#ifndef OOO_DISABLE_TASKMEMPOOL" );
       //output.println("     SESEcommon* src = "+paramsprefix+"->"+temp+"_srcSESE;");
@@ -1994,7 +1994,7 @@ public class BuildOoOJavaCode extends BuildCode {
       if( vst == null ) {
 	// if there is no given source, this variable is ready so
 	// mark src pointer NULL to signify that the var is up-to-date
-	output.println("       "+refVar+"_srcSESE = NULL;");
+	output.println("       "+refVar+"_srcSESE   = NULL;");
       } else {
         // otherwise we track where it will come from
         SESEandAgePair instance = new SESEandAgePair( vst.getSESE(), vst.getAge() );