From 8de4e147d337a85e0d143e5fef483a5be3ec8540 Mon Sep 17 00:00:00 2001 From: jjenista Date: Wed, 6 Apr 2011 01:18:17 +0000 Subject: [PATCH] bug fix, have to dereference this pointer --- Robust/src/IR/Flat/BuildOoOJavaCode.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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() ); -- 2.34.1