checkpoint

1 files changed, 0 insertions, 11 deletions

diff --git a/Source/Core/DeadVarElim.cs b/Source/Core/DeadVarElim.cs
index e14d4fd3..c32a921b 100644
--- a/Source/Core/DeadVarElim.cs
+++ b/Source/Core/DeadVarElim.cs
@@ -42,7 +42,6 @@ namespace Microsoft.Boogie {
     static Procedure enclosingProc;

     static Dictionary<Procedure/*!*/, HashSet<Variable/*!*/>/*!*/>/*!*/ modSets;

     static HashSet<Procedure> yieldingProcs;

-    static HashSet<Procedure> asyncAndParallelCallTargetProcs;

     [ContractInvariantMethod]

     void ObjectInvariant() {

       Contract.Invariant(cce.NonNullDictionaryAndValues(modSets));

@@ -70,7 +69,6 @@ namespace Microsoft.Boogie {
 

       modSets = new Dictionary<Procedure/*!*/, HashSet<Variable/*!*/>/*!*/>();

       yieldingProcs = new HashSet<Procedure>();

-      asyncAndParallelCallTargetProcs = new HashSet<Procedure>();

 

       HashSet<Procedure/*!*/> implementedProcs = new HashSet<Procedure/*!*/>();

       foreach (Declaration/*!*/ decl in program.TopLevelDeclarations) {

@@ -124,13 +122,6 @@ namespace Microsoft.Boogie {
               x.AddAttribute("yields");

           }

       }

-      foreach (Procedure x in asyncAndParallelCallTargetProcs)

-      {

-          if (!QKeyValue.FindBoolAttribute(x.Attributes, "stable"))

-          {

-              x.AddAttribute("stable");

-          }

-      }

 

 #if DEBUG_PRINT

       Console.WriteLine("Number of procedures with nonempty modsets = {0}", modSets.Keys.Count);

@@ -213,7 +204,6 @@ namespace Microsoft.Boogie {
       }

       if (callCmd.IsAsync)

       {

-          asyncAndParallelCallTargetProcs.Add(callCmd.Proc);

           if (!yieldingProcs.Contains(callCmd.Proc))

           {

               yieldingProcs.Add(callCmd.Proc);

@@ -234,7 +224,6 @@ namespace Microsoft.Boogie {
         }

         foreach (CallCmd callCmd in node.CallCmds)

         {

-            asyncAndParallelCallTargetProcs.Add(callCmd.Proc);

             if (!yieldingProcs.Contains(callCmd.Proc))

             {

                 yieldingProcs.Add(callCmd.Proc);