diff options
author | 2011-05-09 14:18:47 -0700 | |
---|---|---|
committer | 2011-05-09 14:18:47 -0700 | |
commit | cfe2a264ae16adfa21c921d0e2ca03b84a9e4d4b (patch) | |
tree | d8ec3751e734adf93bc6c47d64b953d86efa18af | |
parent | 51d9bd30cdf3ec7212b06c56acb5cdd1fc1e325c (diff) |
always translate enums as ints.
-rw-r--r-- | BCT/BytecodeTranslator/Sink.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/BCT/BytecodeTranslator/Sink.cs b/BCT/BytecodeTranslator/Sink.cs index 2bf3b7d3..74dd39c9 100644 --- a/BCT/BytecodeTranslator/Sink.cs +++ b/BCT/BytecodeTranslator/Sink.cs @@ -114,10 +114,9 @@ namespace BytecodeTranslator { else if (type.ResolvedType.IsStruct)
return heap.StructType;
else if (type.IsEnum) {
- return CciTypeToBoogie(type.ResolvedType.UnderlyingType);
+ return Bpl.Type.Int; // The underlying type of an enum is always some kind of integer
} else
return heap.RefType;
- //return Bpl.Type.Int; // BUG! This is where we need to return "ref" for a reference type
}
/// <summary>
|