summaryrefslogtreecommitdiff
path: root/BCT/RegressionTests
diff options
context:
space:
mode:
authorGravatar Mike Barnett <mbarnett@microsoft.com>2011-05-29 15:07:01 -0700
committerGravatar Mike Barnett <mbarnett@microsoft.com>2011-05-29 15:07:01 -0700
commit7d06797fc12bea25e294a776c87a53f88bb87031 (patch)
tree3fbbda6373ed2e7fc51dedddbe9aa58df60bb215 /BCT/RegressionTests
parentee0bf9f95487fd3b68ccdefb75f79d5026c6bfee (diff)
Removed the method DefaultValue from the sink: if a default value of a type
is desired, then the CCI nodes must be created and an expression/statement traverser used to translate it.
Diffstat (limited to 'BCT/RegressionTests')
-rw-r--r--BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt2
-rw-r--r--BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt2
2 files changed, 0 insertions, 4 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
index 93f3a127..98583054 100644
--- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt
@@ -685,8 +685,6 @@ implementation RegressionTestInput.RefParameters.#cctor()
implementation {:inline 1} RegressionTestInput.S.#default_ctor(this: Ref)
{
- $Heap := Write($Heap, this, RegressionTestInput.S.x, Int2Box(0));
- $Heap := Write($Heap, this, RegressionTestInput.S.b, Bool2Box(false));
}
diff --git a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
index 48d2c942..c292fb90 100644
--- a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt
@@ -675,8 +675,6 @@ implementation RegressionTestInput.RefParameters.#cctor()
implementation {:inline 1} RegressionTestInput.S.#default_ctor(this: Ref)
{
- this[RegressionTestInput.S.x] := Int2Box(0);
- this[RegressionTestInput.S.b] := Bool2Box(false);
}