From 36bda629c0083590c5e4d17f06e769f822617033 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Thu, 18 Feb 2010 01:58:27 +0000
Subject: * 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

---
 Source/Graph/Graph.ssc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Graph')

diff --git a/Source/Graph/Graph.ssc b/Source/Graph/Graph.ssc
index c9795f15..dcbd12a3 100644
--- a/Source/Graph/Graph.ssc
+++ b/Source/Graph/Graph.ssc
@@ -91,7 +91,7 @@ internal class DomRelation<Node>{
     return false;
   }
   private Dictionary<Node,List<Node>>? domMap = null;
-  [Pure][Reads(ReadsAttribute.Reads.Owned)]
+  [Pure]
   public override string ToString(){
     assume this.doms != null;
     int[] localDoms = this.doms;
@@ -269,7 +269,7 @@ public class Graph<Node> {
     Node! myHeader;
     internal PreHeader(Node! h) { myHeader = h; }
 
-    [Pure][Reads(ReadsAttribute.Reads.Owned)]  
+    [Pure]
     public override string! ToString() { return "#" + myHeader.ToString(); }
   }
 
@@ -295,7 +295,7 @@ public class Graph<Node> {
   { es = new Set<Pair<Node!,Node!>>(); ns = new Set<Node>(); } 
 
   // BUGBUG: Set<T>.ToString() should return a non-null string
-  [Pure][Reads(ReadsAttribute.Reads.Owned)]
+  [Pure]
   public override string! ToString() { return "" + es.ToString(); }
 
   public void AddSource(Node! x)
-- 
cgit v1.2.3