diff options
author | 2011-06-24 23:02:18 -0700 | |
---|---|---|
committer | 2011-06-24 23:02:18 -0700 | |
commit | 94bdde55d8922e2e76fe8d7dd6d871a42d5f229b (patch) | |
tree | cb52c53d26cf3e4798c55d16ee8d62cb79fc1ff1 /Source/VCGeneration/VC.cs | |
parent | 6f5cd03e149baa5eaaa1b28a875fed7bf9b467b0 (diff) |
early clearing of live variables and incarnation maps
Diffstat (limited to 'Source/VCGeneration/VC.cs')
-rw-r--r-- | Source/VCGeneration/VC.cs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 4e7dbef0..19418b46 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2320,14 +2320,6 @@ namespace VC { storeIncarnationMaps(impl.Name, exitIncarnationMap);
#endregion
- if (CommandLineOptions.Clo.LiveVariableAnalysis == 1) {
- Microsoft.Boogie.LiveVariableAnalysis.ClearLiveVariables(impl);
- }
- // TODO: fix
- //else if (CommandLineOptions.Clo.LiveVariableAnalysis == 2) {
- // Microsoft.Boogie.InterProcGenKill.ClearLiveVariables(impl, program);
- //}
-
#region Peep-hole optimizations
if (CommandLineOptions.Clo.RemoveEmptyBlocks){
#region Get rid of empty blocks
|