diff options
| author |  Ally Donaldson <unknown> | 2014-06-06 17:33:50 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2014-06-06 17:33:50 +0100 |
| commit | 5397458a4bee5d4a93ef65a988b85275a54101c3 (patch) | |
| tree | 6d5136dc2f61922669d1f204d1366a9fc2e8d53e /Source/Core/DeadVarElim.cs | |
| parent | d56c29cbdb15af36b9734b2194f03c4be0459c9f (diff) | |
Fixed a bug in revised mod set analysis
Diffstat (limited to 'Source/Core/DeadVarElim.cs')
| -rw-r--r-- | Source/Core/DeadVarElim.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/Core/DeadVarElim.cs b/Source/Core/DeadVarElim.cs index 7100fc43..fbc46de8 100644 --- a/Source/Core/DeadVarElim.cs +++ b/Source/Core/DeadVarElim.cs @@ -105,8 +105,7 @@ namespace Microsoft.Boogie { moreProcessingRequired = true;
while (moreProcessingRequired) {
moreProcessingRequired = false;
- ModSetCollector modSetCollector = new ModSetCollector();
- modSetCollector.Visit(program);
+ this.Visit(program);
}
foreach (Procedure x in modSets.Keys)
|