Changes between Version 6 and Version 7 of AliasAnalysis

Timestamp:

04/22/16 15:20:49 (10 years ago)

Author:

zmanchun

Comment:

--

AliasAnalysis

@@ -90 +90 @@
 }}}
 
-case 1: current state `S=(p0:s0', p1:s1)`
+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.
+For `{p1}`,  since `OR(q, s1)={x,y}`, and `s0'` only writes to `p`, `{p1}` can be an ample set.
+
+case 2: `S=(p0:s0, p1:s1)`, then `{p1} \in AMP(S)` but not `{p0}`.
 
 
 
-