1 files changed, 67 insertions, 3 deletions
diff --git a/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt b/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt
index e48e4bd1..9f63170c 100644
--- a/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt
@@ -186,6 +186,10 @@ implementation DelegateRemoveHelper(oldi: int, m: int, o: int) returns (i: int)
 
 var $Heap: HeapType where IsGoodHeap($Heap);
 
+type Type;
+
+function $DynamicType(ref) : Type;
+
 var $Head: [int]int;
 
 var $Next: [int][int]int;
@@ -194,6 +198,8 @@ var $Method: [int][int]int;
 
 var $Receiver: [int][int]int;
 
+const unique RegressionTestInput.WriteToTheHeapAValueReadFromTheHeap: Type;
+
 const unique RegressionTestInput.WriteToTheHeapAValueReadFromTheHeap.x: int;
 
 const unique RegressionTestInput.WriteToTheHeapAValueReadFromTheHeap.y: int;
@@ -230,6 +236,18 @@ implementation RegressionTestInput.WriteToTheHeapAValueReadFromTheHeap.#ctor(thi
 
 
 
+procedure RegressionTestInput.WriteToTheHeapAValueReadFromTheHeap.#cctor();
+
+
+
+implementation RegressionTestInput.WriteToTheHeapAValueReadFromTheHeap.#cctor()
+{
+}
+
+
+
+const unique RegressionTestInput.AsyncAttribute: Type;
+
 procedure RegressionTestInput.AsyncAttribute.#ctor(this: int);
 
 
@@ -246,6 +264,18 @@ implementation RegressionTestInput.AsyncAttribute.#ctor(this: int)
 
 
 
+procedure RegressionTestInput.AsyncAttribute.#cctor();
+
+
+
+implementation RegressionTestInput.AsyncAttribute.#cctor()
+{
+}
+
+
+
+const unique RegressionTestInput.ClassWithBoolTypes: Type;
+
 var RegressionTestInput.ClassWithBoolTypes.staticB: bool;
 
 const unique RegressionTestInput.ClassWithBoolTypes.b: bool;
@@ -280,7 +310,6 @@ implementation RegressionTestInput.ClassWithBoolTypes.#ctor$System.Boolean(this:
   var z: bool;
 
     z := z$in;
-    $Heap[this, RegressionTestInput.ClassWithBoolTypes.staticB] := false;
     $Heap[this, RegressionTestInput.ClassWithBoolTypes.b] := false;
     assert {:sourceFile "Class1.cs"} {:sourceLine 72} true;
     call System.Object.#ctor(this);
@@ -317,6 +346,19 @@ implementation RegressionTestInput.ClassWithBoolTypes.Main()
 
 
 
+procedure RegressionTestInput.ClassWithBoolTypes.#cctor();
+
+
+
+implementation RegressionTestInput.ClassWithBoolTypes.#cctor()
+{
+    RegressionTestInput.ClassWithBoolTypes.staticB := false;
+}
+
+
+
+const unique RegressionTestInput.ClassWithArrayTypes: Type;
+
 var RegressionTestInput.ClassWithArrayTypes.s: int;
 
 const unique RegressionTestInput.ClassWithArrayTypes.a: int;
@@ -437,7 +479,6 @@ procedure RegressionTestInput.ClassWithArrayTypes.#ctor(this: int);
 
 implementation RegressionTestInput.ClassWithArrayTypes.#ctor(this: int)
 {
-    $Heap[this, RegressionTestInput.ClassWithArrayTypes.s] := 0;
     $Heap[this, RegressionTestInput.ClassWithArrayTypes.a] := 0;
     call System.Object.#ctor(this);
     return;
@@ -445,6 +486,19 @@ implementation RegressionTestInput.ClassWithArrayTypes.#ctor(this: int)
 
 
 
+procedure RegressionTestInput.ClassWithArrayTypes.#cctor();
+
+
+
+implementation RegressionTestInput.ClassWithArrayTypes.#cctor()
+{
+    RegressionTestInput.ClassWithArrayTypes.s := 0;
+}
+
+
+
+const unique RegressionTestInput.Class0: Type;
+
 var RegressionTestInput.Class0.StaticInt: int;
 
 procedure RegressionTestInput.Class0.StaticMethod$System.Int32(x$in: int) returns ($result: int);
@@ -671,9 +725,19 @@ procedure RegressionTestInput.Class0.#ctor(this: int);
 
 implementation RegressionTestInput.Class0.#ctor(this: int)
 {
-    $Heap[this, RegressionTestInput.Class0.StaticInt] := 0;
     call System.Object.#ctor(this);
     return;
 }
 
 
+
+procedure RegressionTestInput.Class0.#cctor();
+
+
+
+implementation RegressionTestInput.Class0.#cctor()
+{
+    RegressionTestInput.Class0.StaticInt := 0;
+}
+
+