diff options
| author |  Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com> | 2011-04-27 22:43:49 -0700 |
|---|---|---|
| committer | Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com> | 2011-04-27 22:43:49 -0700 |
| commit | dffa1db08f7b18d60f7a4427ae841248a499ccf3 (patch) | |
| tree | bd11aa1fa3488f52a0e8a95ad2e51e6494308130 /BCT/BytecodeTranslator/MetadataTraverser.cs | |
| parent | 405fb677e7fad891b299723c2f6da10ba5636cc7 (diff) | |
Model newly constructed structs as a constant DefaultStruct that has axioms that
define it to return zero-equivalent values for all fields.
Diffstat (limited to 'BCT/BytecodeTranslator/MetadataTraverser.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/MetadataTraverser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BCT/BytecodeTranslator/MetadataTraverser.cs b/BCT/BytecodeTranslator/MetadataTraverser.cs index 9482573f..ba35121d 100644 --- a/BCT/BytecodeTranslator/MetadataTraverser.cs +++ b/BCT/BytecodeTranslator/MetadataTraverser.cs @@ -73,7 +73,7 @@ namespace BytecodeTranslator { return; // enums just are translated as ints
} else if (typeDefinition.IsStruct) {
sink.FindOrCreateType(typeDefinition);
- CreateDefaultStructConstructor(typeDefinition);
+ //CreateDefaultStructConstructor(typeDefinition);
base.Visit(typeDefinition);
} else {
Console.WriteLine("Unknown kind of type definition '{0}' was found",
|