* Added "deprecated" comment in help message about /interprocInfer switch. The functionality is currently broken.

* Adjust procedure summaries also after processing call returns (used only in interprocedural inference, which is currently not really supported, but this change would be needed if we ever decide to support it)
* Some other code clean-up, like removing unnecessary [Reads(...Owned)] attributes on [Pure] methods

1 files changed, 17 insertions, 2 deletions

diff --git a/Source/AIFramework/VariableMap/VariableMapLattice.ssc b/Source/AIFramework/VariableMap/VariableMapLattice.ssc
index aa15f1e6..34f876f5 100644
--- a/Source/AIFramework/VariableMap/VariableMapLattice.ssc
+++ b/Source/AIFramework/VariableMap/VariableMapLattice.ssc
@@ -51,6 +51,22 @@ namespace Microsoft.AbstractInterpretationFramework
             {

                 return new Elt(this.constraints);

             }

+            

+            [Pure]

+            public override string! ToString()

+            {

+              if (constraints == null) {

+                return "<bottom>";

+              }

+              string s = "[";

+              string sep = "";

+              foreach (IVariable! v in (!)constraints.Keys) {

+                Element m = (Element)constraints[v];

+                s += sep + v.Name + " -> " + m;

+                sep = ", ";

+              }

+              return s + "]";

+            }

 

             public static Elt! Top = new Elt(true);

             public static Elt! Bottom = new Elt(false);

@@ -61,7 +77,6 @@ namespace Microsoft.AbstractInterpretationFramework
             }

 

             public bool IsBottom { 

-                 [Pure][Reads(ReadsAttribute.Reads.Owned)]

                  get { 

                    return this.constraints == null; 

                  } 

@@ -158,7 +173,7 @@ namespace Microsoft.AbstractInterpretationFramework
                 return new Elt(newMap);

             }

 

-            [Pure][Reads(ReadsAttribute.Reads.Owned)]

+            [Pure]

             public override ICollection<IVariable!>! FreeVariables()

             {

                 throw new System.NotImplementedException();