diff options
| author |  allydonaldson <unknown> | 2013-07-22 08:00:53 +0100 |
|---|---|---|
| committer | allydonaldson <unknown> | 2013-07-22 08:00:53 +0100 |
| commit | 3865388487bd6abb55b3cd41187128c26529dd26 (patch) | |
| tree | 51fa88225fedb72ba931dfa117f8807f187678ad | |
| parent | 717acb3230145241f08f7d6f7cb2a68fe1f257e8 (diff) | |
Fixed what looks like a type-related bug in the manipulation of newGotoCmdOrigins: this Hashtable is commented as having type TransferCmd -> ReturnCmd, but it was being used here as if the key type was Block.
| -rw-r--r-- | Source/VCGeneration/VC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index af3454f5..a7f25561 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -981,7 +981,7 @@ namespace VC { if (copies.TryGetValue(b, out tmp)) {
newBlocks.Add(cce.NonNull(tmp));
if (gotoCmdOrigins.ContainsKey(b)) {
- newGotoCmdOrigins[tmp] = gotoCmdOrigins[b];
+ newGotoCmdOrigins[tmp.TransferCmd] = gotoCmdOrigins[b.TransferCmd];
}
foreach (Block p in b.Predecessors) {
|