From d05f3b1c81afab3e72c0d232cd72a72b0eb9e3f0 Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Thu, 9 Dec 2010 18:43:28 +0000
Subject: Fixed field update and field dereference.

---
 BCT/BytecodeTranslator/TranslationHelper.cs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'BCT/BytecodeTranslator/TranslationHelper.cs')

diff --git a/BCT/BytecodeTranslator/TranslationHelper.cs b/BCT/BytecodeTranslator/TranslationHelper.cs
index 756f127f..d421c573 100644
--- a/BCT/BytecodeTranslator/TranslationHelper.cs
+++ b/BCT/BytecodeTranslator/TranslationHelper.cs
@@ -40,7 +40,7 @@ namespace BytecodeTranslator {
 
       this.underlyingParameter = parameterDefinition;
 
-      Bpl.Type ptype = Bpl.Type.Int;
+      Bpl.Type ptype = TranslationHelper.CciTypeToBoogie(parameterDefinition.Type);
 
       var parameterToken = parameterDefinition.Token();
       var typeToken = parameterDefinition.Type.Token();
@@ -86,7 +86,10 @@ namespace BytecodeTranslator {
     #region Temp Stuff that must be replaced as soon as there is real code to deal with this
 
     public static Bpl.Type CciTypeToBoogie(ITypeReference type) {
-      return Bpl.Type.Int;
+      if (TypeHelper.IsPrimitiveInteger(type))
+        return Bpl.Type.Int;
+      else
+        return Bpl.Type.Int; // BUG! This is where we need to return "ref" for a reference type
     }
 
     public static Bpl.Variable TempHeapVar() {
-- 
cgit v1.2.3