Changes between Version 7 and Version 8 of AliasAnalysis

Timestamp:

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

Author:

zmanchun

Comment:

--

AliasAnalysis

@@ -90 +90 @@
 }}}
 
+`O(p, s0')={}`
+`OR(p, s0')={x}`
+
+`O(p, s0)={x}`
+`OR(p, s0)={x}`
+
+`O(q, s1)={y}`
+`OR(q, s1)={x,y}`
+
+`O(q, s2)={y}`//maybe this should be `{}` because the value of `q` is going to be changed and s1 can never do anything to the memory unit pointed to by `q`.//\\
+`OR(q, s2)={x, y}`//maybe this should be `{x}`//
+
+`O(q, s3)={x}`
+`OR(q, s3)={x}`
+
 case 1: `S=(p0:s0', p1:s1)`, then we have `AMP(S)={{p0}, {p1}}`.
 rationale: `p` is local variable of `p0` and is never aliased, which implies that `{p0}` can be an ample set.