diff options
| author |  qadeer <unknown> | 2013-10-15 10:06:56 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2013-10-15 10:06:56 -0700 |
| commit | 17bf21691f93d99f63d56a85a5fa3b788a93828c (patch) | |
| tree | daeacc8c428614c3b5fe5b996cfa7589e79deb57 /Source/Core/DeadVarElim.cs | |
| parent | 24c561dbaf27069edb0753b15a81dbba6e2c0961 (diff) | |
| parent | fa8e02b8f378d27821db9c1287acdfc5d822b93f (diff) | |
Merge
Diffstat (limited to 'Source/Core/DeadVarElim.cs')
| -rw-r--r-- | Source/Core/DeadVarElim.cs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Source/Core/DeadVarElim.cs b/Source/Core/DeadVarElim.cs index 9a35e9f4..06ef2c27 100644 --- a/Source/Core/DeadVarElim.cs +++ b/Source/Core/DeadVarElim.cs @@ -419,7 +419,12 @@ namespace Microsoft.Boogie { }
}
- IEnumerable<Block> sortedNodes = dag.TopologicalSort();
+ IEnumerable<Block> sortedNodes;
+ if (CommandLineOptions.Clo.ModifyTopologicalSorting) {
+ sortedNodes = dag.TopologicalSort(true);
+ } else {
+ sortedNodes = dag.TopologicalSort();
+ }
foreach (Block/*!*/ block in sortedNodes) {
Contract.Assert(block != null);
HashSet<Variable/*!*/>/*!*/ liveVarsAfter = new HashSet<Variable/*!*/>();
|