Changes between Version 8 and Version 9 of AliasAnalysis

Timestamp:

04/22/16 15:27:47 (10 years ago)

Author:

zmanchun

Comment:

--

AliasAnalysis

@@ -90 +90 @@
 }}}
 
-`O(p, s0')={}`
+`O(p, s0')={}`\\
 `OR(p, s0')={x}`
 
-`O(p, s0)={x}`
+`O(p, s0)={x}`\\
 `OR(p, s0)={x}`
 
-`O(q, s1)={y}`
+`O(q, s1)={y}`\\
 `OR(q, s1)={x,y}`
 
@@ -102 +102 @@
 `OR(q, s2)={x, y}`//maybe this should be `{x}`//
 
-`O(q, s3)={x}`
+`O(q, s3)={x}`\\
 `OR(q, s3)={x}`