diff options
-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) {
|