diff options
author | 2013-07-22 08:01:57 +0100 | |
---|---|---|
committer | 2013-07-22 08:01:57 +0100 | |
commit | d65d530d398e1d1f742edc4b5fe16436df5a64e8 (patch) | |
tree | 85de28e14e10d4be1db093e3c4fc7e4e44f5f5a0 | |
parent | 841c9e70b304da5863b12323f2e12cc403ac2349 (diff) | |
parent | 3865388487bd6abb55b3cd41187128c26529dd26 (diff) |
Merge
-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 cfc7955b..bc83e529 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) {
|