From 0d372a7decedf3773044aff025fd328d6b3e75fe Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 3 Nov 2010 10:52:58 +0000 Subject: [PATCH] bug --- Robust/src/IR/Flat/RuntimeConflictResolver.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Robust/src/IR/Flat/RuntimeConflictResolver.java b/Robust/src/IR/Flat/RuntimeConflictResolver.java index aeaa4050..e289a6da 100644 --- a/Robust/src/IR/Flat/RuntimeConflictResolver.java +++ b/Robust/src/IR/Flat/RuntimeConflictResolver.java @@ -756,7 +756,7 @@ public class RuntimeConflictResolver { } String strrcr=taint.isRBlockTaint()?"&record->rcrRecords["+index+"], ":"NULL, "; - String tasksrc=taint.isRBlockTaint()?"(SESEcommon *) record, ":"(SESEcommon *)(((INTPTR)record)&1LL), "; + String tasksrc=taint.isRBlockTaint()?"(SESEcommon *) record, ":"(SESEcommon *)(((INTPTR)record)|1LL), "; //Do call if we need it. if(primConfWrite||objConfWrite) { -- 2.34.1